Belief Change Introduction and Overview /
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 origi...
Main Authors: | Fermé, Eduardo (Author, http://id.loc.gov/vocabulary/relators/aut), Hansson, Sven Ove (http://id.loc.gov/vocabulary/relators/aut) |
---|---|
Corporate Author: | SpringerLink (Online service) |
Format: | Electronic eBook |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
Edition: | 1st ed. 2018. |
Series: | SpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics,
|
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Similar Items
-
Dynamics, Uncertainty and Reasoning The Second Chinese Conference on Logic and Argumentation /
Published: (2019) -
Qualitative and Quantitative Practical Reasoning First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings /
Published: (1997) -
Conditionals in Nonmonotonic Reasoning and Belief Revision Considering Conditionals as Agents /
by: Kern-Isberner, Gabriele, et al.
Published: (2001) -
Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties /
by: Schlechta, Karl, et al.
Published: (2018) -
Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size /
by: Schlechta, Karl, et al.
Published: (2018)