自動数学者（AM）は、人工知能における最も初期の成功した発見システムの一つである。1977年にダグラス・レナトによって作成され、短いLispプログラムを操作することで数学的概念を自律的に探索し生成するように設計された。AMは1977年にIJCAI計算機と思考賞を受賞し、人工知能と自動推論の分野におけるその重要性が認められた。
AMは、短いLispプログラムを生成および修正し、それを様々な数学的概念を定義するものとして解釈することで動作した。例えば、2つのリストの長さの等しさをテストするプログラムは数値の等しさの概念を表すと見なされ、2つの他のリストの長さの積である長さを持つリストを生成するプログラムは乗算の概念を表すと解釈された。このシステムは、問題解決における数学者の経験に基づいて、どのプログラムを拡張・修正するかを選択するための精巧なヒューリスティックスを採用していた。
アーキテクチャと制御フロー
レナトはAMを、数百の「概念」と呼ばれるデータ構造と、数百の「ヒューリスティックルール」、そして単純な制御フローで構成されると説明した。彼は次のように述べている：「AMはアジェンダから最上位のタスクを繰り返し選択し、それを実行しようとする。これが全体の制御構造である！」このシステムは、それぞれに優先度が関連付けられたタスクのアジェンダを維持し、最も優先度の高いタスクを反復的に選択して実行した。このアプローチにより、AMは計算リソースを最も有望な探索経路に集中させることができた。
ヒューリスティックルールは、どの概念を拡張、統合、または修正するかを決定する際にシステムを導いた。これらは、概念間の類似性の認識や興味深いパターンの特定など、数学的実践に関するドメイン知識をコード化していた。アジェンダベースの制御構造は、後の機械学習と自動推論における計画および探索技術の先駆けとなった。
発見の主張と論争
レナトは、AMがゴールドバッハの予想と算術の基本定理の両方を再発見したと主張した。しかし、後の批評家はレナトがAMの出力を過度に解釈したと非難した。ヒューリスティックルールは常に別個のデータ構造として表現されるわけではなく、一部は制御フロー論理と絡み合わなければならなかった。いくつかのルールは履歴に依存する前提条件を持っており、明示的なルールの枠組みでは表現できない場合があった。
公開されたルールのバージョンには、「2つの式が構造的に類似している場合、...」（ルール218）や「...得られた値を他の（非常に類似した）値で置き換える...」（ルール129）など、それ以上定義されていない曖昧な用語が含まれることが多かった。もう一つの情報源はユーザーであり、ルール2：「ユーザーが最近Xに言及した場合、Xを含むタスクの優先度を引き上げる」を通じてであった。これは、実際の発見作業の多くが説明されていない手続きやユーザーとの対話に埋もれていた可能性を示唆していた。
彼の論文「Why AM and Eurisko appear to work」において、レナトは、十分な数の短いLispプログラムを生成するシステムは、外部の観察者が同等に洗練された数学的概念を表すと解釈できるプログラムを生成するだろうと認めた。しかし、彼はこの特性自体が興味深いものであり、短いランダム文字列が有用である可能性が高い他の言語を探すことが今後の研究の有望な方向性であると主張した。
後継：Eurisko
この直感はAMの後継であるEuriskoの基礎となり、数学的概念の探索を有用なヒューリスティックスの探索に一般化しようとした。EuriskoはAMのアプローチを拡張し、数学的概念を発見するだけでなく、ヒューリスティックス自体を発見・洗練することで、システムが時間の経過とともに自身の探索戦略を改善できるようにした。これはメタ学習と自己改善型AIシステムへの初期の一歩を表していた。
遺産と影響
AMの遺産はその直接的な結果を超えて広がる。これは、HRやGraffitiなどの関連する数学発見プログラムを含む、自動発見におけるその後の研究に影響を与えた。AMが提起した創造性の本質、ヒューリスティックスの役割、AI出力の解釈に関する疑問は、現代の生成AI研究においても関連性を持ち続けている。知識を実行可能なプログラムとして表現するAMのアプローチは、モデルがコードや数学的表現を生成するニューラルネットワークとプログラム合成における後の発展を先取りしていた。
論争にもかかわらず、AMはコンピュータが作成者を驚かせる方法で数学的空間を探索できることを実証し、AIの発見を評価する際の慎重な解釈の重要性を強調した。このシステムのヒューリスティックスとアジェンダベースの制御への焦点は、後の自動計画と探索の研究に影響を与え、ユーザーとの対話への強調は対話型機械学習アプローチを先取りしていた。
関連項目
- 自動定理証明
- 数式処理
- 実験数学