Changes of mind : an essay on rational belief revision
著者
書誌事項
Changes of mind : an essay on rational belief revision
Oxford University Press, 2012
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 335-340) and index
内容説明・目次
内容説明
This is the first logically precise, computationally implementable, book-length account of rational belief revision. It explains how a rational agent ought to proceed when adopting a new belief - a difficult matter if the new belief contradicts the agent's old beliefs.
Belief systems are modeled as finite dependency networks. So one can attend not only to what the agent believes, but also to the variety of reasons the agent has for so believing. The computational complexity of the revision problem is characterized. Algorithms for belief revision are formulated, and implemented in Prolog. The implementation tests well on a range of simple belief-revision problems that pose a variety of challenges for any account of belief revision.
The notion of 'minimal mutilation' of a belief system is explicated precisely for situations when the agent is faced with conflicting beliefs. The proposed revision methods are invariant across different global justificatory structures (foundationalist, coherentist, etc.). They respect the intuition that, when revising one's beliefs, one should not hold on to any belief that has lost all its former justifications. The limitation to finite dependency networks is shown not to compromise
theoretical generality.
This account affords a novel way to argue that there is an inviolable core of logical principles. These principles, which form the system of Core Logic, cannot be given up, on pain of not being able to carry out the reasoning involved in rationally revising beliefs.
The book ends by comparing and contrasting the new account with some major representatives of earlier alternative approaches, from the fields of formal epistemology, artificial intelligence and mathematical logic.
目次
- 1. Introduction
- PART I: COMPUTATIONAL CONSIDERATIONS
- 2. Computing Changes in Belief
- 3. Global Conditions on Contraction
- 4. A Formal Theory of Contraction
- 5. Specification of a Contraction Algorithm
- 6. A Prolog Program for Contraction
- 7. Results of Running our Program for Contraction
- PART II: LOGICAL AND PHILOSOPHICAL CONSIDERATIONS
- 8. Core Logic is the Inviolable Core of Logic
- 9. The Finitary Predicament
- 10. Mathematical Justifications are Not Infinitely Various
- PART III: COMPARISONS
- 11. Differences with Other Formal Theories
- 12. Connections with Various Epistemological Accounts
「Nielsen BookData」 より