A Logical Theory of Nonmonotonic Inference and Belief Change
By: by Alexander Bochman
Series: Artificial Intelligence; Artificial Intelligence
Publisher: Springer Berlin Heidelberg
Published: 2001
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] /
Number of pages: 435
ISBN-13: 9783642075162; 9783662045602
Subjects: Computer science; Artificial intelligence
Description: This monograph provides logical foundations and a uniform description for nonmonotonic reasoning and belief change. The approach to both these subjects is based on a powerful notion of an epistemic state that subsumes both existing models for nonmonotonic inference and current models for belief change. Many results and constructions in the book are completely new and have not appeared earlier in the literature. The book is primarily intended for experts in Artificial Intelligence and Knowledge Representation who are interested in tools for describing commonsense reasoning tasks as well as in representation capabilities of such tools. It is also of interest to general logicians.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.
Table of contents: title: 1. Introduction; title: Part I. The Framework: 2. Consequence Relations. 3. Epistemic States. 4. Similarity and Decomposition. 5. Epistemic Entrenchment; title: Part II. Nonmonotonic Inference: 6. The Basic Inference Relation. 7. Skeptical Inference Relations. 8. Defeasible Entailment. 9. Credulous Nonmonotonic Inference. 10. Contraction Inference; title: Part III. Belief Change: 11. Belief Change and Its Problems. 12. Contractions of Epistemic States. 13. Merge and Expansion. 14. Compound and Derived Changes; title: References.