融合原理.pptVIP

融合原理による推論(resolution) 推論規則 命題論理の推論規則（1/5）：推論規則とは？ 命題論理の推論規則（2/5）：モーダス?ポネンス 命題論理の推論規則（3/5）：健全性 命題論理の推論規則（4/5）：健全な推論規則 命題論理の推論規則（5/5）：その他の推論規則 例題　魔宮の世界 例題　魔宮の世界：推論規則による判定 疑問点と問題点 推論規則は，あれだけで十分か？ もっと多く必要か？　もっと少なくてよいか？ 適用可能な推論が多すぎて，探索効率が悪い 融合原理 融合原理（1） 融合原理（2）：例 融合原理（3）：例 融合原理（4）：導出と導出可能性 融合原理（5）：健全性 融合原理（6）：完全性 融合原理（7）：融合原理を用いた証明 融合原理（8）：例題　魔宮の世界 融合原理（9）：例題　魔宮の世界：証明の探索 融合原理（10）：証明の探索の制御 融合原理（11）：証明アルゴリズム 　よく知られる推論規則も融合原理によって説明できる． 　たとえば，モーダス?ポネンスは，スライドの右半面に書かれているように，Ｐ及びＰ→Ｑという２つの前提から，Ｑという結論が導かれることを表している．この問題に対して融合原理を使うと，Ｐ及び（Ｐ→Ｑを節形式で表した）￢P∨ＱからPと￢PをキャンセルしてＱを導くことができる． 　三段論法についても同様である． 　簡単だが，重要な例として， ￢PとPから空節が導かれることを覚えておこう．空節は常に偽である節なので，矛盾を表している． それは，￢PとPが互いに相容れないことを表していることからも明らかである． 　推論規則とは，スライドのように，一見，分数のように見える形式で表現される．横線の上にある論理式を前提，横線の下にある論理式を結論という．いま、いろいろな知識が論理式の形式で知識ベース（ＫＢ）に格納されているとしよう。推論規則の意味は，「前提がすべてＫＢに入っていたら，結論をＫＢに追加してよい」ということである．これにより，ＫＢの状態が遷移することになる． 　実際には，推論規則内に書かれている変数は，KB内の論理式（命題）そのものではなく，それらを値としてとる変数（命題変数）を表している．たとえば，スライドに書かれている「モーダス?ポネンス」という推論規則は，「ＫＢ内に知識Ｐおよび知識Ｐ→Ｑが含まれていれば，知識ＱをＫＢに追加してよい」という意味だが，実際には，このスライドにあるように，知識 Glitter と知識 Glitter→Gold から知識 Gold を推論するために使うことができる． 　推論規則は，その結論が前提の論理的帰結であるとき，健全であるという．すなわち，その前提がすべて真であるときに，結論もまた必ず（いかなる解釈によっても）真であるということである． 　すでに見たモーダス?ポネンスは健全な推論規則である．それを確かめるには、P, Q に与える４通りの解釈 (P,Q) =(T,T),(T,F),(F,T),(F,F)のそれぞれについて、前提P, P→Q がTならば、結論QもまたTであることを確認すればよい．実際、前提P, P→Q がTである解釈は(P,Q) =(T,T)のみであり、このとき確かにQ=Tとなる． 　「逆は真なり」は健全な推論規則ではない．P=F, Q=T という解釈を考えると，前提 P→Q はTだが，結論Q→PはFだからである． 　この授業では，健全な推論規則のみに興味がある．このスライドに示す６つの推論規則は，いずれも健全である．この他にも健全な推論規則は，たくさんある． 　前回導入した「魔宮の世界」の例題を考えてみよう．(1)～(5)の知識がＫＢに含まれているとき，OK12がその論理的帰結かどうか調べたい．これは，結論の否定 ?OK12 をＫＢに追加したとき，ＫＢが充足不能であることと等価であったことを思い出してほしい．（背理法の原理と同じ．） * * 　推論規則 　融合原理 認知システム論　知識と推論（３） 知識と論理で問題を解決する (Inference rules) 推論規則 前提 結論 前提がすべて知識ベース（ＫＢ）に入っていたら，結論をＫＢに追加してよい． 状態遷移 モーダス?ポネンス P, Q はKB内の論理式（命題）そのものではなく，それらを値としてとる変数（命題変数）を表している． Glitter→Gold Glitter Glitter→Gold Glitter Gold 輝くものは黄金である． それは輝いている． それは黄金である． を満たすとき，健全であるという． 推論規則 は， の論理的帰結　 は のすべてを真とする が真 どんな解釈のもとでも 逆は真なり 例 は，健全ではない．（逆は真とは限らぬ．P =F