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
LEADER 02828nam a2200481 4500
001 978-3-319-60535-7
003 DE-He213
005 20190620111232.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 
040 |d GrThAP 
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 http://scigraph.springernature.com/things/product-market-codes/I21000 
650 2 4 |a Logic.  |0 http://scigraph.springernature.com/things/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 eBooks 
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  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
950 |a Computer Science (Springer-11645)