A Logical Theory of Nonmonotonic Inference and Belief Change
The main subject and objective of this book are logical foundations of non monotonic reasoning. This bears a presumption that there is such a thing as a general theory of non monotonic reasoning, as opposed to a bunch of systems for such a reasoning existing in the literature. It also presumes that...
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2001, 2001
|
Edition: | 1st ed. 2001 |
Series: | Artificial Intelligence
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 1 Introduction
- 2 Consequence Relations
- 3 Epistemic States
- 4 Similarity and Decomposition
- 5 Epistemic Entrenchment
- 6 The Basic Inference Relation
- 7 Skeptical Inference Relations
- 8 Defeasible Entailment
- 9 Credulous Nonmonotonic Inference
- 10 Contraction Inference
- 11 Belief Change and Its Problems
- 12 Contractions of Epistemic States
- 13 Merge and Expansion
- 14 Compound and Derived Changes
- References