ガットマン

ガットマン法、またはR.コルジュク法

人工知能を作成するための最も興味深い試みの 1 つは、博士号または修士号レベルの数学の問題を解決できるコンピューター プログラムの作成でした。

有名な数学者ロバート・コルジュクは、1962 年にグトマノビッチと呼ばれるプログラムを提案しました。そのアイデアは、あらゆる数学的問題を解決する (試行錯誤に似た) コンピューター プログラムを作成することでした。このアプローチの利点は、問題を解決するには、既製のサンプルを多数選択し、最も単純なものから始めて、徐々に複雑なものに移行する必要があることです。

1998 年 3 月 22 日、コルジュクはグットマン法の概念を発表しました。彼によれば、これは連想知識のレベルで使用されなければなりません。アイデアは、既製のソリューションを選択し、必要に応じて、望ましい結果が得られるまで入力変数のセットを調整することです。開発はいくつかの段階で構成されています。既知のソリューションのセットを準備します。後続のフェーズでは、中間結果の分析、および入力パラメータの変更が必要な場合に使用します。 Korzyuk 氏によると、そのようなプログラムを作成するのは困難な作業であるにもかかわらず、