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
Explanatory Nonmonotonic Reasoning
Language: en
Pages: 424
Authors: Alexander Bochman
Categories: Computers
Type: BOOK - Published: 2005 - Publisher: World Scientific

DOWNLOAD EBOOK

Many approaches in the field of nonmonotonic and commonsense reasoning are actually different representations of the same basic ideas and constructions. This bo
Nonmonotonic Logics
Language: en
Pages: 264
Authors: Karl Schlechta
Categories: Computers
Type: BOOK - Published: 1997-01-15 - Publisher: Lecture Notes in Artificial Intelligence

DOWNLOAD EBOOK

Nonmonotonic logics were created as an abstraction of some types of common sense reasoning, analogous to the way classical logic serves to formalize ideal reaso
Bridges from Classical to Nonmonotonic Logic
Language: en
Pages: 216
Authors: David Makinson
Categories: Computers
Type: BOOK - Published: 2005 - Publisher: College Publications

DOWNLOAD EBOOK

Imagine a robot trying to size up a difficult situation, to find a way of responding. Its sensors receive streams of information from which it tries to reach ju