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

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: Download the slides (Tutorial from the KR Conventicle 2019 at the PRICAI 2019): normal or 4on1