Belief change : introduction and overview / Eduardo Fermé, Sven Ove Hansson.

Author/creator Fermé, Eduardo, 1964- author.
Other author Hansson, Sven Ove, 1951- author.
Format Electronic
PublicationCham, Switzerland : Springer, 2018.
Description1 online resource.
Supplemental ContentEBSCOhost
Subjects
Belief change.

SeriesSpringerBriefs in intelligent systems, Artificial intelligence, multiagent systems and cognitive robotics
SpringerBriefs in intelligent systems. Artificial intelligence, multiagent systems and cognitive robotics. UNAUTHORIZED
Contents 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.
Contents 4.2 Epistemic Entrenchment; 4.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.
Contents 6.5 Base-Generated Operations on Belief Sets; 7 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.
Contents 10.3 Resource-Bounded and Local Change; 10.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.
Contents 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.
Abstract 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.
Bibliography noteIncludes bibliographical references.
Source of descriptionOnline resource; title from PDF title page (SpringerLink, viewed June 1, 2018).
Issued in other formPrinted edition: 9783319605333
Genre/formElectronic books.
ISBN9783319605357 (electronic bk.)
ISBN3319605356 (electronic bk.)
ISBN(print)
Standard identifier# 10.1007/978-3-319-60535-7

Availability

Library Location Call Number Status Item Actions
Electronic Resources Access Content Online ✔ Available