Cargando…
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. Starting...
| Autores principales: | , , , |
|---|---|
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Morgan Kaufmann,
2014.
|
| Edición: | 1st edition. |
| Temas: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
MARC
| LEADER | 00000cam a22000007a 4500 | ||
|---|---|---|---|
| 001 | OR_on1162607265 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||||||| | ||
| 008 | 200701s2014 xx o 000 0 eng | ||
| 040 | |a AU@ |b eng |c AU@ |d UAB |d OCLCO |d OCLCQ |d TOH |d OCLCQ | ||
| 020 | |z 9781483295961 | ||
| 020 | |z 9781558601376 | ||
| 024 | 8 | |a C20090276215 | |
| 024 | 8 | |a 9781483295961 | |
| 029 | 0 | |a AU@ |b 000067300987 | |
| 035 | |a (OCoLC)1162607265 | ||
| 082 | 0 | 4 | |a 006.3 |q OCoLC |2 20/eng/20230216 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Allen, James, |e author. | |
| 245 | 1 | 0 | |a Reasoning About Plans / |c Allen, James. |
| 250 | |a 1st edition. | ||
| 264 | 1 | |b Morgan Kaufmann, |c 2014. | |
| 300 | |a 1 online resource (300 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file | ||
| 520 | |a 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 support reasoning about complex planning situations involving simultaneous interacting actions, and interaction with external events. Finally, Josh Tenenberg introduces two different formalisms of abstraction in planning systems and explores the properties of these abstraction techniques in depth. | ||
| 542 | |f Copyright ©: Elsevier Science & Technology |g 1992 | ||
| 550 | |a Made available through: Safari, an O'Reilly Media Company. | ||
| 588 | |a Online resource; Title from title page (viewed June 28, 2014) | ||
| 590 | |a O'Reilly |b O'Reilly Online Learning: Academic/Public Library Edition | ||
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Planning. | |
| 650 | 0 | |a Problem solving. | |
| 650 | 0 | |a Reasoning. | |
| 650 | 2 | |a Artificial Intelligence | |
| 650 | 2 | |a Problem Solving | |
| 650 | 6 | |a Intelligence artificielle. | |
| 650 | 6 | |a Planification. | |
| 650 | 6 | |a Raisonnement. | |
| 650 | 6 | |a Résolution de problème. | |
| 650 | 7 | |a artificial intelligence. |2 aat | |
| 650 | 7 | |a scheduling. |2 aat | |
| 650 | 7 | |a planning. |2 aat | |
| 650 | 7 | |a Artificial intelligence. |2 fast |0 (OCoLC)fst00817247 | |
| 650 | 7 | |a Planning. |2 fast |0 (OCoLC)fst01065224 | |
| 650 | 7 | |a Problem solving. |2 fast |0 (OCoLC)fst01077890 | |
| 650 | 7 | |a Reasoning. |2 fast |0 (OCoLC)fst01091282 | |
| 700 | 1 | |a Kautz, Henry, |e author. | |
| 700 | 1 | |a Pelavin, Richard, |e author. | |
| 700 | 1 | |a Tenenberg, Josh, |e author. | |
| 710 | 2 | |a Safari, an O'Reilly Media Company. | |
| 856 | 4 | 0 | |u https://learning.oreilly.com/library/view/~/9781483295961/?ar |z Texto completo (Requiere registro previo con correo institucional) |
| 936 | |a BATCHLOAD | ||
| 994 | |a 92 |b IZTAP | ||