This monograph provides a thorough analysis of two important
formalisms for nonmonotonic reasoning: default logic and modal
nonmonotonic logics. It is also shown how they are related to each
other and how they provide the formal foundations for logic
programming. The discussion is rigorous, and all main results are
formally proved. Many of the results are deep and surprising, some
of them previously unpublished. The book has three parts, on
default logic, modal nonmonotonic logics, and connections and
complexity issues, respectively. The study of general default logic
is followed by a discussion of normal default logic and its
connections to the closed world assumption, and also a presentation
of related aspects of logic programming. The general theory of the
family of modal nonmonotonic logics introduced by McDermott and
Doyle is followed by studies of autoepistemic logic, the logic of
reflexive knowledge, and the logic of pure necessitation, and also
a short discussion of algorithms for computing knowledge and belief
sets. The third part explores connections between default logic and
modal nonmonotonic logics and contains results on the complexity of
nonmonotonic reasoning. The ideas are presented with an elegance
and unity of perspective that set a new standard of scholarship for
books in this area, and the work indicates that the field has
reached a very high level of maturity and sophistication. The book
is intended as a reference on default logic, nonmonotonic logics,
and related computational issues, and is addressed to researchers,
programmers, and graduate students in the Artificial Intelligence
community.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!