Minds and Machines

, Volume 27, Issue 1, pp 79–117

Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning

  • Marco Ragni
  • Christian Eichhorn
  • Tanja Bock
  • Gabriele Kern-Isberner
  • Alice Ping Ping Tse

DOI: 10.1007/s11023-016-9414-1

Cite this article as:
Ragni, M., Eichhorn, C., Bock, T. et al. Minds & Machines (2017) 27: 79. doi:10.1007/s11023-016-9414-1


The knowledge representation and reasoning of both humans and artificial systems often involves conditionals. A conditional connects a consequence which holds given a precondition. It can be easily recognized in natural languages with certain key words, like “if” in English. A vast amount of literature in both fields, both artificial intelligence and psychology, deals with the questions of how such conditionals can be best represented and how these conditionals can model human reasoning. On the other hand, findings in the psychology of reasoning, such as those in the Suppression Task, have led to a paradigm shift from the monotonicity assumptions in human inferences towards nonmonotonic reasoning. Nonmonotonic reasoning is sensitive for information change, that is, inferences are drawn cautiously such that retraction of previous information is not required with the addition of new information. While many formalisms of nonmonotonic reasoning have been proposed in the field of Artificial Intelligence, their capability to model properties of human reasoning has not yet been extensively investigated. In this paper, we analyzed systematically from both a formal and an empirical perspective the power of formal nonmonotonic systems to model (i) possible explicit defeaters, as in the Suppression Task, and (ii) more implicit conditional rules that trigger nonmonotonic reasoning by the keywords in such rules. The results indicated that the classical evaluation for the correctness of inferences has to be extended in the three major aspects (i) regarding the inference system, (ii) the knowledge base, and (iii) possible assumed exceptions for the rule.


Defeasible reasoning Nonmonotonic logic Suppression task Cognitive modeling Reasoning Human reasoning Knowledge representation Cognitive systems 

Funding information

Funder NameGrant NumberFunding Note
Deutsche Forschungsgemeinschaft
  • RA 1934 3-1
  • RA 1934 2-1
Deutsche Forschungsgemeinschaft (DE)
  • KI1413/5-1

Copyright information

© Springer Science+Business Media Dordrecht 2017

Authors and Affiliations

  1. 1.Research Group on the Foundations of Artificial Intelligence, Institut für Informatik, Technische FakultätAlbert-Ludwigs-Universität FreiburgFreiburgGermany
  2. 2.Technische Universität Dortmund, Department of Computer ScienceChair I - Information EngineeringDortmundGermany

Personalised recommendations