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...
Κύριοι συγγραφείς: | Fermé, Eduardo (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Hansson, Sven Ove (http://id.loc.gov/vocabulary/relators/aut) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
Έκδοση: | 1st ed. 2018. |
Σειρά: | SpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics,
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Dynamics, Uncertainty and Reasoning The Second Chinese Conference on Logic and Argumentation /
Έκδοση: (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 /
Έκδοση: (1997) -
Conditionals in Nonmonotonic Reasoning and Belief Revision Considering Conditionals as Agents /
ανά: Kern-Isberner, Gabriele, κ.ά.
Έκδοση: (2001) -
Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties /
ανά: Schlechta, Karl, κ.ά.
Έκδοση: (2018) -
Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size /
ανά: Schlechta, Karl, κ.ά.
Έκδοση: (2018)