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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
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.
1. Introduction; 2. Preference logics; 3. Nonmonotonic inference relations; 4. Consistency based logics; 5. Abduction; 6. Semantics for logic programs with negation; 7. Nonmonotonicity in logic programming.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
EUR 9,49 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiDa: JuddSt.Pancras, London, Regno Unito
Hardcover. Condizione: Very Good. Codice articolo c30397
Quantità: 1 disponibili
Da: killarneybooks, Inagh, CLARE, Irlanda
Hardcover. Condizione: 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. Codice articolo 010496
Quantità: 1 disponibili