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.
"synopsis" may belong to another edition of this title.
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.
"A concise guie to the major formalisms of a form of reasoning that uses incomplete information to reach a conclusion that is subject to change with the acquisition of more information." Reference and Research News
"About this title" may belong to another edition of this title.
Shipping:
US$ 28.80
From United Kingdom to U.S.A.
Seller: JuddSt.Pancras, London, United Kingdom
Hardcover. Condition: Very Good. Seller Inventory # c30397
Quantity: 1 available
Seller: killarneybooks, Inagh, CLARE, Ireland
Hardcover. Condition: Very Good. No Jacket. 1st Edition. 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
Quantity: 1 available