publication . Article . 2006

Formalization and analysis of reasoning by assumption

Tibor Bosse; Catholijn M. Jonker; Jan Treur;
Open Access
  • Published: 01 Jan 2006 Journal: Cognitive Science, volume 30, pages 147-180 (issn: 0364-0213, Copyright policy)
  • Country: Netherlands
This article introduces a novel approach for the analysis of the dynamics of reasoning processes and explores its applicability for the reasoning pattern called reasoning by assumption. More specifically, for a case study in the domain of a Master Mind game, it is shown how empirical human reasoning traces can be formalized and automatically analyzed against dynamic properties they fulfill. To this end, for the pattern of reasoning by assumption a variety of dynamic properties have been specified, some of which are considered characteristic for the reasoning pattern, whereas some other properties can be used to discriminate among different approaches to the reas...
free text keywords: Experimental and Cognitive Psychology, Cognitive Neuroscience, Artificial Intelligence, Qualitative reasoning, Model-based reasoning, Non-monotonic logic, business.industry, business, Reasoning system, Adaptive reasoning, Deductive reasoning, Computer science, Opportunistic reasoning, Analytic reasoning
Any information missing or wrong?Report an Issue