Alexander Bochman

A Logical Theory of Nonmonotonic Inference and Belief Change (eBook, PDF)

• Format: PDF

Produktbeschreibung

This is the first book that integrates nonmonotonic reasoning and belief change into a single framework from an artificial intelligence logic point-of-view. 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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 436
• Erscheinungstermin: 14. März 2013
• Englisch
• ISBN-13: 9783662045602
• Artikelnr.: 53174034

Inhaltsangabe

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.

Rezensionen

From the reviews: "This text provides a broad overview of topics related to non-classical consequence operators, nonmonotonic inference and belief change. The presentation is abstract and precise, and is grounded in a formal setting of logic." (Miroslav Truszezynski, Mathematical Reviews, Issue 2002 b) "The author does not merely present a digest of work that has already entered the mainstream. He gives the subject an individual shape based on concepts that he has himself developed in a series of recent papers. ... In brief, the book is based on a novel and coherent vision, developed according to a definite overall plan to yield non-trivial results ... ." (David Makinson, Zentralblatt MATH, Vol. 977, 2002)