Vai al contenuto principale della pagina

Descriptor Revision : Belief Change through Direct Choice / / by Sven Ove Hansson



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Hansson Sven Ove Visualizza persona
Titolo: Descriptor Revision : Belief Change through Direct Choice / / by Sven Ove Hansson Visualizza cluster
Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Edizione: 1st ed. 2017.
Descrizione fisica: 1 online resource (XVIII, 239 p. 18 illus.)
Disciplina: 153
Soggetto topico: Logic
Logic, Symbolic and mathematical
Database management
Knowledge, Theory of
Mathematical Logic and Formal Languages
Database Management
Epistemology
Mathematical Logic and Foundations
Nota di bibliografia: Includes bibliographical references and index.
Sommario/riassunto: 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.
Titolo autorizzato: Descriptor Revision  Visualizza cluster
ISBN: 3-319-53061-5
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910254293603321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Trends in Logic, Studia Logica Library, . 1572-6126 ; ; 46