Advertisement

Nonmonotonic Logic

Context-Dependent Reasoning

  • V. Wiktor Marek
  • Mirosław Truszczyński

Part of the Artificial Intelligence book series (AI)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. V. Wiktor Marek, Mirosław Truszczyński
    Pages 1-8
  3. V. Wiktor Marek, Mirosław Truszczyński
    Pages 9-35
  4. V. Wiktor Marek, Mirosław Truszczyński
    Pages 37-103
  5. V. Wiktor Marek, Mirosław Truszczyński
    Pages 105-123
  6. V. Wiktor Marek, Mirosław Truszczyński
    Pages 125-139
  7. V. Wiktor Marek, Mirosław Truszczyński
    Pages 141-187
  8. V. Wiktor Marek, Mirosław Truszczyński
    Pages 189-222
  9. V. Wiktor Marek, Mirosław Truszczyński
    Pages 223-248
  10. V. Wiktor Marek, Mirosław Truszczyński
    Pages 249-288
  11. V. Wiktor Marek, Mirosław Truszczyński
    Pages 289-316
  12. V. Wiktor Marek, Mirosław Truszczyński
    Pages 317-350
  13. V. Wiktor Marek, Mirosław Truszczyński
    Pages 351-382
  14. V. Wiktor Marek, Mirosław Truszczyński
    Pages 383-404
  15. Back Matter
    Pages 405-420

About this book

Introduction

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 .........

Keywords

algorithms artificial intelligence closed world assumption complexity intelligence knowledge logic nonmonotonic reasoning programming

Authors and affiliations

  • V. Wiktor Marek
    • 1
  • Mirosław Truszczyński
    • 1
  1. 1.Department of Computer ScienceUniversity of KentuckyLexingtonUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-02906-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-662-02908-4
  • Online ISBN 978-3-662-02906-0
  • Series Print ISSN 1431-0066
  • Buy this book on publisher's site