The Engine of Thought Is a Hybrid: Roles of Associative and Structured Knowledge in Reasoning

Across a range of domains in psychology different theories assume different mental representations of knowledge. For example, in the literature on category-based inductive reasoning, certain theories (e.g., Rogers & McClelland, 2004; Sloutsky & Fisher, 2008) assume that the knowledge upon which inductive inferences are based is associative, whereas others (e.g., Heit & Rubinstein, 1994; Kemp & Tenenbaum, 2009; Osherson, Smith, Wilkie, López, & Shafir, 1990) assume that knowledge is structured. In this article we investigate whether associative and structured knowledge underlie inductive reasoning to different degrees under different processing conditions. We develop a measure of knowledge about the degree of association between categories and show that it dissociates from measures of structured knowledge. In Experiment 1 participants rated the strength of inductive arguments whose categories were either taxonomically or causally related. A measure of associative strength predicted reasoning when people had to respond fast, whereas causal and taxonomic knowledge explained inference strength when people responded slowly. In Experiment 2, we also manipulated whether the causal link between the categories was predictive or diagnostic. Participants preferred predictive to diagnostic arguments except when they responded under cognitive load. In Experiment 3, using an open-ended induction paradigm, people generated and evaluated their own conclusion categories. Inductive strength was predicted by associative strength under heavy cognitive load, whereas an index of structured knowledge was more predictive of inductive strength under minimal cognitive load. Together these results suggest that associative and structured models of reasoning apply best under different processing conditions and that the application of structured knowledge in reasoning is often effortful.

Causal knowledge and the development of inductive reasoning

We explored the development of sensitivity to causal relations in children’s inductive reasoning. Children (5-, 8-, and 12-year-olds) and adults were given trials in which they decided whether a property known to be possessed by members of one category was also possessed by members of (a) a taxonomically related category or (b) a causally related category. The direction of the causal link was either predictive (prey → predator) or diagnostic (predator → prey), and the property that participants reasoned about established either a taxonomic or causal context. There was a causal asymmetry effect across all age groups, with more causal choices when the causal link was predictive than when it was diagnostic. Furthermore, context-sensitive causal reasoning showed a curvilinear development, with causal choices being most frequent for 8-year-olds regardless of context. Causal inductions decreased thereafter because 12-year-olds and adults made more taxonomic choices when reasoning in the taxonomic context. These findings suggest that simple causal relations may often be the default knowledge structure in young children’s inductive reasoning, that sensitivity to causal direction is present early on, and that children over-generalize their causal knowledge when reasoning.

A Framework for Prototyping and Reasoning about Distributed Systems

A framework supporting fast prototyping as well as tuning of distributed applications is presented. The approach is based on the adoption of a formal model that is used to describe the orchestration of distributed applications. The formal model (Orc by Misra and Cook) can be used to support semi-formal reasoning about the applications at hand. The paper describes how the framework can be used to derive and evaluate alternative orchestrations of a well know parallel/distributed computation pattern; and shows how the same formal model can be used to support generation of prototypes of distributed applications skeletons directly from the application description.

Adding metadata to Orc to support reasoning about grid programs

Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications with metadata that provide a means to extend an Orc specification with implementation oriented information. We argue that such specifications provide a useful refinement step in allowing reasoning about implementation related issues ahead of actual implementation or even prototyping. As examples, we demonstrate how such extended specifications can be used for investigating security related issues and for evaluating the cost of handling grid resource faults. The approach emphasises a semi-formal style of reasoning that makes maximum use of programmer domain knowledge and experience.

The formal specification of abstract data types and their implementation in Fortran 90: Implementation issues concerning the use of pointers

In this paper we continue our investigation into the development of computational-science software based on the identification and formal specification of Abstract Data Types (ADTs) and their implementation in Fortran 90. In particular, we consider the consequences of using pointers when implementing a formally specified ADT in Fortran 90. Our aim is to highlight the resulting conflict between the goal of information hiding, which is central to the ADT methodology, and the space efficiency of the implementation. We show that the issue of storage recovery cannot be avoided by the ADT user, and present a range of implementations of a simple ADT to illustrate various approaches towards satisfactory storage management. Finally, we propose a set of guidelines for implementing ADTs using pointers in Fortran 90. These guidelines offer a way gracefully to provide disposal operations in Fortran 90. Such an approach is desirable since Fortran 90 does not provide automatic garbage collection which is offered by many object-oriented languages including Eiffel, Java, Smalltalk, and Simula.

Children’s essentialist reasoning about language and race

Across four studies, we directly compared children’s essentialist reasoning about the stability of race and language throughout an individual’s lifespan. Monolingual English-speaking children were presented with a series of images of children who were either White or Black; each face was paired with a voice clip in either English or French. Participants were asked which of two adults each target child would grow up to be – one who was a ‘match’ to the target child in race but not language, and the other a ‘match’ in language but not race. Nine- to 10-year-old European American children chose the race-match, rather than the language-match. In contrast, 5–6-year-old European American children in both urban, racially diverse, and rural, racially homogeneous environments chose the language-match, even though this necessarily meant that the target child would transform racial categories. Although surprising in light of adult reasoning, these young children demonstrated an intuition about the relative stability of an individual’s language compared to her racial group membership. Yet, 5–6-year-old African American children, similar to the older European American children, chose the race-match, suggesting that membership in a racial minority group may highlight children’s reasoning about race as a stable category. Theoretical implications for our understanding of children’s categorization of human kinds are discussed.

An Extended Event Reasoning Framework for Decision Support under Uncertainty

To provide in-time reactions to a large volume of surveil- lance data, uncertainty-enabled event reasoning frameworks for CCTV and sensor based intelligent surveillance system have been integrated to model and infer events of interest. However, most of the existing works do not consider decision making under uncertainty which is important for surveillance operators. In this paper, we extend an event reasoning framework for decision support, which enables our framework to predict, rank and alarm threats from multiple heterogeneous sources.

In and out of home care decisions: The influence of confirmation bias in developing decision supportive reasoning

The aims of this study were to identify the themes Social Workers regard as important in supporting decisions to remove children from, or return them to, the care of their parents. To further elicit underlying hypotheses that are discernible in interpretation of evidence. A case study, comprising a two-part vignette with a questionnaire, recorded demographic information, child welfare attitudes and risk assessments, using scales derived from standardised instruments, was completed by 202 Social Workers in Northern Ireland. There were two manipulated variables, mother’s attitude to removal and child’s attitude to reunification2 years later. In this paper we use data derived from respondents’ qualitative comments explaining their reasoning for in and out of home care decisions. Some 60.9% of respondent’s chose the parental care option at part one, with 94% choosing to have the child remain in foster care at part two. The manipulated variables were found to have no significant statistical effect. However, three underlying hypotheses were found to underpin decisions; (a)child rescue, (b) kinship defence and (c) a hedged position on calculation of risk subject to further assessment. Reasoning strategies utilised by social workers to support their decision making suggest that they tend to selectively interpret information either positively or negatively to support pre-existing underlying hypotheses. This finding is in keeping with the literature on ‘confirmation bias.’ The research further draws attention to the need to incorporate open questions in quantitative studies, to help guard against surface reading of data, which often does not ‘speak for itself.’

Evidence reasoning for event inference in smart transport video surveillance

In this paper we present a new event recognition framework, based on the Dempster-Shafer theory of evidence, which combines the evidence from multiple atomic events detected by low-level computer vision analytics. The proposed framework employs evidential network modelling of composite events. This approach can effectively handle the uncertainty of the detected events, whilst inferring high-level events that have semantic meaning with high degrees of belief. Our scheme has been comprehensively evaluated against various scenarios that simulate passenger behaviour on public transport platforms such as buses and trains. The average accuracy rate of our method is 81% in comparison to 76% by a standard rule-based method.