Nonmonotonic Reasoning

Nonmonotonic Reasoning
Author :
Publisher : MIT Press
Total Pages : 310
Release :
ISBN-10 : 0262011573
ISBN-13 : 9780262011570
Rating : 4/5 (73 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
Logic Programming and Nonmonotonic Reasoning
Language: en
Pages: 474
Authors: Jürgen Dix
Categories: Computers
Type: BOOK - Published: 1997-07-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Development and environment problems have reached such alarming proportions that the very survival of humanity is now subject to critical and unprecedented thre
Logic Programming and Nonmonotonic Reasoning
Language: en
Pages: 401
Authors: Michael Gelfond
Categories: Computers
Type: BOOK - Published: 2003-06-26 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '99, held in El Paso,
Logic Programming and Nonmonotonic Reasoning
Language: en
Pages: 460
Authors: Thomas Eiter
Categories: Computers
Type: BOOK - Published: 2003-08-06 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, held in Vienna,