Dendral
From Wikipedia, the free encyclopedia
Dendralは、1960年代の人工知能プロジェクトである。未知の有機化合物を質量分析法で分析し、有機化学の知識を使って特定する[1]。スタンフォード大学で、エドワード・ファイゲンバウム、Bruce Buchanan、ジョシュア・レーダーバーグ、Carl Djerassi が開発した[2]。プロジェクトは1965年に開始された[3]。
ソフトウェアとしてのDendralは、化学者が行うような判断と問題解決の過程を自動化したものであるため、世界初のエキスパートシステムと言われている[1]。2つのプログラム Heuristic Dendral と Meta-Dendral から構成されている[3]。LISPで書かれている[1]。
Dendral から派生したシステムとして、Mycin、MOLGEN、MACSYMA、PROSPECTOR、XCON、STEAMER などがある。
Dendral という名称は "Dendritic Algorithm"（樹枝状アルゴリズム）に由来するかばん語である[3]。
Heuristic Dendral は、質量分析法などの実験データと化学に関する知識ベースを使って、データに適合すると考えられる化学構造を割り出す[3]。質量分析法は質量分析計で試料を分析するもので、その分子量（原子構成要素の質量の合計）を決定するのに使われる。例えば水（H2O）の場合、水素の質量が 1.01、酸素の質量が 16.00であることから、その分子量は 18 となり、マススペクトルは 18 を中心としたピークを形成する。Heuristic Dendral はこの情報を入力とし、各原子の質量に関する知識と分子の結合に関する規則を使って、分子量が 18 となるような分子の構造を決定する[1]。分子量が大きくなると、分子構造は複雑化し、考えられる組合せも急激に増大する。従って、仮説形成の過程で考えられる構造の数を減らすプログラムは必須である。
Meta-Dendral
Meta-Dendral は、知識獲得システムであり、考えられる分子構造とそれに対応したマススペクトルの組合せを入力とし、構造とマススペクトルの相関関係を説明できる仮説を提案する[3]。これらの仮説は Heuristic Dendral にフィードバックされ、適用可能性が評価される[1]。従って、Heuristic Dendral は実行システム、Meta-Dendral は学習システムと言う事ができる。このプログラムの重要な特徴として、計画-生成-評価パラダイムと知識工学がある[3]。
計画-生成-評価パラダイム
計画-生成-評価パラダイム（plan-generate-test paradigm）は問題解決手法の基本であり、Heuristic Dendral と Meta-Dendral に共通するパラダイムである。generator（生成器）が問題に対する解の候補を生成する。Dendral では分子のグラフで表現される。ただし、これは解の候補が膨大な個数にならない場合のみに採用できる手法である。解の候補が膨大である場合、Dendral は生成時点でそれを減らすための方法（制約条件）を見つけなければならない。それをするのが Dendral の planner（計画器）であり、問題に固有知識を使って generator のための制約条件を探す「仮説生成」プログラムである。tester（評価器）は解候補から制約条件に適合しないものを捨てる。この計画-生成-評価パラダイムの機構により Dendral は1つのシステムとして動作する[3]。
知識工学
知識工学（knowledge engineering）の第一の目的は、知識ベースと問題解決技法の効率的な相互作用を達成することである。これは、問題固有の情報をヒューリスティックプログラムに符号化した手続きの開発によって可能となる。従って知識工学の第一の基本コンポーネントは巨大な知識ベースである。知識ベースには質量分析法に関する固有の知識、化学とグラフ理論に関する基本的な知識、特定の化学構造の解明に役立つ何らかの知識が格納される[3]。Dendral は知識工学部分を通して知識ベースを使うことができ、入力データに適合する考えられる化学構造を特定するときと、解候補を削減できる新たな「汎用規則」を知識ベースに追加するときに使われる。以上により、最終的に少数の解候補が得られ、専門家でなくてもそこから正しい解を見つけることが可能となる。