Nonmonotonic Reasoning
| Author | : | |
| Rating | : | 4.53 (643 Votes) |
| Asin | : | 0262011573 |
| Format Type | : | paperback |
| Number of Pages | : | 275 Pages |
| Publish Date | : | 2017-11-18 |
| Language | : | English |
DESCRIPTION:
But its salient feature is adescription of exciting recent results on Inference Relations, BeliefRevision and their relations." Daniel Lehmann, Professor of Computer Science, Hebrew University. "This book provides an in-depth treatment of classical nonmonotonicsystems, in particular Default Logic
Other subjects covered include the major approaches of autoepistemic logic and circumscription, belief revision and its relationship to nonmonotonic inference, and briefly, the stable and well-founded semantics of logic programs.. Nonmonotonic reasoning methods provide rigor similar to that of classical reasoning; they form a base for validation and verification and therefore increase confidence in intelligent systems that work with incomplete and changing information.Following a brief introduction to the concepts of predicate logic that are needed in the subsequent chapters, this book presents an in depth treatment of default logic. Nonmonotonic reasoning provides formal methods that enable intelligent systems to operate adequately when faced with incomplete or changing information. In particular, it provides rigorous mechanisms for taking back conclusions that, in the presence of new information, turn out to be wrong and for deriving new, alternative conclusions instead
The book provides a clear & detailed insight to the subject The book covers all aspects of default reasoning, nonmonotonic reasoning , autoepistemic logic and circumscription in sufficient details. A little background of first order predicate logic is adequate to read this rich and valuable text.I offer it to our graduate program on nonmonotonic reasoning at ETCE department, Jadavpur University, Calcutta. My research scholars also like the book very much especially for its clear but elegant presentation.
Grigoris Antoniou is Professor at the Institute for Computer Science, FORTH (Foundation for Research and Technology-Hellas), Heraklion, Greece.