Conditionals in Nonmonotonic Reasoning and Belief Revision

Considering Conditionals as Agents

  • Gabriele Kern-Isberner

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2087)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2087)

About this book


Conditionals are omnipresent, in everyday life as well as in scientific environments; they represent generic knowledge acquired inductively or learned from books. They tie a flexible and highly interrelated network of connections along which reasoning is possible and which can be applied to different situations. Therefore, conditionals are important, but also quite problematic objects in knowledge representation.
This book presents a new approach to conditionals which captures their dynamic, non-proportional nature particularly well by considering conditionals as agents shifting possible worlds in order to establish relationships and beliefs. This understanding of conditionals yields a rich theory which makes complex interactions between conditionals transparent and operational. Moreover,it provides a unifying and enhanced framework for knowledge representation, nonmonotonic reasoning, belief revision,and even for knowledge discovery.


AI Logic Belief Revision Beliefs Epistemic Logics Formal Logic Knowledge Processing Logic Inference Mathematical Logic Nonclassical Logics Nonmonotonic Logics algorithms knowledge discovery knowledge representation nonmonotonic reasoning

Editors and affiliations

  • Gabriele Kern-Isberner
    • 1
  1. 1.Fachbereich Informatik LG Praktische Informatik VIFernUniversität HagenHagen

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42367-6
  • Online ISBN 978-3-540-44600-2
  • Series Print ISSN 0302-9743
  • 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