Default logic as a formalism for understanding commonsense reasoning.

Título inglés	Default logic as a formalism for understanding commonsense reasoning.
Título español	La lógica por defecto como un formalismo para entender el razonamiento de sentido común.
Autor/es	Amati, Gianni ; Aiello, Luigia Carlucci ; Pirri, Fiora
Organización	Fond. Ugo Bordoni, Roma, Italia;Dip. Inform. Sist. Univ. Roma La Sapienza, Roma, Italia
Revista	1134-5632
Publicación	1996, 3 (1-2): 33-46, 43 Ref.
Tipo de documento	articulo
Idioma	Inglés
Resumen inglés	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.
Clasificación UNESCO	120315 ; 110209
Palabras clave español	Lógica modal ; Inteligencia artificial ; Demarcación
Código MathReviews	MR1414253
Código Z-Math	Zbl 0860.68098
Acceso al artículo completo