Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994) /

Theoretical Aspects of Reasoning About Knowledge.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores Corporativos: Conference on Theoretical Aspects of Reasoning about Knowledge Pacific Grove, Calif., ACM Digital Library
Otros Autores: Fagin, Ronald
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: San Francisco, Calif. : Morgan Kaufmann, �1994.
Temas:
Artificial intelligence > Congresses.
Knowledge, Theory of > Congresses.
Logic, Symbolic and mathematical > Congresses.
Intelligence artificielle > Congr�es.
Th�eorie de la connaissance > Congr�es.
Logique symbolique et math�ematique > Congr�es.
COMPUTERS > General.
Artificial intelligence
Knowledge, Theory of
Logic, Symbolic and mathematical
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congr�es.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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?

Ejemplares similares