z-logo
Premium
Facts and Possibilities: A Model‐Based Theory of Sentential Reasoning
Author(s) -
Khemlani Sangeet S.,
Byrne Ruth M. J.,
JohnsonLaird Philip N.
Publication year - 2018
Publication title -
cognitive science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.498
H-Index - 114
eISSN - 1551-6709
pISSN - 0364-0213
DOI - 10.1111/cogs.12634
Subject(s) - defeasible reasoning , defeasible estate , psychology of reasoning , non monotonic logic , computer science , dual process theory (moral psychology) , process (computing) , cognitive science , default logic , dual (grammatical number) , inference , belief revision , artificial intelligence , epistemology , deductive reasoning , model based reasoning , psychology , knowledge representation and reasoning , linguistics , philosophy , description logic , autoepistemic logic , multimodal logic , programming language , moral disengagement
This article presents a fundamental advance in the theory of mental models as an explanation of reasoning about facts, possibilities, and probabilities. It postulates that the meanings of compound assertions, such as conditionals ( if ) and disjunctions ( or ), unlike those in logic, refer to conjunctions of epistemic possibilities that hold in default of information to the contrary. Various factors such as general knowledge can modulate these interpretations. New information can always override sentential inferences; that is, reasoning in daily life is defeasible (or nonmonotonic). The theory is a dual process one: It distinguishes between intuitive inferences (based on system 1) and deliberative inferences (based on system 2). The article describes a computer implementation of the theory, including its two systems of reasoning, and it shows how the program simulates crucial predictions that evidence corroborates. It concludes with a discussion of how the theory contrasts with those based on logic or on probabilities.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here