Reasoning About Plans

James Allen, Henry Kautz, Richard Pelavin, Josh Tenenberg (Autoren)

Buch | Hardcover

300 Seiten

1991
Morgan Kaufmann Publishers In (Verlag)
978-1-55860-137-6 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

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.

By James Allen, Henry Kautz, Richard Pelavin and Josh Tenenberg

Temporal Reasoning and Planning
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

Erscheint lt. Verlag	1.9.1991
Verlagsort	San Francisco
Sprache	englisch
Gewicht	590 g
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
ISBN-10	1-55860-137-6 / 1558601376
ISBN-13	978-1-55860-137-6 / 9781558601376
Zustand	Neuware