Overview
- Community employs formal models in the investigation of changes in belief states and databases
- Logic of theory change was the starting-point of a large, rapidly growing literature
- Valuable for researchers in logic, philosophy, and artificial intelligence
Part of the book series: SpringerBriefs in Intelligent Systems (BRIEFSINSY)
Buy print copy
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (14 chapters)
-
Front Matter
-
Back Matter
Reviews
“The explanations are concise and clear; the organization is transparent, so that readers can dip in and out of topics that particularly interest them. … The volume thus serves as a road map or, one could say, a GPS, for those seeking a bird’s-eye view with opportunities to zoom into details of the terrain.” (David Makinson, zbMATH 1458.03001, 2021)
Authors and Affiliations
Bibliographic Information
Book Title: Belief Change
Book Subtitle: Introduction and Overview
Authors: Eduardo Fermé, Sven Ove Hansson
Series Title: SpringerBriefs in Intelligent Systems
DOI: https://doi.org/10.1007/978-3-319-60535-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Author(s) 2018
Softcover ISBN: 978-3-319-60533-3Published: 31 May 2018
eBook ISBN: 978-3-319-60535-7Published: 23 May 2018
Series ISSN: 2196-548X
Series E-ISSN: 2196-5498
Edition Number: 1
Number of Pages: IX, 125
Number of Illustrations: 4 b/w illustrations, 7 illustrations in colour
Topics: Artificial Intelligence, Logic