Default logic as a formalism for understanding commonsense reasoning
Giambattista Amati, Luigia Carlucci Aiello, Fiora Pirri · UPCommons institutional repository (Universitat Politècnica de Catalunya) · 1996
Commonsense reasoning is the reasoning of agents interacting with the real world. Non monotonic reasoning is a well developed research area gathering the logical formalisms that treat commonsense reasoning. One of the best known of such formalisms is Default logic. In this paper we discuss Default logic at both the proof-theoretic and semantics levels and show that Default logic provides a clear and formal framework to understand the logical nature of commonsense reasoning. Fondazione Ugo Bordoni via Baldassarre Castiglione 59, 00142 Roma, Italia. e-mail: [email protected]. Work carried out in the framework of the agreement between the Italian PT Administration and Fondazione Ugo Bordoni y Dipartimento di Informatica e Sistemistica Universit`a di Roma "La Sapienza" via Salaria 113, 00198 Roma, Italia e-mail:aiello,[email protected] 1 Introduction Commonsense reasoning is the way an agent reasons about the real world: drawing conclusions from an incomplete information on the cu...