| Document Type
|
:
|
BL
|
| Record Number
|
:
|
863947
|
| Main Entry
|
:
|
Fermé, Eduardo,1964-
|
| Title & Author
|
:
|
Belief change : : introduction and overview /\ Eduardo Fermé, Sven Ove Hansson.
|
| Publication Statement
|
:
|
Cham, Switzerland :: Springer,, 2018.
|
| Series Statement
|
:
|
SpringerBriefs in intelligent systems, Artificial intelligence, multiagent systems and cognitive robotics
|
| Page. NO
|
:
|
1 online resource
|
| ISBN
|
:
|
3319605356
|
|
|
:
|
: 9783319605357
|
|
|
:
|
331960533X
|
|
|
:
|
9783319605333
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references.
|
| 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.
|
|
|
:
|
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.
|
|
|
:
|
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.
|
|
|
:
|
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.
|
|
|
:
|
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.
|
| 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.
|
| Subject
|
:
|
Belief change.
|
| Subject
|
:
|
Belief change.
|
| Subject
|
:
|
PHILOSOPHY-- Epistemology.
|
| Dewey Classification
|
:
|
121/.6
|
| LC Classification
|
:
|
BF311
|
| Added Entry
|
:
|
Hansson, Sven Ove
|