階層的問題解決システムにおける抽象階層の決定方法
スポンサーリンク
概要
- 論文の詳細を見る
In this paper, we describe techniques to improve efficiency of problem solving systems. Abstraction has been expected to be one of the most applicable method for that purpose. ABSTRIPS is a typical problem solver which introduces the idea of abstraction into STRIPS. It solves a problem hierarchically by considering relative importance of operator's preconditions. That is, firstly ABSTRIPS solves the problem in the most abstract space, and then it successively embodies the answer. We have to assign critical values to all preconditions before abstract problem solving. These values are used to define abstraction hierarchy. Some heuristics are proposed to assign them. However we can not expect fully automatic assigning, that is, user assistance is required. We propose new method to assign the critical values automatically. This method consists of following four stages: (1) generating operator taxonomic hierarchies from a set of primitive operators. In this case, two operators which share one or more literals on their add lists are allocated in the same hierarchy. (2) assigning provisional critical values to operator's preconditions according to their locations in the hierarchy. (3) analyzing difficulty of achieving each precondition, and (4) determining final critical values by considering both provisional values and difficulty. We have been implemented ABSTRIPS-like problem solver to show the effectiveness of our method. Final part of this paper, we investigate the exprimental results and identify some problems to be solved in the future works.
- 社団法人人工知能学会の論文
- 1991-09-01
著者
関連論文
- 仕様記述過程モデル化のための実験と分析
- 時相論理とその応用 (<特集>非標準論理とその応用)
- 時制論理に基づく仕様記述とそのデバッグ環境
- 並列プログラムの知的プログラミング支援システムMENDELS(1) : システム構成
- ライフサイクル計画方法論の構築(第2報) : 製品ライフサイクル計画手法の提案
- 株データからの命題獲得
- 推論ツールKINOの開発
- 仕様獲得と知識獲得 1.仕様獲得 vs. 知識獲得 (<特集>仕様獲得と知識獲得)
- 階層的問題解決システムにおける抽象階層の決定方法
- 仕様獲得支援システム:K-SCORE(3) : 仕様精錬部の構成とその機能
- 仕様獲得支援システム:K-SCORE(2) : 仕様構成部の構成とその機能
- 仕様獲得支援システム:K-SCORE(1) : システム概要と仕様実行部
- 仕様獲得支援システムの開発 : 仕様デバッガの試作
- 89-31 自動計画生成におけるインヘリタンス
- 89-8 計画と解釈のデバッグ理論
- 複数ビューに基づくシステム仕様化過程の分析
- 情報システムの企画・計画技術
- Knuth-Bendix完備化手続きにおける等式選択の戦略について
- 89-28 効率的時間推論
- 87-36 条件付き論理にもとづく暗黙推論の試み
- 時制論理とペトリネット(AIの推論とOR)
- 制御ソフトウェア開発のための参照モデル
- 参照モデルに基づくオブジェクト指向フレームワーク開発手法
- オブジェクト指向によるエアコン制御シミュレータの開発 ( インターネットによるソフトウェア開発環境および一般)
- 優先度つき状態遷移図における経路評価
- 複合ビューポイントに基づく仕様化プロセスの分析