Explanatory nonmonotonic reasoning:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Bochman, Alexander (VerfasserIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Hackensack, NJ World Scientific ©2005
Schriftenreihe:Advances in logic v. 4
Schlagworte:
Online-Zugang:Volltext
Beschreibung:Includes bibliographical references (pages 395-402) and index
Preface; Contents; Chapter 1 Introduction; Chapter 2 Scott Consequence Relations; Chapter 3 Biconsequence Relations; Chapter 4 Four-Valued Logics; Chapter 5 Nonmonotonic Semantics; Chapter 6 Default Consequence Relations; Chapter 7 Argumentation Theory; Chapter 8 Production and Causal Inference; Chapter 9 Epistemic Consequence Relations; Chapter 10 Modal Nonmonotonic Logics; Bibliography; Index
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
Beschreibung:1 Online-Ressource (xiv, 408 pages)
ISBN:9812567801
9789812567802
9789812561015
9812561013

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen