A Logical Theory of Nonmonotonic Inference and Belief Change

This is the first book that integrates nonmonotonic reasoning and belief change in a single framework from an artificial intelligenc logic point of view. Starting with the logical foundations, the author develops a powerful framework and presents new results not yet published.

The first book in the area Includes supplementary material: sn.pub/extras

Contenu
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.