Produktdetaljer
ISBN
9783319605333
Publisert
2018-05-31
Utgiver
Vendor
Springer International Publishing AG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Graduate, UP, 05
Språk
Product language
Engelsk
Format
Product format
Heftet
“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)
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.
Les mer
This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases.
Motivation.- History.- The AGM Model.- Belief Sets.- Equivalent Characterizations.- Safe and Kernel Contraction.- Criticism of the Model.- Belief Bases.- Iterated Change.- Multiple Change.- Extended Representations of Belief States.- Alternative Operators of Change.- Multiagent Belief Change.- Applications and Connections.- Implementations.- Conclusions.- References.
Les mer
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
Les mer
GPSR Compliance
The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this.
If you have any concerns about our products you can contact us on ProductSafety@springernature.com.
In case Publisher is established outside the EU, the EU authorized representative is:
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, Germany
ProductSafety@springernature.com
Les mer
Produktdetaljer
ISBN
9783319605333
Publisert
2018-05-31
Utgiver
Vendor
Springer International Publishing AG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Graduate, UP, 05
Språk
Product language
Engelsk
Format
Product format
Heftet