Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994) /
Theoretical Aspects of Reasoning About Knowledge.
Call Number: | Libro Electrónico |
---|---|
Corporate Authors: | , |
Other Authors: | |
Format: | Electronic Conference Proceeding eBook |
Language: | Inglés |
Published: |
San Francisco, Calif. :
Morgan Kaufmann,
�1994.
|
Subjects: | |
Online Access: | Texto completo |
Table of Contents:
- Front Cover; Theoretical Aspects of Reasoning About Knowledge; Copyright Page; Table of Contents; Preface; Chapter 1. Knowledge, Action, and Ability in the Situation Calculus: Extended Abstract; References; Chapter 2. On the Logic of Iterated Belief Revision; 1 Introduction; 2 Belief Revision; 3 Minimizing Changes in Conditional Beliefs; 4 Augmenting the AGM Postulates; 5 The Soundness of Postulates (C1)-(C4); 6 Legitimate Changes in Conditional Beliefs; 7 Future Work; Conclusion; Acknowledgments; A Concrete Examples; B Proofs; References; Chapter 3. Backwards Forward Induction.
- 1 Introduction2 An Example; 3 The Theory; 4 Towards a Complete Theory; References; Chapter 4. A Knowledge-Based Framework for Belief Change, Part I: Foundations; 1 Introduction; 2 Knowledge and plausibility; 3 Knowledge and plausibility in multi-agent systems; 4 Prior plausibilities; 5 Conclusion; Acknowledgements; A Axiomatizing knowledge and plausibility; B Ranked plausibility spaces and nonstandard approaches to probability; References; Chapter 5. Information acquisition from multi-agent resources; 1 Introduction; 2 Combining information from multiple agents; the triviality result.
- 3 Logic of belief dependence4 Information acquisition in a belief dependence framework; 5 Almost safety; 6 Almost Safety on Belief Maintenance Operation; 7 Conclusions; References; Chapter 6. Consistent Belief Reasoning in the Presence of Inconsistency; Abstract; 1 Introduction; 2 The Basic Part of the Logic; 3 The Semantics of Bc and B; 4 Properties of Bc and B; 5 A Complete Axiomatization; 6 Applications; 7 Conclusion; Appendix: the Proof of Soundness; References; Chapter 7. Infinitary Epistemic Logic; ABSTRACT; 1. Introduction; 2. Language, Axioms, Models; 3. Syntax versus Semantics.
- 4. Universal Partition Spaces5. Proofs of the Theorems; References; Chapter 8. An Epistemic Logic of Situations (Extended Abstract); 1 Common Knowledge; 2 Three Grades of Epistemic Involvement; 3 The Language and Semantics; 4 The Logic; 5 Metalogic; 6 Adding Knowledge of Situations to the Logic; 7 Conclusion; References; Chapter 9. Actual Truth, Possible Knowledge; 1. Introduction; 2. Paradox Regained; 3. Paradox Lost- Two-Dimensional Framework; References; Chapter 10. Infinitely Many Resolutions of Hempel's Paradox; 1 Introduction; 2 Bayesian Preliminaries; 3 Hempel'sParadox.
- 4 Bayesian Analyses of the Paradox5 Remarks; 6 What Went Wrong with Hempel?; 7 Conclusion; Notes; References; Chapter 11. Rationality in the Centipede; Abstract; 1 Introduction; 2 Prior Common Knowledge of Rationality; 3 Conclusion; References; Chapter 12. Revising Knowledge: A Hierarchical Approach; Introduction; Problems with the standard model; An axiomatic derivation of knowledge from preferences; A hierarchical approach to preferences and knowledge; REFERENCES; Chapter 13. Case-Based Decision Theory and Knowledge Representation; 1. What Is There to Know?