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...

Full description

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)
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:https://doi.org/10.1007/978-3-319-60535-7
LEADER 02888nam a22004935i 4500
001 978-3-319-60535-7
003 DE-He213
005 20210619183929.0
007 cr nn 008mamaa
008 180523s2018 gw | s |||| 0|eng d
020 |a 9783319605357  |9 978-3-319-60535-7 
024 7 |a 10.1007/978-3-319-60535-7  |2 doi 
050 4 |a Q334-342 
072 7 |a UYQ  |2 bicssc 
072 7 |a COM004000  |2 bisacsh 
072 7 |a UYQ  |2 thema 
082 0 4 |a 006.3  |2 23 
100 1 |a Fermé, Eduardo.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Belief Change  |h [electronic resource] :  |b Introduction and Overview /  |c by Eduardo Fermé, Sven Ove Hansson. 
250 |a 1st ed. 2018. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2018. 
300 |a IX, 125 p. 11 illus., 7 illus. in color.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a SpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics,  |x 2196-548X 
505 0 |a 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. 
520 |a 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. 
650 0 |a Artificial intelligence. 
650 0 |a Logic. 
650 1 4 |a Artificial Intelligence.  |0 https://scigraph.springernature.com/ontologies/product-market-codes/I21000 
650 2 4 |a Logic.  |0 https://scigraph.springernature.com/ontologies/product-market-codes/E16000 
700 1 |a Hansson, Sven Ove.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783319605333 
776 0 8 |i Printed edition:  |z 9783319605340 
830 0 |a SpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics,  |x 2196-548X 
856 4 0 |u https://doi.org/10.1007/978-3-319-60535-7 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)