A Logical Theory of Nonmonotonic Inference and Belief Change

  • Alexander Bochman

Part of the Artificial Intelligence book series (AI)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Introduction

    1. Alexander Bochman
      Pages 1-10
  3. The Framework

    1. Front Matter
      Pages 11-11
    2. Alexander Bochman
      Pages 13-41
    3. Alexander Bochman
      Pages 43-76
    4. Alexander Bochman
      Pages 111-134
  4. Nonmonotonic Inference

    1. Front Matter
      Pages 135-135
    2. Alexander Bochman
      Pages 137-161
    3. Alexander Bochman
      Pages 163-212
    4. Alexander Bochman
      Pages 213-250
    5. Alexander Bochman
      Pages 251-269
    6. Alexander Bochman
      Pages 271-317
  5. Belief Change

    1. Front Matter
      Pages 319-319
    2. Alexander Bochman
      Pages 321-343
    3. Alexander Bochman
      Pages 345-378
    4. Alexander Bochman
      Pages 379-402
    5. Alexander Bochman
      Pages 403-424
  6. Back Matter
    Pages 425-435

About this book


The main subject and objective of this book are logical foundations of non­ monotonic reasoning. This bears a presumption that there is such a thing as a general theory of non monotonic reasoning, as opposed to a bunch of systems for such a reasoning existing in the literature. It also presumes that this kind of reasoning can be analyzed by logical tools (broadly understood), just as any other kind of reasoning. In order to achieve our goal, we will provide a common logical basis and semantic representation in which different kinds of non monotonic reasoning can be interpreted and studied. The suggested framework will subsume ba­ sic forms of nonmonotonic inference, including not only the usual skeptical one, but also various forms of credulous (brave) and defeasible reasoning, as well as some new kinds such as contraction inference relations that express relative independence of pieces of data. In addition, the same framework will serve as a basis for a general theory of belief change which, among other things, will allow us to unify the main approaches to belief change existing in the literature, as well as to provide a constructive view of the semantic representation used. This book is a monograph rather than a textbook, with all its advantages (mainly for the author) and shortcomings (for the reader).


Nonmonotonic reasoning artificial intelligence belief change epistemic logic formal methods fuzzy systems intelligence knowledge knowledge representation knowledge-based systems logic mathematical logics multi-agent systems nonmonotonic logics uncertainty

Authors and affiliations

  • Alexander Bochman
    • 1
  1. 1.Computer Science DepartmentHolon Academic Institute of Technology (HAIT)HolonIsrael

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-07516-2
  • Online ISBN 978-3-662-04560-2
  • Series Print ISSN 1431-0066
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences