Principles of knowledge representation and reasoning [electronic resource] : proceedings of the fourth international conference (KR'94) / edited by Jon Doyle, Erik Sandewall, Pietro Torasso.
Principles of Knowledge Representation and Reasoning.
Saved in:
| Online Access: |
Full Text (via ScienceDirect) |
|---|---|
| Corporate Author: | |
| Other Authors: | , , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
San Francisco, CA :
Morgan Kaufmann Publishers,
©1994.
|
| Series: | Morgan Kaufmann series in representation and reasoning.
|
| Subjects: |
Table of Contents:
- Front Cover; Principles of Knowledge Representation and Reasoning; Copyright Page; Table of Contents; Preface; Acknowledgments; Part I: Contributed Papers; Chapter 1. A Computational Account for a Description Logic of Time and Action; Abstract; 1 INTRODUCTION; 2 THE TEMPORAL LANGUAGE; 3 ACTIONS AND PLANS; 4 THE CALCULUS; 5 CONCLUSIONS; Acknowledgments; References; Chapter 2. Proofs in context; Abstract; 1 INTRODUCTION; 2 DIFFICULTIES WITH PROOFS IN CONTEXT; 3 A METHOD FOR PROOFS IN CONTEXT; 4 A PROOF METHOD AND NOTATION; 5 CONCLUSIONS; Acknowledgments; References; A APPENDIX.
- Chapter 3. An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental StatesAbstract; 1 INTRODUCTION; 2 METAPHORS OF MIND; 3 SKETCH OF REASONING; 4 REPRESENTATION SCHEME; 5 REASONING BASICS; 6 BELIEF REASONING; 7 METAPHORICAL REASONING; 8 CONCLUSION; Acknowledgements; References; Chapter 4. Reasoning with minimal models: Efficient algorithms and applications; Abstract; 1 Introduction; 2 The elimination algorithm for HCF theories; 3 The elimination algorithm forfirst-order HCF theories; 4 Applications of the elimination algorithm.
- 5 Expressive power of stratified knowledgebases6 Related work; 7 Conclusion; Appendix; Acknowledgments; References; Chapter 5. Spatial Reasoning with Propositional Logics; Abstract; 1 INTRODUCTION; 2 TOPOLOGICAL INTERPRETATION OF PROPOSITIONAL LOGIC; 3 DEFINING TOPOLOGICAL RELATIONS; 4 REASONING WITH Co+; 5 MORE EXPRESSIVENESS WITH INTUITIONISTIC LOGIC; 6 IMPLEMENTATION OF A20+ REASONING SYSTEM; 7 EXTENDING THE REPRESENTATION; 8 CONCLUSIONS; Acknowledgements; References; Chapter 6. On the Relation Between Default and Modal Consequence Relations; Abstract; 1 INTRODUCTION.
- 2 DEFAULT CONSEQUENCE RELATIONS3 MODAL DEFAULT CONSEQUENCE RELATIONS; 4 REDUCTIONS AND EMBEDDINGS; 5 CONCLUSIONS; References; Chapter 7. Toward a Logic for Qualitative Decision Theory; Abstract; 1 Introduction; 2 Conditional Preferences; 3 Default Knowledge; 4 Ability and Incomplete Knowledge; 5 Concluding Remarks; References; Acknowledgements; Chapter 8. Belief Ascription and Mental-level Modelling; Abstract; 1 INTRODUCTION; 2 THE FRAMEWORK; 3 ASCRIBING BELIEF; 4 CHOOSING AMONG BELIEF ASSIGNMENTS; 5 ADDING TIME; 6 BELIEF CHANGE; 7 EXISTENCE
- GOAL SEEKING AGENTS; 8 DISCUSSION.
- AcknowledgementReferences; Chapter 9. Default Logic as a Query Language; Abstract; 1 INTRODUCTION; 2 DEFINITION OF DQL; 3 EXPRESSIVE POWER OF DQL; 4 APPLICATIONS AND EXAMPLES; 5 COMBINED COMPLEXITY OF DQL; 6 CONCLUSIONS; APPENDIX; Acknowledgements; References; Chapter 10. A Unified Framework for Class-Based Representation Formalisms; Abstract; 1 INTRODUCTION; 2 A UNIFYING CLASS-BASED REPRESENTATION LANGUAGE; 3 REASONING IN UNRESTRICTED MODELS; 4 REASONING IN FINITE MODELS; 5 CONCLUSIONS; Acknowledgements; References.