The Undecidability of Propositional Adaptive Logic

We investigate and classify the notion of final derivability of two basic inconsistency-adaptive logics. Specifically, the maximal complexity of the set of final consequences of decidable sets of premises formulated in the language of propositional logic is described. Our results show that taking the consequences of a decidable propositional theory is a complicated operation. The set of final consequences according to either the Reliability Calculus or the Minimal Abnormality Calculus of a decidable propositional premise set is in general undecidable, and can be -complete. These classifications are exact. For first order theories even finite sets of premises can generate such consequence sets in either calculus.     

My beliefs about your beliefs: a case study in theory of mind and epistemic logic

We model three examples of beliefs that agents may have about other agents’ beliefs, and provide motivation for this conceptualization from the theory of mind literature. We assume a modal logical framework for modelling degrees of belief by partially ordered preference relations. In this setting, we describe that agents believe that other agents do not distinguish among their beliefs (‘no preferences’), that agents believe that the beliefs of other agents are in part as their own (‘my preferences’), and the special case that agents believe that the beliefs of other agents are exactly as their own (‘preference refinement’). This multi-agent belief interaction is frame characterizable. We provide examples for introspective agents. We investigate which of these forms of belief interaction are preserved under three common forms of belief revision.     

Dynamic Topological Completeness for

Dynamic topological logic (DTL) combines topological and temporalmodalities to express asymptotic properties of dynamic systemson topological spaces. A dynamic topological model is a tripleX ,f , V , where X is a topological space, f : X X a continuousfunction and V a truth valuation assigning subsets of X to propositionalvariables. Valid formulas are those that are true in every model,independently of X or f. A natural problem that arises is toidentify the logics obtained on familiar spaces, such as . It [9] it was shown that any satisfiable formulacould be satisfied in some for n large enough, but the question of how the logic varieswith n remained open. In this paper we prove that any fragment of DTL that is completefor locally finite Kripke frames is complete for . This includes DTL; it also includes some largerfragments, such as DTL₁, where "henceforth" may not appear inthe scope of a topological operator. We show that satisfiabilityof any formula of our language in a locally finite Kripke frameimplies satisfiability in by constructing continuous, open maps from the plane intoarbitrary locally finite Kripke frames, which give us a typeof bisimulation. We also show that the results cannot be extendedto arbitrary formulas of DTL by exhibiting a formula which isvalid in but not in arbitrarytopological spaces.     

Memory for emotional faces in naturally occurring dysphoria and induced sadness

The aim was to establish if the memory bias for sad faces, reported in clinically depressed patients (Gilboa-Schechtman, Erhard Weiss, & Jeczemien, 2002; Ridout, Astell, Reid, Glen, & O'Carroll, 2003) generalises to sub-clinical depression (dysphoria) and experimentally induced sadness. Study 1: dysphoric (n = 24) and non-dysphoric (n = 20) participants were presented with facial stimuli, asked to identify the emotion portrayed and then given a recognition memory test for these faces. At encoding, dysphoric participants (DP) exhibited impaired identification of sadness and neutral affect relative to the non-dysphoric group (ND). At memory testing, DP exhibited superior memory for sad faces relative to happy and neutral. They also exhibited enhanced memory for sad faces and impaired memory for happy relative to the ND. Study 2: non-depressed participants underwent a positive (n = 24) or negative (n = 24) mood induction (MI) and were assessed on the same tests as Study 1. At encoding, negative MI participants showed superior identification of sadness, relative to neutral affect and compared to the positive MI group. At memory testing, the negative MI group exhibited enhanced memory for the sad faces relative to happy or neutral and compared to the positive MI group. Conclusion: MCM bias for sad faces generalises from clinical depression to these sub-clinical affective states.     

Lexical organization and competition in first and second languages: computational and neural mechanisms

How does a child rapidly acquire and develop a structured mental organization for the vast number of words in the first years of life? How does a bilingual individual deal with the even more complicated task of learning and organizing two lexicons? It is only until recently have we started to examine the lexicon as a dynamical system with regard to its acquisition, representation, and organization. In this article, I outline a proposal based on our research that takes the dynamical approach to the lexicon, and I discuss how this proposal can be applied to account for lexical organization, structural representation, and competition within and between languages. In particular, I provide computational evidence based on the DevLex model, a self-organizing neural network model, and neuroimaging evidence based on functional magnetic resonance imaging (fMRI) studies, to illustrate how children and adults learn and represent the lexicon in their first and second languages. In the computational research, our goal has been to identify, through linguistically and developmentally realistic models, detailed cognitive mechanisms underlying the dynamic self-organizing processes in monolingual and bilingual lexical development; in the neuroimaging research, our goal has been to identify the neural substrates that subserve lexical organization and competition in the monolingual and the bilingual brain. In both cases, our findings lead to a better understanding of the interactive dynamics involved in the acquisition and representation of one or multiple languages.     

Why don’t well-educated adults understand accumulation? A challenge to researchers,educators, and citizens

Accumulation is a fundamental process in dynamic systems: inventory accumulates production less shipments; the national debt accumulates the federal deficit. Effective decision making in such systems requires an understanding of the relationship between stocks and the flows that alter them. However, highly educated people are often unable to infer the behavior of simple stock–flow systems. In a series of experiments we demonstrate that poor understanding of accumulation, termed stock–flow failure, is a fundamental reasoning error. Persistent poor performance is not attributable to an inability to interpret graphs, lack of contextual knowledge, motivation, or cognitive capacity. Rather, stock–flow failure is a robust phenomenon that appears to be rooted in failure to appreciate the most basic principles of accumulation, leading to the use of inappropriate heuristics. We show that many people, including highly educated individuals with strong technical training, use what we term the “correlation heuristic”, erroneously assuming that the behavior of a stock matches the pattern of its flows. We discuss the origins of stock–flow failure and implications for management and education.     

Object correspondence across brief occlusion is established on the basis of both spatiotemporal and surface feature cues

The correspondence problem is a classic issue in vision and cognition. Frequent perceptual disruptions, such as saccades and brief occlusion, create gaps in perceptual input. How does the visual system establish correspondence between objects visible before and after the disruption? Current theories hold that object correspondence is established solely on the basis of an object’s spatiotemporal properties and that an object’s surface feature properties (such as color or shape) are not consulted in correspondence operations. In five experiments, we tested the relative contributions of spatiotemporal and surface feature properties to establishing object correspondence across brief occlusion. Correspondence operations were strongly influenced both by the consistency of an object’s spatiotemporal properties across occlusion and by the consistency of an object’s surface feature properties across occlusion. These data argue against the claim that spatiotemporal cues dominate the computation of object correspondence. Instead, the visual system consults multiple sources of relevant information to establish continuity across perceptual disruption.     

Sort out your neighbourhood

Axelrod (The evolution of cooperation, 1984) and others explain how cooperation can emerge in repeated 2-person prisoner’s dilemmas. But in public good games with anonymous contributions, we expect a breakdown of cooperation because direct reciprocity fails. However, if agents are situated in a social network determining which agents interact, and if they can influence the network, then cooperation can be a viable strategy. Social networks are modelled as graphs. Agents play public good games with their neighbours. After each game, they can terminate connections to others, and new connections are created. Cooperative agents do well because they manage to cluster with cooperators and avoid defectors. Computer simulations demonstrate that group formation and exclusion are powerful mechanisms to promote cooperation in dilemma situations. This explains why social dilemmas can often be solved if agents can choose with whom they interact.     

Information–movement coupling in developing cricketers under changing ecological practice constraints

Changing informational constraints of practice, such as when using ball projection machines, has been shown to significantly affect movement coordination of skilled cricketers. To date, there has been no similar research on movement responses of developing batters, an important issue since ball projection machines are used heavily in cricket development programmes. Timing and coordination of young cricketers (n = 12, age = 15.6 ± 0.7 years) were analyzed during the forward defensive and forward drive strokes when facing a bowling machine and bowler (both with a delivery velocity of 28.14 ± 0.56 m s⁻¹). Significant group performance differences were observed between the practice task constraints, with earlier initiation of the backswing, front foot movement, downswing, and front foot placement when facing the bowler compared to the bowling machine. Peak height of the backswing was higher when facing the bowler, along with a significantly larger step length. Altering the informational constraints of practice caused major changes to the information–movement couplings of developing cricketers. Data from this study were interpreted to emanate from differences in available specifying variables under the distinct practice task constraints. Considered with previous findings, results confirmed the need to ensure representative batting task constraints in practice, cautioning against an over-reliance on ball projection machines in cricket development programmes.     

You do not find your own face faster; you just look at it longer

Previous studies investigating the ability of high priority stimuli to grab attention reached contradictory outcomes. The present study used eye tracking to examine the effect of the presence of the self-face among other faces in a visual search task in which the face identity was task-irrelevant. We assessed whether the self-face (1) received prioritized selection (2) caused a difficulty to disengage attention, and (3) whether its status as target or distractor had a differential effect. We included another highly familiar face to control whether possible effects were self-face specific or could be explained by high familiarity. We found that the self-face interfered with the search task. This was not due to a prioritized processing but rather to a difficulty to disengage attention. Crucially, this effect seemed due to the self-face’s familiarity, as similar results were obtained with the other familiar face, and was modulated by the status of the face since it was stronger for targets than for distractors.