| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990000899190403321 |
|
|
Autore |
Carey, Graham F. |
|
|
Titolo |
Vol.II |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Englewood Cliff New Jersey : Prentice Hall, 1983 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910254293603321 |
|
|
Autore |
Hansson Sven Ove |
|
|
Titolo |
Descriptor Revision : Belief Change through Direct Choice / / by Sven Ove Hansson |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVIII, 239 p. 18 illus.) |
|
|
|
|
|
|
Collana |
|
Trends in Logic, Studia Logica Library, , 1572-6126 ; ; 46 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic |
Logic, Symbolic and mathematical |
Database management |
Knowledge, Theory of |
Mathematical Logic and Formal Languages |
Database Management |
Epistemology |
Mathematical Logic and Foundations |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
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. |
|
|
|
|
|
|
|
| |