LEADER 02705nam  22005175  450 
001 9910299459503321
005 20220203172959.0
010   $a3-319-60535-6
024 7 $a10.1007/978-3-319-60535-7
035   $a(CKB)4100000004243443
035   $a(MiAaPQ)EBC5401145
035   $a(DE-He213)978-3-319-60535-7
035   $a(PPN)227404858
035   $a(EXLCZ)994100000004243443
100   $a20180523d2018      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aBelief Change $eIntroduction and Overview /$fby Eduardo Fermé, Sven Ove Hansson
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (128 pages)
225 1 $aSpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics,$x2196-548X
311   $a3-319-60533-X 
327   $aMotivation -- 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.
330   $aThis 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.
410  0$aSpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics,$x2196-548X
606   $aArtificial intelligence
606   $aLogic
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000
615  0$aArtificial intelligence.
615  0$aLogic.
615 14$aArtificial Intelligence.
615 24$aLogic.
676   $a153
700   $aFermé$b Eduardo$4aut$4http://id.loc.gov/vocabulary/relators/aut$0973275
702   $aHansson$b Sven Ove$4aut$4http://id.loc.gov/vocabulary/relators/aut
801  0$bUMA.HUM
801  2$bUMA.RE
906   $aBOOK
912   $a9910299459503321
996   $aBelief Change$92214269
997   $aUNINA