Mendeley出力
＜図書＞
Reasoning about plans
| 責任表示 | James F. Allen ... [et al.] |
|---|---|
| シリーズ | The Morgan Kaufmann series in representation and reasoning |
| データ種別 | 図書 |
| 出版情報 | San Mateo, Calif. : Morgan Kaufmann , c1991 |
| 本文言語 | 英語 |
| 大きさ | xii, 300 p. : ill. ; 24 cm |
| 概要 | 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 plannin... 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. 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図 自動書庫 | 007.13/A 41 | 1991 |
|
068252193011551 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | Allen, James, 1950- |
| 件 名 | LCSH:Artificial intelligence LCSH:Reasoning LCSH:Problem solving LCSH:Planning |
| 分 類 | LCC:Q335 DC20:006.3 NDC8:007.1 |
| 書誌ID | 1001149241 |
| ISBN | 1558601376 |
| NCID | BA12897655 |
| 巻冊次 | ISBN:1558601376 ; PRICE:$39.95 |
| 登録日 | 2009.09.17 |
| 更新日 | 2009.09.17 |