Reasoning about actions and plans : proceedings of the 1986 workshop : June 30-July 2, 1986, Timberline, Oregon /

Reasoning About Actions & Plans.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores Corporativos: American Association for Artificial Intelligence, Center for the Study of Language and Information (U.S.)
Otros Autores: Georgeff, Michael P., 1946-, Lansky, Amy L., 1955-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Los Altos, Calif. : M. Kaufmann Publishers, �1987.
Temas:
Artificial intelligence > Congresses.
Problem solving > Congresses.
Intelligence artificielle > Congr�es.
R�esolution de probl�eme > Congr�es.
Artificial intelligence.
Problem solving.
K�unstliche Intelligenz
Planungsverfahren
Probleml�osen
Kunstmatige intelligentie.
Congress
Conference papers and proceedings.
Actes de congr�es.
Kongress.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Front Cover; Reasoning About Actions & Plans; Copyright Page; Table of Contents; Foreword; Chapter 1. On the Semantics of STRIPS; Abstract; 1. Introduction; 2. Operators and Plans; 3. Semantics: A First Attempt; 4. Non-Atomic Formulas in World Models; 5� The General Semantics of STRIPS; Acknowledgements; References; Chapter 2. A Theory of Plans; ABSTRACT; 1. INTRODUCTION; 2. THE TROUBLE WITH SITUATIOAL LOGIC; 3. PLAN THEORY; 4. THE PLAN
  • THEORY DEDUCTIVE SYSTEM; 5. FORMATION OF CONDITIONALS; 6. FORMATION OF RECURSION; 7. DISCUSSION; ACKNOWLEDGMENTS; REFERENCES
  • Chapter 3. Formulating Multiagent, Dynamic-World Problems in the Classical Planning FrameworkABSTRACT; 1. INTRODUCTION; 2. DEFINING THE CLASSICAL PLANNING PROBLEMS; 3. THE ONTOLOGY OF ACTIONS IN CLASSICAL PLANNING; 4. DESCRIBING STATES AND ACTIONS; 5. EXAMPLES; 6. SUMMARY; Acknowledgments; References; Chapter 4. What is the Frame Problem?; Abstract; 1 A specific prediction task; 2 The problems of qualification and extended prediction, and their relation to the frame problem; 3 Summary; Bibliography; Chapter 5. Actions, Processes, and Causality; ABSTRACT; Introduction; Actions and Events
  • IndependenceInterference; Causality; Events as Behaviors; Processes; The Frame Problem; Conclusions; Acknowledgments; References; Chapter 6. A Representation of Parallel Activity Based on Events, Structure, and Causality; ABSTRACT; Introduction; Motivation and Background; Other Approaches; GEM: An Informal View; Domain Model; World Executions: Histories and History Sequences; Constraint Semantics; Domain Specifications; Prerequisite Constraints; Nonatomic Events and Hierarchical Description; State Description; Add/Delete Axioms; The Frame Problem; Conclusion; Acknowledgments; References
  • Chapter 7. Branching Regular Expressions and Multi-Agent PlansABSTRACT; SYNCHRONIZING PLANS; RPTL: A LOGIC FOR PLANS; PLANS AND THE LINEAR WORLD VIEW; AN ALTERNATIVE VIEW OF PLANS; SYNCHRONIZING BRANCHING TIME PLANS; BRANCHING REGULAR EXPRESSIONS; BRANCHING AUTOMATA AND PLAN EXECUTION; DECIDING RBL; WHERE DO WE GO FROM HERE?; Acknowledgements; References; Chapter 8. A Representation of Action and Belief for Automatic Planning Systems; ABSTRACT; 1. Introduction; 2. A problem: planning to sense; 3. Another problem: no iteration with procedural nets; 4. A new representation; 5. Two examples
  • 6. A brief discussion and conclusionACKNOWLEDGEMENTS; REFERENCES; Chapter 9. Possible Worlds Planning; Abstract; 1 Introduction; 2 A blocks world example; 3 Possible worlds; 4 Possible worlds and planning; 5 Comparison with existing work; 6 Implementation; 7 Conclusion; Acknowledgement; References; Chapter 10. Intractability and Time-Dependent Planning; ABSTRACT; 1 Introduction; 2 Global Decisions and Robot Problem Solving; 3 Reasoning about Time; 4 A Domain for Exploring Planning Issues; 5 Activity Streams; 6 Task Accommodation Strategies; 7 Choosing Between Strategies

Ejemplares similares