TY - BOOK ID - 31261126 TI - Descriptor Revision : Belief Change through Direct Choice PY - 2017 SN - 3319530615 3319530607 9783319530604 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Philosophy. KW - Epistemology. KW - Logic. KW - Mathematical logic. KW - Database management. KW - Mathematical Logic and Formal Languages. KW - Database Management. KW - Mathematical Logic and Foundations. KW - Belief change. KW - Choice (Psychology) KW - Logic, Symbolic and mathematical. KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Psychology KW - Change (Psychology) KW - Decision making KW - Reasoning KW - Computer science. KW - Genetic epistemology. KW - Informatics KW - Science KW - Argumentation KW - Deduction (Logic) KW - Deductive logic KW - Dialectic (Logic) KW - Logic, Deductive KW - Intellect KW - Philosophy KW - Thought and thinking KW - Developmental psychology KW - Knowledge, Theory of KW - Data base management KW - Data services (Database management) KW - Database management services KW - DBMS (Computer science) KW - Generalized data management systems KW - Services, Database management KW - Systems, Database management KW - Systems, Generalized database management KW - Electronic data processing KW - Methodology KW - Epistemology KW - Theory of knowledge KW - Communication KW - Linguistics KW - Belief change UR - https://www.unicat.be/uniCat?func=search&query=sysid:31261126 AB - This 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. ER -