Who is telling the truth…… cognitive processes in meta-deductive reasoning

Ruth M. J. Byrne, P. N. Johnson-Laird, Simon J. Handley

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Abstract

How can the mechanisms underlying both human and computer reasoning develop to deal with novel or complex inferences ? The answer may lie in research in the cognitive science of me ta-deductions. Some meta-deductions, such as the inferences we make when we try to think about what other people are thinking, are central to successful social and professional interactions, and to the interactions of people with computers. Other meta-deductions, such as the inferences we make when we try to work out the truth or falsity of alternative states of affairs, can seem both novel and complex. Consider, for example, an island inhabited by two sorts of people, knights who always tell the truth, and knaves who always lie. Suppose you overhear a conversation between two of these individuals. A asserts, I am a knight and B is a knight. B asserts, A is a knave. Can you work out whether A is a knight or a knave, and whether B is a knight or a knave? In this chapter, we examine experimental data on the sorts of inferences that human reasoners make from these puzzles. The data help us to chose from among the programs developed to simulate theories of the mechanisms underlying these inferences.
Original languageEnglish
Title of host publicationAI and cognitive Science ’91
EditorsHumphrey Sorenson
Place of PublicationLondon
PublisherSpringer, Springer Nature
Pages221-233
Number of pages13
ISBN (Print)9781447135623
DOIs
Publication statusPublished - 1993
Externally publishedYes
EventIrish Conference on Artificial Intelligence and Cognitive Science (4th : 1991) - Cork, Ireland
Duration: 19 Sep 199120 Sep 1991

Publication series

NameWorkshops in computing
PublisherSpringer
ISSN (Print)1431-1682

Conference

ConferenceIrish Conference on Artificial Intelligence and Cognitive Science (4th : 1991)
CityCork, Ireland
Period19/09/9120/09/91

Fingerprint Dive into the research topics of 'Who is telling the truth…… cognitive processes in meta-deductive reasoning'. Together they form a unique fingerprint.

Cite this