Synopses & Reviews
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.
Review
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)
Review
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)
Table of Contents
http://www.cteh.ac.il/computers/staff/Bochman/index.htm