Eylem Seç
Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994)
Başlık:
Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994)
Yazar:
Conference on Theoretical Aspects of Reasoning about Knowledge (5th : 1994 : Pacific Grove, Calif.)
ISBN:
9781483214535
Yayın Bilgileri:
San Francisco, Calif. : Morgan Kaufmann, ©1994.
Fiziksel Tanımlama:
1 online resource (340 pages) : illustrations
Genel Not:
"Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge, 1994, Pacific Grove, California, March 13 - 16, 1994."
İçerik:
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?
Özet:
Theoretical Aspects of Reasoning About Knowledge.
Added Author:
Tüzel Kişi Ek Girişi:
Başlık Ek Girişi:
Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge.
Elektronik Erişim:
ScienceDirect http://www.sciencedirect.com/science/book/9781483214535Mevcut:*
Yer Numarası | Demirbaş Numarası | Shelf Location | Lokasyon / Statüsü / İade Tarihi |
---|---|---|---|
Q334 .C68 1994 | 1184186-1001 | Elsevier E-Kitap Koleksiyonu | Arıyor... |
On Order
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
:
Select An Item
Data usage warning: You will receive one text message for each title you selected.
Standard text messaging rates apply.