---

＜電子ブック＞
Descriptor Revision : Belief Change through Direct Choice / by Sven Ove Hansson
(Trends in Logic, Studia Logica Library. ISSN:22127313 ; 46)

版	1st ed. 2017.
出版者	(Cham : Springer International Publishing : Imprint: Springer)
出版年	2017
大きさ	XVIII, 239 p. 18 illus : online resource
著者標目	*Hansson, Sven Ove author SpringerLink (Online service)
件　名	LCSH:Logic LCSH:Machine theory LCSH:Database management LCSH:Knowledge, Theory of LCSH:Mathematical logic FREE:Logic FREE:Formal Languages and Automata Theory FREE:Database Management FREE:Epistemology FREE:Mathematical Logic and Foundations
一般注記	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 HTTP:URL=https://doi.org/10.1007/978-3-319-53061-1

 類似資料