|
|
|||
|
||||
OverviewNonmonotonic 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. Full Product DetailsAuthor: Gerhard Brewka (GMD, Schloss Birlinghoven, Germany) , Jürgen Dix (Koblenz School of Corporate Management, Otto Beisheim Graduate School) , Kurt Konolige (SRI International, USA)Publisher: Centre for the Study of Language & Information Imprint: Centre for the Study of Language & Information Volume: 73 Dimensions: Width: 15.20cm , Height: 1.70cm , Length: 22.80cm Weight: 0.425kg ISBN: 9781881526841ISBN 10: 1881526844 Pages: 179 Publication Date: 01 June 1997 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Unknown Availability: Out of stock Table of Contents1. 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.ReviewsA 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 ""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 Author InformationTab Content 6Author Website:Countries AvailableAll regions |
||||