Nonmonotonic Reasoning: An Overview (CSLI Lecture Notes)

Gerhard Brewka; Jürgen Dix; Kurt Konolige

ISBN 10: 1881526844 / ISBN 13: 9781881526841

Published by Center for the Study of Language and Information, Stanford, California, 1997

About this Item

Cloth hardcover, x + 179 pages, NOT ex-library. Minor handling wear. Book is clean and bright, untanned with unmarked text, free of inscriptions and stamps, firmly bound. No dust jacket. Partially removed retail barcode sticker on the back. -- The book provides a comprehensive introduction to nonmonotonic reasoning, a branch of artificial intelligence (AI) focused on reasoning systems where conclusions drawn can be withdrawn in the light of new evidence. Unlike classical logic systems, where inferences are definitive, nonmonotonic reasoning allows for more flexible and realistic approaches to decision-making in uncertain environments, reflecting the way human reasoning often functions. The book explores various systems and formal frameworks developed to handle nonmonotonic reasoning, including default logic, autoepistemic logic, and circumscription. The authors guide readers through the theory, applications, and limitations of these frameworks, making this volume a critical resource for anyone studying AI, knowledge representation, or logic programming. Topics covered in the book include: - Default logic and its role in handling incomplete information; - Circumscription and how it enables minimal model reasoning; - Autoepistemic logic, which deals with reasoning about one's own beliefs; - Logic programming with negation and how it relates to nonmonotonic reasoning; - Applications of nonmonotonic reasoning in AI systems, database theory, and expert systems; - Comparative analysis of nonmonotonic reasoning systems. This work is suitable for researchers, graduate students, and professionals in AI, offering both theoretical insights and practical examples of nonmonotonic reasoning systems.

Seller Inventory # 010496

Bibliographic Details

• Title: Nonmonotonic Reasoning: An Overview (CSLI Lecture Notes)
• Publisher: Center for the Study of Language and Information, Stanford, California
• Publication Date: 1997
• Language: English
• ISBN 10: 1881526844
• ISBN 13: 9781881526841
• Binding: Hardcover
• Edition: 1st Edition
• Condition: Very Good
• Dust Jacket Condition: No Jacket

About this title

Synopsis

Nonmonotonic reasoning in its broadest sense is reasoning to conclusions on the basis of incomplete information. Given more information, previously drawn inferences may be retracted. Commonsense reasoning has a nonmonotonic component; it has been argued that almost all commonsense inferences are of this sort. From the end of the 1980s to the present there has been an explosion in research in nonmonotonic reasoning. It is now possible to understand more clearly the properties of the major formalisms from a metatheoretical point of view, the relationships among the formalisms and their connection to independently developed proof methods. The goal of this monograph is to make this understanding more accessible.

Book Description

Nonmonotonic reasoning in its broadest sense is reasoning to conclusions on the basis of incomplete information. It is now possible to understand more clearly the properties of the major formalisms from a metatheoretical point of view, the relationships among the formalisms and their connection to independently developed proof methods. The goal of this monograph is to make this understanding more accessible.