Presentación | Participantes | Bibliografía (DML-E) | Bibliografía adicional | Enlaces de interés | Otros proyectos DML | Ayuda  
INICIO | 28 de mayo de 2024
  

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
Icono pdf Acceso al artículo completo
Equipo DML-E
Instituto de Ciencias Matemáticas (ICMAT - CSIC)
rmm()icmat.es