Author: Grigoris Antoniou
Publisher: The MIT Press
Keywords: reasoning, nonmonotonic
Number of Pages: 299
Published: 1997-04-04
List price: $55.00
ISBN-10: 0262011573
ISBN-13: 9780262011570

"This book provides an in-depth treatment of classical nonmonotonic systems, in particular Default Logic. But its salient feature is a description of exciting recent results on Inference Relations, Belief Revision and their relations." -- Daniel Lehmann, Professor of Computer Science, Hebrew University 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

Author: Dritan Berzati
Publisher: Nova Science Publishers
Keywords: framework, unifying, reasoning, nonmonotonic
Number of Pages: 171
Published: 2006-06
List price: $120.00
ISBN-10: 1594545626
ISBN-13: 9781594545627

The capability to reason in a world full of uncertainties, vagueness and ignorance is what distinguishes humans. This ability to argument in a partially known world is the informal definition of common-sense reasoning. The question how common-sense reasoning is performed occupied humanity since we can think of. Last century this issue reached an immense importance. Especially during the last three decades the study of common-sense reasoning became one of the major research topics in Artificial Intelligence (AI). Several formalisms to capture the mechanism of common-sense reasoning have been pr

Author: Alexander Bochman
Publisher: World Scientific Publishing Company
Keywords: logic, advances, reasoning, nonmonotonic, explanatory
Number of Pages: 408
Published: 2005-01-30
List price: $107.00
ISBN-10: 9812561013
ISBN-13: 9789812561015

Many approaches in the field of nonmonotonic and "commonsense" reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning. It uses the basic formalism of biconsequence relations, as well as derived systems of default, autoepistemic and causal inference, to cover in a single framework such diverse systems as default logic, autoepistemic and modal nonmonotonic logics, input/output and causal logics, argumentation theory, and semantics of general logic programs

Authors:Dov M. Gabbay, C. J. Hogger, J. A. Robinson,
Publisher: Oxford University Press, USA
Keywords: reasoning, logic, nonmonotonic, uncertain, volume, programming, artificial, intelligence, handbook
Number of Pages: 552
Published: 1994-04-28
List price: $295.00
ISBN-10: 0198537476
ISBN-13: 9780198537472

Logic is now widely recognized to be one of the foundational disciplines of computing with applications reaching almost every aspect of the subject, from software engineering and hardware to programming languages and artificial intelligence. The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of application of logic to AI and logic programming. Each volume features a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying themes in various areas. Volumes 1 and 2 present

Authors:Esra Erdem, Fangzhen Lin, Torsten Schaub,
Publisher: Springer
Keywords: lecture, proceedings, september, notes, intelligence, artificial, germany, potsdam, nonmonotonic, programming, reasoning, international, lpnmr, conference, logic
Number of Pages: 656
Published: 2009-10-07
List price: $119.00
ISBN-10: 3642042376
ISBN-13: 9783642042379

This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009) held during 14-18 September in Potsdam. The special theme of LPNMR 2009 is Applications of Logic Programming and Nonmonotonic Reasoning in general and Answer Set Programming (ASP) in particular. LPNMR 2009 aims at providing a comprehensive surrvey of the state ofo the art of ASP/LPNMR Applications. LPNMR 2009 received 75 submissions, of which 55 were technical ones, 8 original applications, 9 system description ones and 3 short papers. Out of these 25 technical