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