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...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
San Mateo, Calif. :
Morgan Kaufmann,
�1991.
|
| Colección: | Morgan Kaufmann series in representation and reasoning.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn645791272 | ||
| 003 | OCoLC | ||
| 005 | 20231117033204.0 | ||
| 006 | m o d | ||
| 007 | cr bn||||||abp | ||
| 007 | cr bn||||||ada | ||
| 008 | 100702s1991 caua ob 001 0 eng d | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCQ |d OCLCF |d OCLCO |d OPELS |d EBLCP |d IDEBK |d N$T |d E7B |d YDXCP |d DEBSZ |d OCLCQ |d MERUC |d OCLCQ |d OCLCO |d OCLCA |d OCLCQ |d LUN |d UAB |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 637054540 |a 897647134 |a 961594231 |a 974614852 |a 974669404 |a 1179128667 |a 1184509351 |a 1224212745 | ||
| 020 | |a 1558601376 |q (electronic bk.) | ||
| 020 | |a 9781558601376 |q (electronic bk.) | ||
| 020 | |a 9781483295961 | ||
| 020 | |a 1483295966 | ||
| 035 | |a (OCoLC)645791272 |z (OCoLC)637054540 |z (OCoLC)897647134 |z (OCoLC)961594231 |z (OCoLC)974614852 |z (OCoLC)974669404 |z (OCoLC)1179128667 |z (OCoLC)1184509351 |z (OCoLC)1224212745 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a Q335 |b .R45 1991 | |
| 082 | 0 | 4 | |a 006.3 |2 20 |
| 084 | |a 54.72 |2 bcl | ||
| 245 | 0 | 0 | |a Reasoning about plans / |c James F. Allen [and others]. |
| 260 | |a San Mateo, Calif. : |b Morgan Kaufmann, |c �1991. | ||
| 300 | |a 1 online resource (xii, 300 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 | ||
| 490 | 1 | |a The Morgan Kaufmann series in representation and reasoning, |x 1046-9567 | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Temporal reasoning and planning / James F. Allen -- A formal theory of plan recognition and its implementation / Henry A. Kautz --Planning with simultaneous actions and external events / Richard N. Pelavin -- Abstraction in planning / Josh D. Tenenberg. | |
| 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 | |
| 588 | 0 | |a Print version record. | |
| 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. | ||
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Reasoning. | |
| 650 | 0 | |a Problem solving. | |
| 650 | 0 | |a Planning. | |
| 650 | 2 | |a Artificial Intelligence |0 (DNLM)D001185 | |
| 650 | 2 | |a Problem Solving |0 (DNLM)D011340 | |
| 650 | 6 | |a Intelligence artificielle. |0 (CaQQLa)201-0008626 | |
| 650 | 6 | |a R�esolution de probl�eme. |0 (CaQQLa)201-0007582 | |
| 650 | 6 | |a Planification. |0 (CaQQLa)201-0047540 | |
| 650 | 6 | |a Raisonnement. |0 (CaQQLa)201-0005918 | |
| 650 | 7 | |a artificial intelligence. |2 aat |0 (CStmoGRI)aat300251574 | |
| 650 | 7 | |a scheduling. |2 aat |0 (CStmoGRI)aat300069924 | |
| 650 | 7 | |a planning. |2 aat |0 (CStmoGRI)aat300054425 | |
| 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 | |
| 650 | 7 | |a Denken |2 gnd |0 (DE-588)4011450-8 | |
| 650 | 7 | |a K�unstliche Intelligenz |2 gnd |0 (DE-588)4033447-8 | |
| 650 | 7 | |a Planung |2 gnd |0 (DE-588)4046235-3 | |
| 650 | 7 | |a Probleml�osen |2 gnd |0 (DE-588)4076358-4 | |
| 700 | 1 | |a Allen, James, |d 1950- | |
| 776 | 0 | 8 | |i Print version: |t Reasoning about plans. |d San Mateo, Calif. : Morgan Kaufmann, �1991 |w (DLC) 91017369 |w (OCoLC)23767750 |
| 830 | 0 | |a Morgan Kaufmann series in representation and reasoning. |x 1046-9567 | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9781558601376 |z Texto completo |