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 |