Cognitive control in belief-laden reasoning during conclusion processing: An ERP study

Belief bias is the tendency to accept conclusions that are compatible with existing beliefs more frequently than those that contradict beliefs. It is one of the most replicated behavioral findings in the reasoning literature. Recently, neuroimaging studies using functional magnetic resonance imaging (fMRI) and event-related potentials (ERPs) have provided a new perspective and have demonstrated neural correlates of belief bias that have been viewed as supportive of dual-process theories of belief bias. However, fMRI studies have tended to focus on conclusion processing, while ERPs studies have been concerned with the processing of premises. In the present research, the electrophysiological correlates of cognitive control were studied among 12 subjects using high-density ERPs. The analysis was focused on the conclusion presentation phase and was limited to normatively sanctioned responses to valid–believable and valid–unbelievable problems. Results showed that when participants gave normatively sanctioned responses to problems where belief and logic conflicted, a more positive ERP deflection was elicited than for normatively sanctioned responses to nonconflict problems. This was observed from −400 to −200 ms prior to the correct response being given. The positive component is argued to be analogous to the late positive component (LPC) involved in cognitive control processes. This is consistent with the inhibition of empirically anomalous information when conclusions are unbelievable. These data are important in elucidating the neural correlates of belief bias by providing evidence for electrophysiological correlates of conflict resolution during conclusion processing. Moreover, they are supportive of dual-process theories of belief bias that propose conflict detection and resolution processes as central to the explanation of belief bias

Approximate Discrete Probability Distribution Representation using a Multi-ResolutionBinary Tree

Computing and storing probabilities is a hard problem as soon as one has to deal with complex distributions over multiples random variables. The problem of efficient representation of probability distributions is central in term of computational efficiency in the field of probabilistic reasoning. The main problem arises when dealing with joint probability distributions over a set of random variables: they are always represented using huge probability arrays. In this paper, a new method based on a binary-tree representation is introduced in order to store efficiently very large joint distributions. Our approach approximates any multidimensional joint distributions using an adaptive discretization of the space. We make the assumption that the lower is the probability mass of a particular region of feature space, the larger is the discretization step. This assumption leads to a very optimized representation in term of time and memory. The other advantages of our approach are the ability to refine dynamically the distribution every time it is needed leading to a more accurate representation of the probability distribution and to an anytime representation of the distribution

Formal verification of AI software

The application of formal verification techniques to Artificial Intelligence (AI) software, particularly expert systems, is investigated. Constraint satisfaction and model inversion are identified as two formal specification paradigms for different classes of expert systems. A formal definition of consistency is developed, and the notion of approximate semantics is introduced. Examples are given of how these ideas can be applied in both declarative and imperative forms

Continuous Improvement Through Knowledge-Guided Analysis in Experience Feedback

Continuous improvement in industrial processes is increasingly a key element of competitiveness for industrial systems. The management of experience feedback in this framework is designed to build, analyze and facilitate the knowledge sharing among problem solving practitioners of an organization in order to improve processes and products achievement. During Problem Solving Processes, the intellectual investment of experts is often considerable and the opportunities for expert knowledge exploitation are numerous: decision making, problem solving under uncertainty, and expert configuration. In this paper, our contribution relates to the structuring of a cognitive experience feedback framework, which allows a flexible exploitation of expert knowledge during Problem Solving Processes and a reuse such collected experience. To that purpose, the proposed approach uses the general principles of root cause analysis for identifying the root causes of problems or events, the conceptual graphs formalism for the semantic conceptualization of the domain vocabulary and the Transferable Belief Model for the fusion of information from different sources. The underlying formal reasoning mechanisms (logic-based semantics) in conceptual graphs enable intelligent information retrieval for the effective exploitation of lessons learned from past projects. An example will illustrate the application of the proposed approach of experience feedback processes formalization in the transport industry sector

Incorporating stakeholders’ knowledge in group decision-making

International audienc