Cargando…
Reasoning about actions and plans : proceedings of the 1986 workshop : June 30-July 2, 1986, Timberline, Oregon /
Reasoning About Actions & Plans.
| Clasificación: | Libro Electrónico |
|---|---|
| Autores Corporativos: | , |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Los Altos, Calif. :
M. Kaufmann Publishers,
�1987.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn301312099 | ||
| 003 | OCoLC | ||
| 005 | 20231117015212.0 | ||
| 006 | m o d | ||
| 007 | cr unu---uuaua | ||
| 008 | 090202s1987 caua ob 101 0 eng d | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCQ |d OPELS |d E7B |d OCLCQ |d OCLCF |d UIU |d OCLCO |d OCL |d OCLCO |d COO |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d YDX |d WYU |d OCLCO |d OCLCQ |d LEAUB |d OCLCQ |d VLY |d LUN |d VT2 |d UAB |d OCLCQ |d OCLCO |d COM |d OCLCO |d OCLCQ | ||
| 019 | |a 567946954 |a 1056178799 |a 1066455539 |a 1086562039 |a 1153002967 |a 1162302662 |a 1199524884 |a 1202565279 | ||
| 020 | |a 9780323141727 |q (e-book) | ||
| 020 | |a 0323141722 |q (e-book) | ||
| 020 | |z 9780934613309 | ||
| 020 | |z 0934613303 | ||
| 035 | |a (OCoLC)301312099 |z (OCoLC)567946954 |z (OCoLC)1056178799 |z (OCoLC)1066455539 |z (OCoLC)1086562039 |z (OCoLC)1153002967 |z (OCoLC)1162302662 |z (OCoLC)1199524884 |z (OCoLC)1202565279 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a Q334 |b .R42 1987 | |
| 082 | 0 | 4 | |a 006.3 |2 19 |
| 084 | |a 54.72 |2 bcl | ||
| 084 | |a ST 285 |2 rvk | ||
| 084 | |a DAT 708f |2 stub | ||
| 245 | 0 | 0 | |a Reasoning about actions and plans : |b proceedings of the 1986 workshop : June 30-July 2, 1986, Timberline, Oregon / |c edited by Michael P. Georgeff & Amy L. Lansky. |
| 260 | |a Los Altos, Calif. : |b M. Kaufmann Publishers, |c �1987. | ||
| 300 | |a 1 online resource (vi, 425 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 505 | 0 | |a 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 520 | |a Reasoning About Actions & Plans. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Artificial intelligence |v Congresses. | |
| 650 | 0 | |a Problem solving |v Congresses. | |
| 650 | 6 | |a Intelligence artificielle |0 (CaQQLa)201-0008626 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 6 | |a R�esolution de probl�eme |0 (CaQQLa)201-0007582 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 7 | |a Artificial intelligence. |2 fast |0 (OCoLC)fst00817247 | |
| 650 | 7 | |a Problem solving. |2 fast |0 (OCoLC)fst01077890 | |
| 650 | 7 | |a K�unstliche Intelligenz |2 gnd |0 (DE-588)4033447-8 | |
| 650 | 7 | |a Planungsverfahren |2 gnd |0 (DE-588)4367235-8 | |
| 650 | 7 | |a Probleml�osen |2 gnd |0 (DE-588)4076358-4 | |
| 650 | 1 | 7 | |a Kunstmatige intelligentie. |2 gtt |
| 655 | 2 | |a Congress |0 (DNLM)D016423 | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft | |
| 655 | 7 | |a Actes de congr�es. |2 rvmgf |0 (CaQQLa)RVMGF-000001049 | |
| 655 | 7 | |a Kongress. |2 swd | |
| 700 | 1 | |a Georgeff, Michael P., |d 1946- | |
| 700 | 1 | |a Lansky, Amy L., |d 1955- | |
| 710 | 2 | |a American Association for Artificial Intelligence. | |
| 710 | 2 | |a Center for the Study of Language and Information (U.S.) | |
| 776 | 0 | 8 | |i Print version: |t Reasoning about actions and plans. |d Los Altos, Calif. : M. Kaufmann Publishers, �1987 |z 0934613303 |z 9780934613309 |w (DLC) 86027748 |w (OCoLC)182872925 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780934613309 |z Texto completo |