エキスパートシステム
専門家の知識をif-thenのルールとして記述し、推論によって専門家のような判断を行うシステムです。DENDRAL(1960年代、有機化合物の構造を質量分析データから推定)、MYCIN(1970年代、スタンフォード大学、血液中の細菌感染症の診断と抗生物質の処方)が代表例です。MYCINは専門医に迫る精度を示しましたが、責任の所在などの問題から実用化には至りませんでした。
知識を獲得するために専門家に質問を繰り返して知識を引き出すインタビューシステムも作られましたが、専門家の知識は言語化しにくく矛盾も多いため、知識獲得のボトルネックは解消できませんでした。
知識表現
意味ネットワークは概念をノード、関係を矢印で表すグラフによる知識表現です。「哺乳類 ─ 動物」のような上位・下位(継承)の関係をis-a、「タイヤ ─ 自動車」のような部分と全体の関係をpart-of、属性を持つ関係をhas-aといいます。is-aの関係には推移律が成り立ちます(人間 is-a 哺乳類、哺乳類 is-a 動物 → 人間 is-a 動物)。
Cycプロジェクトは1984年に始まった、人間の常識をすべて記述しようとする長期プロジェクトで、現在も続いています。
オントロジーとセマンティックWeb
オントロジーは概念とその関係を体系的に定義したもので、知識の共有と再利用を可能にします。対象世界を哲学的に厳密に考察して人手で構築するヘビーウェイトオントロジーと、Webなどのデータから自動で概念間の関係を獲得するライトウェイトオントロジーがあります。セマンティックWebはWeb上の情報に機械が理解できる意味を付与し、コンピュータが情報を処理できるようにする構想です。Webのデータから知識を抽出するウェブマイニングは、データマイニングをWebに適用したものです。
対話・質問応答システム
- ELIZA(1960年代): 相手の発言をパターンに沿って言い換えるだけの対話プログラムだが、人間と話していると錯覚する利用者がいた(イライザ効果)
- ワトソン(IBM): Wikipediaなどから知識を得た質問応答(Question-Answering)システムで、2011年にクイズ番組で人間のチャンピオンに勝利
- 東ロボくん: 国立情報学研究所が2011年から進めた「ロボットは東大に入れるか」プロジェクト。模試で私大の多くに合格できる水準に達したが、読解力の壁から東大合格は断念
試験で問われる観点
- DENDRALとMYCINの分野、MYCINが実用化されなかった理由
- is-a/part-of/has-aの区別、is-aの推移律
- ヘビーウェイトとライトウェイトオントロジーの違い
- ELIZA、ワトソン、東ロボくんの位置づけ