LEADER 01037nam0-22003011i-450- 001 990000463180403321 005 20090225144812.0 010 $a0-85296169-3 035 $a000046318 035 $aFED01000046318 035 $a(Aleph)000046318FED01 035 $a000046318 100 $a20020821d1977----km-y0itay50------ba 101 0 $aeng 105 $aa-------101yy 200 1 $aInternational conference on Reliability of power supply systems, 21-23 February 1977$fPower and control and automation divisions of the Institution of electrical engineers 210 $aLondon$cInstitute of electrical engineers$dİ1977 215 $a161 p.$cill.$d30 cm 225 1 $aIEE conference publication$v148 610 0 $aSistemi di energia elettrica$aCongressi 676 $a621.319 710 12$aInternational conference on reliability of power supply systems$f<1977 ;$eLondon> 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000463180403321 952 $a10 PRO 335$bL/8 CNR$fDINEL 959 $aDINEL 997 $aUNINA LEADER 03367nam 22006375 450 001 9910254293603321 005 20200701144450.0 010 $a3-319-53061-5 024 7 $a10.1007/978-3-319-53061-1 035 $a(CKB)4340000000223203 035 $a(DE-He213)978-3-319-53061-1 035 $a(MiAaPQ)EBC5163247 035 $a(PPN)221252355 035 $a(EXLCZ)994340000000223203 100 $a20171128d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDescriptor Revision $eBelief Change through Direct Choice /$fby Sven Ove Hansson 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XVIII, 239 p. 18 illus.) 225 1 $aTrends in Logic, Studia Logica Library,$x1572-6126 ;$v46 311 $a3-319-53060-7 320 $aIncludes bibliographical references and index. 330 $aThis book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. In particular the use of possible worlds and infinite remainders as objects of choice is critically examined. Descriptors are introduced as a versatile tool for expressing the success conditions of belief change, addressing both local and global descriptor revision. The book presents dynamic descriptors such as Ramsey descriptors that convey how an agent?s beliefs tend to be changed in response to different inputs. It also explores sentential revision and demonstrates how local and global operations of revision by a sentence can be derived as a special case of descriptor revision. Lastly, the book examines revocation, a generalization of contraction in which a specified sentence is removed in a process that may possibly also involve the addition of some new information to the belief set. 410 0$aTrends in Logic, Studia Logica Library,$x1572-6126 ;$v46 606 $aLogic 606 $aLogic, Symbolic and mathematical 606 $aDatabase management 606 $aKnowledge, Theory of 606 $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aEpistemology$3https://scigraph.springernature.com/ontologies/product-market-codes/E13000 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 615 0$aLogic. 615 0$aLogic, Symbolic and mathematical. 615 0$aDatabase management. 615 0$aKnowledge, Theory of. 615 14$aLogic. 615 24$aMathematical Logic and Formal Languages. 615 24$aDatabase Management. 615 24$aEpistemology. 615 24$aMathematical Logic and Foundations. 676 $a153 700 $aHansson$b Sven Ove$4aut$4http://id.loc.gov/vocabulary/relators/aut$0767519 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910254293603321 996 $aDescriptor Revision$91562567 997 $aUNINA