Cargando…
Explanatory nonmonotonic reasoning /
Many approaches in the field of nonmonotonic and "commonsense" reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning. It uses the basic formalism of...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Hackensack, NJ :
World Scientific,
©2005.
|
| Colección: | Advances in logic ;
v. 4. |
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | Many approaches in the field of nonmonotonic and "commonsense" reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning. It uses the basic formalism of biconsequence relations, as well as derived systems of default, autoepistemic and causal inference, to cover in a single framework such diverse systems as default logic, autoepistemic and modal nonmonotonic logics, input/output and causal logics, argumentation theory, and semantics of general logic programs. |
|---|---|
| Descripción Física: | 1 online resource (xiv, 408 pages) |
| Bibliografía: | Includes bibliographical references (pages 395-402) and index. |
| ISBN: | 9812567801 9789812567802 9789812561015 9812561013 |