Reasoning about plans
This book presents four contributions to planning research within an integrated framework. James Allen offers a survey of his research in the field of temporal reasoning, and then describes a planning system formalized and implemented directly as an inference process in the temporal logic. Starti...
| Otros Autores: | , |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
San Mateo, California :
Morgan Kaufmann Publishers, Inc
1991.
|
| Edición: | 1st edition |
| Colección: | Morgan Kaufmann series in representation and reasoning.
|
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009627017306719 |
| Sumario: | This book presents four contributions to planning research within an integrated framework. James Allen offers a survey of his research in the field of temporal reasoning, and then describes a planning system formalized and implemented directly as an inference process in the temporal logic. Starting from the same logic, Henry Kautz develops the first formal specification of the plan recognition process and develops a powerful family of algorithms for plan recognition in complex situations. Richard Pelavin then extends the temporal logic with model operators that allow the representation to |
|---|---|
| Notas: | Description based upon print version of record. |
| Descripción Física: | 1 online resource (317 p.) |
| Bibliografía: | Includes bibliographical references and index. |
| ISBN: | 9781483295961 |
