| 講演名 | 1997/5/22 矛盾検査方式に基づいたプランニングアルゴリズムについて : UNIXコマンドヘルプシステムへの適用 伊藤 紘二, 伊丹 誠, 池田 泰久, 國吉 伸一郎, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿では、UNIXコマンドの学習者に、夕スクを表現する事例を入力させ、これに基づいて初期状態と最終状態を推定し、この間の推移を実現するコマンドやパイプの系列の提案を行なうヘルプシステムを提案する。このプランニングの問題に対し、システムは、後向き探索方式において、仮のゴール集合のあるゴールを満たす操作について、非充足ゴールを遡らせ、過充足ゴールを、既に辿られた時間コマに伝搬するが、この両方の処理に際して、矛盾を検出したらバックトラッキングにはいることで効率をよくすることができること、簡単な場合でさえ、ゴールを知識を使って別のゴールの組合せに変換することが不可欠であり得ることを示している。 |
| 抄録(英) | This paper proposes a UNIX command help system which allows the novice to specify the task he intends by way of samples, infers on the focused initial and the required final states, searches and proposes possible sequences of commands and pipes as operators. The system employs a backward operator search algorithm in which, when an operator is found to satisfy a goal in an intermediate goal set, unsatisfied goals are regressed and excess goals are propagated along the sofar assumed backward state transitions. The algorithm the paper describes demonstrates that backtracking due to conflict test in regression and execss goal propagation contributes to efficiency of search and a goal transformation may be indispensable even for usual situations. |
| キーワード(和) | UNIXコマンド / ヘルプシステム / プランニング / 後向き探索 / 矛盾検査 / ゴール変換 |
| キーワード(英) | UNIX commands / help system / planning / backward search / conflict testing / goal transformation |
| 資料番号 | AI97-5 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 1997/5/22(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 矛盾検査方式に基づいたプランニングアルゴリズムについて : UNIXコマンドヘルプシステムへの適用 |
| サブタイトル（和） | |
| タイトル（英） | On a Planning Algorithm Based on Conflict Testing : Apllication to a UNIX Command Help System |
| サブタイトル（和） | |
| キーワード(1)（和/英） | UNIXコマンド / UNIX commands |
| キーワード(2)（和/英） | ヘルプシステム / help system |
| キーワード(3)（和/英） | プランニング / planning |
| キーワード(4)（和/英） | 後向き探索 / backward search |
| キーワード(5)（和/英） | 矛盾検査 / conflict testing |
| キーワード(6)（和/英） | ゴール変換 / goal transformation |
| 第 1 著者 氏名（和/英） | 伊藤 紘二 / Kohji Itoh |
| 第 1 著者 所属（和/英） | 東京理科大学 基礎工学部 Department of Applied Electronics, Science University of Tokyo |
| 第 2 著者 氏名（和/英） | 伊丹 誠 / Makoto Itami |
| 第 2 著者 所属（和/英） | 東京理科大学 基礎工学部 Department of Applied Electronics, Science University of Tokyo |
| 第 3 著者 氏名（和/英） | 池田 泰久 / Yasuhisa Ikeda |
| 第 3 著者 所属（和/英） | 東京理科大学 基礎工学部 Department of Applied Electronics, Science University of Tokyo |
| 第 4 著者 氏名（和/英） | 國吉 伸一郎 / Shin-ichiro Kuniyoshi |
| 第 4 著者 所属（和/英） | 東京理科大学 基礎工学部 Department of Applied Electronics, Science University of Tokyo |
| 発表年月日 | 1997/5/22 |
| 資料番号 | AI97-5 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 63 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |