SpringerBriefs in intelligent systems, Artificial intelligence, multiagent systems and cognitive robotics
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references.
CONTENTS NOTE
Text of Note
Intro; Preface; Contents; 1 Motivation; 1.1 An Example of the Belief Change Problem; 1.2 Some Questions About the Belief Change Problem; 2 History; 2.1 The Beginnings; 2.2 The Impact in Philosophy; 2.3 The Impact in Artificial Intelligence; 3 The AGM Model; 3.1 The Language; 3.2 Logical Consequence; 3.3 Belief Sets and Possible Worlds; 3.4 Basic Ideas of AGM Theory; 3.5 A Syntactic Approach to Contraction; 3.6 A Syntactic Approach to Revision; 3.7 Relations Between Contraction and Revision; 3.8 Partial Meet Operations; 4 Equivalent Characterizations; 4.1 Possible World Models.
Text of Note
10.3 Resource-Bounded and Local Change10.4 Paraconsistent Belief Change; 10.5 Some Other Operations of Change; 11 Extended Representations of Belief States; 11.1 Probability and Plausibility; 11.2 Ranking Models; 11.3 Conditionals and the Ramsey Test; 11.4 Modal, Doxastic, and Temporal Sentences; 11.5 Changes in Norms, Preferences, Goals, and Desires; 12 Applications, Connections, and Implementations; 12.1 Non-Monotonic and Defeasible Logic; 12.2 Modal and Dynamic Logics; 12.3 Horn Clause Contraction; 12.4 Description Logic; 12.5 Belief Change by Translation Between Logics.
Text of Note
12.6 Truth and Learning12.7 Connections with Social Choice; 12.8 Implementations; 13 Multiagent Belief Change; 13.1 Merging; 13.2 Argumentation; 13.3 Game Theory; 14 Descriptor Revision; 14.1 Belief Descriptors; 14.2 Descriptor Revision; 14.3 Connections with AGM; 14.4 Further Developments; References.
Text of Note
4.2 Epistemic Entrenchment4.3 Specified Meet Contraction; 4.4 Kernel Contraction; 4.5 Safe Contraction; 5 Criticism of the Model; 5.1 The Recovery Postulate and Minimal Change; 5.2 The Success Postulates; 5.3 Remainder Sets: Information vs. Informational Value; 5.4 The Expansion Property; 5.5 Are Belief Sets Too Large?; 5.6 Lack of Information in the Belief Set; 6 Belief Bases; 6.1 Representing Belief States with Belief Bases; 6.2 Change Operations on Belief Bases; 6.3 Belief Base Revision from Belief Base Contraction; 6.4 Other Belief Base Approaches.
Text of Note
6.5 Base-Generated Operations on Belief Sets7 Iterated Change; 7.1 Revising Epistemic States; 7.2 Major Classes of Iterable Operations; 7.3 Making AGM Contraction Iterable; 8 Non-Prioritized Change; 8.1 Classification of Revision Operations; 8.2 Some Constructions of Non-Prioritized Revision; 8.3 Non-Prioritized Contraction; 9 Multiple Change; 9.1 Choice and Package Contraction; 9.2 Multiple Partial Meet Contraction; 9.3 Multiple Kernel Contraction; 9.4 Sphere-Based Multiple Contraction; 10 Alternative Operations of Change; 10.1 Update; 10.2 Changes in the Strengths of Beliefs.
0
8
8
8
8
SUMMARY OR ABSTRACT
Text of Note
This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, and criticism of the model.