Item description for Nonmonotonic Logic: Context-Dependent Reasoning (Artificial Intelligence) by R. Reiter V. Wiktor Marek...
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.
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Est. Packaging Dimensions: Length: 9.2" Width: 5.8" Height: 1.3" Weight: 1.6 lbs.
Release Date Dec 16, 1993
ISBN 3540564489 ISBN13 9783540564485
Availability 97 units. Availability accurate as of May 24, 2017 04:10.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.
Reviews - What do customers think about Nonmonotonic Logic: Context-Dependent Reasoning (Artificial Intelligence)?
Rigourous mathematical treatment of NM logics Mar 15, 2001
This book describes Ray Reiter's system of default logic, as well as McDermott and Doyle's nonmonotonic modal logics. These systems provide more expressive power than monotonic systems (where adding facts can only increase the size and number of results). The books ends with a treatment of the connections between the two formalisms, as well as complexity analysis.
This book is not easy reading: everything is treated very formally and rigorously, in the style of A. Mostowski. The results, however, are very important to computational logic.
Disclaimer: I am a student of Drs Marek and Truszczynski, so I might not be fully objective here. They did not, of course, ask me to do this review.