Conditionals in Nonmonotonic Reasoning and Belief Revision [electronic resource] :Considering Conditionals as Agents /
Contributor(s): Kern-Isberner, Gabriele [editor.] | SpringerLink (Online service).Material type: BookSeries: Lecture Notes in Computer Science: 2087Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Description: X, 194 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540446002.Subject(s): Computer science | Mathematical logic | Artificial intelligence | Computer Science | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Formal LanguagesOnline resources: Click here to access online
Belief Revision and Nonmonotonic Reasoning — State of the Art -- Conditionals -- Revising Epistemic States by Conditional Beliefs -- Characterizing the Principle of Minimum Cross-Entropy -- Reasoning at Optimum Entropy -- Belief Revision and Nonmonotonic Reasoning — Revisited -- Knowledge Discovery by Following Conditional Structures -- Algorithms and Implementations -- Conclusion.
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.