Comments
Description
Transcript
PDF version
知識工学 11回目:知識表現 (その2) 知識表現:意味ネットワーク 知識表現:フレームシステム その他の表現方法 http://www.cit.ics.saitama-u.ac.jp/~far/Lectures/KE/11kaime/ 2000年度前期 B.H. Far@埼玉大学情報システム工学科 1 意味ネットワーク (Semantic Net) 1896年、Peanoが一階述語論理の表記法を開発してから7年 後、Charles Peirceは存在グラフ(existential graph)と呼ばれ るグラフ的な記法を提案し、「未来の論理」と称した。 それ以後、「論理」論者と 「意味ネットワーク」論者との問の長年 「論理」 「意味ネットワーク」 にわたる論争が始まった。この論争の残念な点は、両者が根底 において同一であることが曖昧にされたことである。 今では、どんな意味ネットワークやフレームシステムでも論理的文 章によって定義することができるということが承認されている。 2000年度前期 B.H. Far@埼玉大学情報システム工学科 2 意味ネットワーク: 例1 接点が2とおり:オブジェクトノードと関係ノード ラベル付けされた枝が3とおり:IS-A、INSTANCE_OF、 関数 2000年度前期 B.H. Far@埼玉大学情報システム工学科 3 意味ネットワーク: 定義1 意味ネットでは、情報はラベル付けされた枝で連結された節の 集合として表現される 接点 (Node) 関係ノード (Relation nodes) オブジェクトノード (Object nodes) リンク (Link) IS-A リンク (Subset link) INSTANCE-OF リンク (membership link) 2000年度前期 IS-A は上下の関係を表す IS-A 階層においては、上位概念の持つ性質は下位概念に継承される 非可換性 (not commutative) 関数リンク (Function link) B.H. Far@埼玉大学情報システム工学科 4 意味ネットワーク:デフォルト推論 質問: What is the energy source of R2D2 robot? 答: 意味ネットワーク上 の推論によって 「Wall_outlet」が検 出される 2000年度前期 FUNCTION IS-A IS-A IS-A IS-A INSTANCE-OF B.H. Far@埼玉大学情報システム工学科 IS-A IS-A INSTANCE-OF 5 意味ネットワーク:デフォルト推論 質問: What is the energy source of R2D2 robot? 継承解消法 (Cancellation of Inheritance) 「Battery」は 「Wall_outlet」 より 優先 2000年度前期 FUNCTION × IS-A IS-A FUNCTION ○ IS-A IS-A INSTANCE-OF B.H. Far@埼玉大学情報システム工学科 IS-A IS-A INSTANCE-OF 6 意味ネットワーク:複数継承 複数継承の場合は継承解消法がうまく使えません 例:「C3P0はいつ働く?」 2000年度前期 B.H. Far@埼玉大学情報システム工学科 7 意味ネットワーク:定義2 例外を許さない意味ネットワークでは、Subset や Membership リンクに加え、ほかに少なくとも三つの種類の リンクが必要である 2つのオブジェクト A と B の間に関係 R が成り立つことを示すも の 類 A のすべての要素とほかのオブジェクト B の間に関係 R が成 り立つことを示すもの A のすべての要素と B のある要素の間に関係 R が成り立つこと を示すもの 2000年度前期 B.H. Far@埼玉大学情報システム工学科 8 意味ネットワーク:定義3 意味ネットワークの5つの標準リンクとその論理 的意味 2000年度前期 B.H. Far@埼玉大学情報システム工学科 9 意味ネットワーク: 例2 右図にフレームによるネッ トワークの典型例と、その 一階述語論理への翻訳 を示す。 このネットワークを用いると、 「Opusには何本の足があ るか」という質問に、 るか」 MemberとSubsetのリンク による鎖をOpusからペン ギン、鳥類へとたどり、鳥 類が2本の足をもつことを 知ることによって答を出す ことができる。 2000年度前期 B.H. Far@埼玉大学情報システム工学科 10 意味ネットワーク: 利点・欠点 意味ネットワークの実行モデルが簡単である。プログラマ は大きなネットワークを組みながらも、どんな質問が効 率的かをよく心得ることができる。その理由は 推論手続きがたどるステップを可視化することが容易 質問言語が簡単で難しい質問をすることができない 常識的推論(commonsense reasoning)における先 駆的研究者たちが理論を築く際に、意味ネットワークの 方法を快く思った理由かもしれない。 2000年度前期 B.H. Far@埼玉大学情報システム工学科 11 知識表現:フレームシステム フレームは特定な対象を表 すための標準化されたデータ 構造である。宣言型知識を 保存するスロット (slot) とそ れを処理する手続き型知識 メソッド (method) をもつ スロット (slot): フレームの構成要素で、そのフ レームの属性情報であるスロッ ト値をもつ メソッド(method): フレーム内の処理を表す手続き 2000年度前期 B.H. Far@埼玉大学情報システム工学科 12 例: 設計用エキスパートシステム /1 ソフトウェア設計用 エキスパートシステ ムの実現 (Far,1994) フレームシステム (frame-based system): フレームは知識表 現、推論エンジンの 構築などに使用さ れている 2000年度前期 B.H. Far@埼玉大学情報システム工学科 13 例: 設計用エキスパートシステム /2 上下関係をクラスで表す。下位のフレームは親フレー ムの性質を継承する フレーム依存情報をスロットで表す 2000年度前期 B.H. Far@埼玉大学情報システム工学科 14 例: 設計用エキスパートシステム /3 入力の内部表現 2000年度前期 B.H. Far@埼玉大学情報システム工学科 15 例: 設計用エキスパートシステム /4 2000年度前期 B.H. Far@埼玉大学情報システム工学科 16 例: 設計用エキスパートシステム /5 2000年度前期 B.H. Far@埼玉大学情報システム工学科 17 その他の知識表現方法 オブジェクト (object) 概念依存関係 (conceptual dependency) スクリプト (script) 手続き的表現 (procedures) 概念構造 (conceptual structures) その他 2000年度前期 B.H. Far@埼玉大学情報システム工学科 18