Cognitive Logics

Cognitive logics is aiming at bringing together logics from AI (in particular, nonmonotonic logics) and cognitive theories/models of human reasoning.
If you wish to contribute to this interdisciplinary field by sharing papers, announcing suitable conferences/workshops etc, please contact: Gabriele Kern-Isberner

Activities

Tutorial on Cognitive Logics:
Formal and Cognitive Methods for Reasoning in a Dynamic World

Gabriele Kern-Isberner and Marco Ragni
Systems and methods for Artificial Intelligence (AI) applicable in the real world require to represent and reason about uncertain knowledge. While this is a limitation of classical first-order logic, there is a large number of so-called non-monotonic logics, i.e., logics that aim to draw inferences only cautiously, allowing for revising them if new information becomes available. Cognitive analysis have shown that human inferential behavior can be better described employing such logics. In this tutorial we introduce the cognitive and formal foundations of cognitive logics, relevant benchmark problems, and challenges in modeling cognitive reasoning. The topics of the tutorial will be as follows:
  • What is the right logic for human reasoning in AI? - Classical fallacies
  • Cognitive perspective
  • Formal models of commonsense reasoning
    • Reiter's default logic
    • Logic programming and weak completion semantics
    • Conditionals and ranking functions: system Z and c-representations
  • Cognitive aspects of Cognitive Logics
    • Cognitive theories and principles, psychological benchmark examples
    • Cognitive modeling of human reasoning, especially of conditional and syllogistic reasoning
    • Logical incorrectness of human reasoning and how to escape from irrationality
    • The role of background knowledge in psychological experiments
  • From nonmonotonic reasoning to belief revision
  • Discussion
Download the slides (Tutorial from the KR Conventicle 2019 at the PRICAI 2019): normal or 4on1

Papers

  • Maj-Britt Isberner, Gabriele Kern-Isberner. A Formal Model of Plausibility Monitoring in Language Comprehension. FLAIRS Conference 2016, p. 662-667
  • Marco Ragni, Christian Eichhorn, Gabriele Kern-Isberner. Simulating Human Inferences in the Light of New Information: A Formal Analysis. IJCAI 2016, p. 2604-2610
  • Christian Eichhorn, Gabriele Kern-Isberner, Marco Ragni: Rational Inference Patterns Based on Conditional Logic. AAAI 2018, p. 1827-1834

People