Nonmonotonic Logic: Context-Dependent Reasoning

✍ Scribed by V. Wiktor Marek, Mirosław Truszczyński (auth.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 1993
Tongue: English
Leaves: 424
Series: Artificial Intelligence
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

When I first participated in exploring theories of nonmonotonic reasoning in the late 1970s, I had no idea of the wealth of conceptual and mathematical results that would emerge from those halting first steps. This book by Wiktor Marek and Miroslaw Truszczynski is an elegant treatment of a large body of these results. It provides the first comprehensive treatment of two influen tial nonmonotonic logics - autoepistemic and default logic - and describes a number of surprising and deep unifying relationships between them. It also relates them to various modal logics studied in the philosophical logic litera ture, and provides a thorough treatment of their applications as foundations for logic programming semantics and for truth maintenance systems. It is particularly appropriate that Marek and Truszczynski should have authored this book, since so much of the research that went into these results is due to them. Both authors were trained in the Polish school of logic and they bring to their research and writing the logical insights and sophisticated mathematics that one would expect from such a background. I believe that this book is a splendid example of the intellectual maturity of the field of artificial intelligence, and that it will provide a model of scholarship for us all for many years to come. Ray Reiter Department of Computer Science University of Toronto Toronto, Canada M5S 1A4 and The Canadian Institute for Advanced Research Table of Contents 1 1 Introduction .........

✦ Table of Contents

Front Matter....Pages I-XIII
Introduction....Pages 1-8
Rudiments of logic and set theory....Pages 9-35
General default theories....Pages 37-103
Normal default theories....Pages 105-123
Representation theory for default logic....Pages 125-139
Logic programming and nonmonotonic reasoning....Pages 141-187
Modal logic....Pages 189-222
Stable theories....Pages 223-248
Modal nonmonotonic logics....Pages 249-288
Nonmonotonic logic of pure necessitation and autoepistemic logics....Pages 289-316
Topics in modal nonmonotonic logic....Pages 317-350
Relations among nonmonotonic formalisms....Pages 351-382
Complexity of some forms of nonmonotonic reasoning....Pages 383-404
Back Matter....Pages 405-420

✦ Subjects

Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Mathematical Logic and Foundations

📜 SIMILAR VOLUMES

Nonmonotonic logic : context-dependent r

📁 Nonmonotonic logic : context-dependent reasoning

✍ Wiktor Marek; MirosЕ‚aw Truszczynski 📂 Library 📅 1993 🏛 Springer 🌐 English

Nonmonotonic Logic: Context-Dependent Re

📁 Nonmonotonic Logic: Context-Dependent Reasoning

✍ V. Wiktor Marek, Mirosław Truszczyński (auth.) 📂 Library 📅 1993 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>When I first participated in exploring theories of nonmonotonic reasoning in the late 1970s, I had no idea of the wealth of conceptual and mathematical results that would emerge from those halting first steps. This book by Wiktor Marek and Miroslaw Truszczynski is an elegant treatment of a large

Nonmonotonic Reasoning: Logical Foundati

📁 Nonmonotonic Reasoning: Logical Foundations of Commonsense

✍ Gerhard Brewka 📂 Library 📅 1991 🏛 Cambridge University Press 🌐 English

In this book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some new results and ideas based on his research. The guiding principles are: clarification of the different research activities in the area, which have sometimes been undertaken ind

Nonmonotonic Logics: Basic Concepts, Res

📁 Nonmonotonic Logics: Basic Concepts, Results, and Techniques

✍ Karl Schlechta (eds.) 📂 Library 📅 1997 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>Nonmonotonic logics were created as an abstraction of some types of common sense reasoning, analogous to the way classical logic serves to formalize ideal reasoning about mathematical objects. These logics are nonmonotonic in the sense that enlarging the set of axioms does not necessarily imply a

Handbook of Logic in Artificial Intellig

📁 Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

✍ Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) 📂 Library 📅 1994 🏛 Clarendon Press 🌐 English

For modern scientists, history often starts with last week's journals and is regarded as largely a quaint interest compared with the advances of today. However, this book makes the case that, measured by major advances, the greatest decade in the history of brain studies was mid-twentieth century, e

Nonmonotonic Reasoning

📁 Nonmonotonic Reasoning

✍ Grigoris Antoniou 📂 Library 📅 1997 🏛 The MIT Press 🌐 English

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 wrong and for d