Frontiers in Belief Revision

2001
ISBN: 978-0-7923-7021-5
Verlag: Springer Netherlands

Buch, Englisch, Band 22, 454 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 1830 g

Reihe: Applied Logic Series

Frontiers in Belief Revision is a unique collection of leading edge research in Belief Revision. It contains the latest innovative ideas of highly respected and pioneering experts in the area, including Isaac Levi, Krister Segerberg, Sven Ove Hansson, Didier Dubois, and Henri Prade. The book addresses foundational issues of inductive reasoning and minimal change, generalizations of the standard belief revision theories, strategies for iterated revisions, probabilistic beliefs, multiagent environments and a variety of data structures and mechanisms for implementations. This book is suitable for students and researchers interested in knowledge representation and in the state of the art of the theory and practice of belief revision.

Zielgruppe

Research

Autoren/Hrsg.

Rott, Hans

Williams, M.

Fachgebiete

• Geisteswissenschaften Philosophie Philosophie: Allgemeines, Methoden
• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Robotik
• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie

Inhaltsverzeichnis

Invited Papers.- Inductive Expansion and Nonmonotonic Reasoning.- The Basic Dynamic Doxastic Logic of AGM.- Shielded Contraction.- A Computational Model for Belief Change and Fusing Ordered Belief Bases.- Contributed Papers.- An Operational Measure of Similarity Based on Change.- Toward a Formalization of Elaboration Tolerance: Adding and Deleting Axioms.- Assessing the Minimality of Change in Belief Revision: Capacities.- A Minimal Modelling for Successful Knowledge Base Revision.- Contraction of Epistemic States: A General Theory.- Two Notions of Epistemic Entrenchment.- Five Faces of Recovery.- Iterable AGM Functions.- Iterated Revision Operations Stemming from the History of an Agent’s Observations.- On a Full Meet Base Revision that Satisfies the Categorial Matching Principle.- Revision and Update Based on Stratified Forward Chaining.- Defeasible Inheritance and Reference Classes.- On Structured Belief Bases.- Iterated Syntax-based Revision in a Nonmonotonic Setting.- Revising and Updating Probabilistic Beliefs.- Bayesian Cognitive Diagnosis in Believable Multiagent Systems.- Revising Beliefs Received from Multiple Sources.