Default logic as a formalism for understanding commonsense reasoning.

Amati, Gianni, Aiello, Luigia Carlucci, and Pirri, Fiora. "Default logic as a formalism for understanding commonsense reasoning.." Mathware and Soft Computing 3.1-2 (1996): 33-46. <http://eudml.org/doc/39057>.

@article{Amati1996,
abstract = {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.},
author = {Amati, Gianni, Aiello, Luigia Carlucci, Pirri, Fiora},
journal = {Mathware and Soft Computing},
keywords = {Lógica modal; Inteligencia artificial; Demarcación; commonsense reasoning; Default logic},
language = {eng},
number = {1-2},
pages = {33-46},
title = {Default logic as a formalism for understanding commonsense reasoning.},
url = {http://eudml.org/doc/39057},
volume = {3},
year = {1996},
}

TY - JOUR
AU - Amati, Gianni
AU - Aiello, Luigia Carlucci
AU - Pirri, Fiora
TI - Default logic as a formalism for understanding commonsense reasoning.
JO - Mathware and Soft Computing
PY - 1996
VL - 3
IS - 1-2
SP - 33
EP - 46
AB - 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.
LA - eng
KW - Lógica modal; Inteligencia artificial; Demarcación; commonsense reasoning; Default logic
UR - http://eudml.org/doc/39057
ER -