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

Full description

Bibliographic Details
Main Author: Bochman, Alexander
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