↑: [[G検定に関する知識]] - 1968年、クィリアンが提唱した知識表現の方法 - 概念をノード（点）、関係をリンク（線）で表すグラフ構造 - 主な関係の種類：is-a（種類・継承）、has-a（所有）、part-of（部分） - is-a継承の落とし穴：「鳥は飛べる」はペンギンに継承できない（例外の扱いが問題） - cf. [[オントロジー]] - cf. [[エキスパートシステム]] - [[オントロジー]]との違い：意味ネットワークはグラフによる直感的表現、オントロジーはRDF/OWLなど**形式言語で概念・関係・制約を厳密に定義**し機械可読・推論可能。「意味ネットワークはis-a/part-ofを表現できない」は誤り ← ひっかけ - 関係の整理：**is-a**＝上位下位の継承（犬 is-a 動物、ラブラドール is-a 犬）/ **has-a**＝属性・所有（犬 has-a 尻尾）/ **part-of**＝全体の一部（指 part-of 手） - 他の知識表現との区別：スロットとデフォルト値で未記述属性を補完するのは**フレーム理論**（ミンスキー 1970年代）/ IF-THENルール＋ワーキングメモリ＋推論エンジンは**プロダクションシステム**