Nonmonotonic Reasoning

Nonmonotonic Reasoning
Author :
Publisher : MIT Press
Total Pages : 310
Release :
ISBN-10 : 0262011573
ISBN-13 : 9780262011570
Rating : 4/5 (570 Downloads)

Book Synopsis Nonmonotonic Reasoning by : Grigoris Antoniou

Download or read book Nonmonotonic Reasoning written by Grigoris Antoniou and published by MIT Press. This book was released on 1997 with total page 310 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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. 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. 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 Related Books

Nonmonotonic Reasoning
Language: en
Pages: 310
Authors: Grigoris Antoniou
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: MIT Press

DOWNLOAD EBOOK

Nonmonotonic reasoning provides formal methods that enable intelligent systems to operate adequately when faced with incomplete or changing information. In part
Nonmonotonic Logic
Language: en
Pages: 425
Authors: V. Wiktor Marek
Categories: Computers
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

When I first participated in exploring theories of nonmonotonic reasoning in the late 1970s, I had no idea of the wealth of conceptual and mathematical results
Nonmonotonic Reasoning
Language: en
Pages: 179
Authors: Gerhard Brewka
Categories: Science
Type: BOOK - Published: 1997-01-01 - Publisher: Stanford Univ Center for the Study

DOWNLOAD EBOOK

Nonmonotonic reasoning in its broadest sense is reasoning to conclusions on the basis of incomplete information. Given more information, previously drawn infere
A Logical Theory of Nonmonotonic Inference and Belief Change
Language: en
Pages: 439
Authors: Alexander Bochman
Categories: Computers
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
Logic Programming and Non-Monotonic Reasoning
Language: en
Pages: 518
Authors: Lua-S Moniz Pereira
Categories: Logic programming
Type: BOOK - Published: 1993 - Publisher: MIT Press

DOWNLOAD EBOOK

This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelli