General_Problem_Solver
[Wikipedia|▼Menu]
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom:1px solid #a2a9b1;font-size:90%}

この項目では、サイモンとニューウェルが開発した問題解決プログラムについて説明しています。クヌースとMernerが示した名前呼びを利用した手続きについては「en:Jensen's Device」をご覧ください。

General Problem Solver(GPS)とは、1957年ハーバート・サイモンアレン・ニューウェルが開発した、汎用の問題解決のためのプログラムである。GPS は任意の形式化された記号問題を解くことができる。例えば、定理証明、幾何学問題、チェスのプレイなどである。これは、サイモンとニューウェルの論理機械に関する理論研究に基づいていた。GPSは、正しく形式化されていさえすればハノイの塔も解くことが可能だったが、実世界の問題を解くことはできなかった。

ユーザーはオブジェクトとそのオブジェクトに関する操作を定義し、GPSは手段目標分析によって問題解決のためのヒューリスティックスを生成する。それは使用可能な操作に注目し、受容される入力と、その結果生成される出力を見つけ出す。次に目標に近づくためのサブゴールを生成していく。

GPSの方法論は後に Soar へと発展した。



参考文献

Newell, A.; Shaw, J.C.; Simon, H.A. (1959年). Report on a general problem-solving program. Proceedings of the International Conference on Information Processing. pp. 256-264.

Newell, A. (1963年). A guide to the general problem-solver program GPS-2-2. RAND Corporation, Santa Monica, California. Technical Report No. RM-3337-PR.

Ernst, G.W. and Newell, A. (1969年). GPS: a case study in generality and problem solving. Academic Press. (revised version of Ernst's 1966 dissertation, Carnegie Institute of Technology.)


記事の検索
おまかせリスト
▼オプションを表示
ブックマーク登録
mixiチェック!
Twitterに投稿
オプション/リンク一覧
話題のニュース
列車運行情報
暇つぶしWikipedia

Size:2848 Bytes
出典: フリー百科事典『ウィキペディア(Wikipedia)
担当:undef