文献

J-GLOBAL ID：201602007478522861   整理番号：72A0261830

STRIPS 問題解決への定理証明の応用に対する新しい接近

STRIPS: A new approach to the application of theorem proving to problem solving

著者 (2件)： FIKES R E ,  NILSSON N J
資料名： Artif Intell  (Artificial Intelligence)
巻： 2  号： 3/4  ページ： 189-208  発行年： 1971年 
JST資料番号： E0180C  ISSN： 0004-3702  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 導出原理にもとつく定理証明プログラムと手段一目標解析を用いて,ロポットの動作決定などの変化する状況を扱かう問題を解くシステムSTRIPSを開発した。世界のモデルが述語論理式の集合として定義され,初期の世界モデルと目標とする条件式が与えられる。オペレータは世界モデル中の論理式を消去したり,付加したりして世界モデルを変化させてゆく。GPSで用いられた手段一目標解析を利用して,目標を達成するオペレータ列を見出す方法を述べる。その過程でオペレータの適用可能性の判定および計算に導出原理が用いられる。従来よりも困難なロポットの仕事手順を決定するのに成功した;写図3表2参11

シソーラス用語： プログラミングシステム ,  計算機プログラム ,  述語論理 ,  問題解決
準シソーラス用語： ロブット ,  人工頭脳 ,  定理証明

タイトルに関連する用語 (4件)： 問題解決 ,  定理証明 ,  応用 ,  接近