Cargando…
Tabla de Contenidos:
  • Front Cover; The Frame Problem in Artificial Intelligence; Copyright Page; Table of Contents; INTRODUCTION; 1. DEFINITION OF THE FRAME PROBLEM; 2. CIRCUMSCRIPTION APPROACHES AND CRITICISMS; 3. MODAL LOGIC APPROACHES; 4. SYNTACTIC CONSISTENCY APPROACHES; 5. CHOOSING BETWEEN COMPETING EXTENSIONS; 6. PRAGMATIC APPROACHES; BIBLIOGRAPHY; PART I: DEFINITION OF THE FRAME PROBLEM; Chapter 1. The Frame Problem Today; Chapter 2. What is the frame problem?; 1 A specific prediction task; 2 The problems of qualification and extended prediction, and their relation to the frame problem; 3 Summary
  • Actions and EventsIndependence; Causality; The Yale Shooting Problem; Circumscribing Causality; Other Agents; Specifying Independence; Conclusions; Acknowledgments; References; CHAPTER 8. THE LOGIC OF FRAMES WITH EXCEPTIONS; 1) INTRODUCTION; 2) THE FRAME LANGUAGE; 3) THE MEANING QF THE FRAME LANGUAGE; 4) EXAMPLE; 5) AMBIGUITIES; 6) FUTURE WORK AND CONCLUSION; Acknowledgements; References; Chapter 9. A Note on Non-Monotonic Reasoning; 1. Monotonicity and non-monotonicity; 2. Partial inductive definitions of finite type; 3. A derivable default-rule; 4. The example of Hanks and McDermott
  • 5. A situation calculusReferences; Chapter 10. AI, Logic, and the Frame Problem; 1 Introduction; 2 Inertia Versus Ramification; 3 Inertia and Nonmonotonicity; 4 Is Logic the Solution or the Problem?; References; PART III: MODAL LOGIC APPROACHES; CHAPTER 11. ACTION THEORY AND THE FRAME PROBLEM; ABSTRACT; I. INTRODUCTION; 2. THE LOGICAL THEORY ZK; 3. SOUNDNESS AND COMPLETENESS OF ZK; 4. ACTION MODELS; 5. RELATED RESEARCH: NONMONOTONIC THEORIES; 6. CONCLUSION; REFERENCES; CHAPTER 12. A MODAL LOGIC FOR THE REPRESENTATION OF KNOWLEDGE; 1. INTRODUCTION; 2. SYNTAX; 3. THE DEDUCTIVE THEORY
  • 4. EXTENSIONAL SEMANTICS5. CONCLUSION; ACKNOWLEDGMENTS; REFERENCES; CHAPTER 13. ACTION, REFLECTIVE POSSIBILITY, AND THE FRAME PROBLEM; 1. INTRODUCTION; 2. REFLECTIVE POSSIBILITY AND THE PERSISTENCE PROBLEM; 3. THE FRAME PROBLEM AND MULTIPLE SOLUTIONS; 4. SEQUENTIAL ACTION-FRAME AXIOM; CONCLUSION; APPENDIX; Acknowledgements; References; CHAPTER 14. DOUBTING THOMAS: ACTION AND BELIEF REVISION; 1. INTRODUCTION; 2. Modal Logic Z; 3. Static Belief Theory; 4. Actions and the Frame Axiom; 5. Dynamic Belief Theory; 6. An Example: Doubting Thomas Problem; 7. Conclusions; ACKNOWLEDGEMENTS; REFERENCES