人工知能特論2011 No.2 東京工科大学大学院 担当教員:亀田弘之 ここまでの復習 知能・知性の中枢は「思考と言語」 論理学は「思考の形式」を探求する学問 東京工科大学大学院 講義資料(亀田) 2 前回アンケートについて 東京工科大学大学院 講義資料(亀田) 3 さまざまな論理体系 論理(Logic) 古典論理 (classical logic) 非古典論理 (non-classical logic) 東京工科大学大学院 講義資料(亀田) 4 さまざまな論理体系 論理 古典論理 命題論理(propositional logic) 述語論理(predicate logic) 高階論理(higher order logic) など 非古典論理 東京工科大学大学院 講義資料(亀田) 5 さまざまな論理体系 論理 古典論理 命題論理 述語論理(高階論理) など 非古典論理 様相論理 (modal logic) 時相論理 (temporal logic) 多値論理 (multi-value logic) Fuzzy 論理 (fuzzy logic) 線形論理 (linear logic) など 現在ではさまざまな 論理体系が提案され ており、分類はそんな に単純ではない。 東京工科大学大学院 講義資料(亀田) 6 参考文献 Transactions on Computational Logic, ACM. (さまざまな論理体系が今も提案され続け ている) 東京工科大学大学院 講義資料(亀田) 7 本日の内容 命題論理 東京工科大学大学院 講義資料(亀田) 8 本日の内容 命題論理(もっとも基礎的な論理体系) 論理式の定義 東京工科大学大学院 講義資料(亀田) 9 1. 論理式とは(Q:どれが論理式?) 1 1 1 1 1 2 3 4 n (define fib (lambda (n) ( cond (eq 1 1) (t (add (fib (sub1 n)) n))))) P ((Q R) P) 東京工科大学大学院 講義資料(亀田) 10 1.1 基本概念 1. 2. 3. 4. 5. あの山の上に雲がかかると やがて雨が降り出す。 整数1234567は素数である。 円周率πを小数展開表示すると、 その中に1から9までの数字が この順に並んで現れる。 風が吹くと桶屋が儲かる。 クレタ人はみな嘘つきである。 真? 偽? 東京工科大学大学院 講義資料(亀田) 11 問題:真か偽か述べよ。その理由は? 1. 2. 3. 4. 5. あの山の上に雲がかかると やがて雨が降り出す。 整数1234567は素数である。 円周率πを小数展開表示すると、 その中に1から9までの数字が この順に並んで現れる。 風が吹くと桶屋が儲かる。 クレタ人はみな嘘つきである。 真? 偽? 東京工科大学大学院 講義資料(亀田) 12 問題:真か偽か述べよ。理由は? 1. 2. 3. 4. 5. あの山の上に雲がかかるとやがて雨が降 り出す。 127×9721 整数1234567は素数である。 円周率πを小数展開表示すると、 その中に1から9までの数字が 偽? この順に並んで現れる。 風が吹くと桶屋が儲かる。 真? クレタ人はみな嘘つきである。 東京工科大学大学院 講義資料(亀田) 13 問題:真か偽か述べよ。その理由は? 1. 2. 3. 4. 5. 5×3=15 平成の前は昭和である。 真? 円の面積は半径の二乗に 円周率πを掛け合わせたものである。 フランスの首都はパリである。 木星はガスでできており、月よりも軽い。 偽? 東京工科大学大学院 講義資料(亀田) 14 (注)真偽を決めがたい文もある。 窓を開けてもいいですか? そんなこと言わないでください。 これはすごい! これらの文は真(true)ですか、 それとも偽(false)ですか? 東京工科大学大学院 講義資料(亀田) 15 1.2 命題 真偽を決定することのできる文を “命題”といい、命題論理学では これを研究の対象とする。 また、命題とともに、 “かつ” “または” “ならば” “でない” なども併せて考察の対象とする。 なぜならば、論理学は「思考の形式」を探求する学問だから。 東京工科大学大学院 講義資料(亀田) 16 命題の例 A = パリはフランスの首都である。 真 B = ボンはドイツの首都である。 偽 C = ロンドンはイギリスの首都である。 真 A,B,Cは命題である。 “A かつ B” 命題論理の考察対象である。 東京工科大学大学院 講義資料(亀田) 17 それでは命題論理の話しへ進もう! 命題論理では命題から構成される(命題) 論理式の真偽に関して考察を行う。 そこで、論理式の表現(表現方法)について まずは定義して行こう! 東京工科大学大学院 講義資料(亀田) 18 1.3 命題論理に出てくる記号は、… 論理定数 命題記号 結合子 括弧 東京工科大学大学院 講義資料(亀田) 19 定義(命題論理の字母) 命題論理の字母は以下の記号から構成 される。 1. 2. 3. アトムの集合(非空集合): アトムはP, Q, …と表記する。 添え字を付けてP1, P2 などとも書く。 結合子(5種類): ~,∧, ∨, →, ↔ 括弧(2種類): (, ) 命題論理の論理式はこれらの記号のみで書かれる。 東京工科大学大学院 講義資料(亀田) 20 疑問:次のものは論理式? PQRS P∧~∧∧Q ((~(P∧P2)) → P3) )P1∨Q3( 記号を適当に並べればよい訳 ではない! 並べ方には規則 (統語構造規則)がある。 シンタックスの定義が必要! 東京工科大学大学院 講義資料(亀田) 21 定義(論理式のシンタックス) 論理式とは以下で定義されるものである。 1. 2. 3. アトムは論理式である。 任意の論理式Fに対して、~F も論理式 である。 FとGが任意の論理式のとき、次のものは いずれも論理式である。 (F∧G), (F∨G) , (F → G), (F↔G) この規則に則った論理式は、 well-formed であるという。 このような定義方法を、 帰納的定義という。 東京工科大学大学院 講義資料(亀田) 22 ~F はFの“否定”と呼ぶ。 (F∧G)はFとGの“論理積”と呼ぶ。 (F∨G)はFとGの“論理和”と呼ぶ。 FがGの部分であるとき、 FはGの“部分式”と呼ぶ。 東京工科大学大学院 講義資料(亀田) 23 例: F = ~((A5∧A6)∨~A3) Fは論理式。 Fの部分式はすべて列挙すると以下の通り。 F, ((A5∧A6)∨~A3), (A5∧A6), A5, A6, ~A3, A3 東京工科大学大学院 講義資料(亀田) 24 アトム(例:P, Q,…)を、“原始式”あるいは “原始文”と呼ぶことがある。 それ以外のより複雑な論理式を“複合文”と 呼ぶことがある。(例:~P, (P∨Q) ) Aを1つのアトムとすると、Aと~Aのことを “リテラル(literal)”といい、特に、Aのことを “正のリテラル(positive literal)”、~Aのこと を“負のリテラル(negative literal)”と呼ぶ。 東京工科大学大学院 講義資料(亀田) 25 コメント Well-formed な論理式だけからなる 命題論理式の集合は、1つの命題論理の 言語を定める。(という言い方をすることも ある) ここまでで形式(見かけ)に関する準備が 出来上がった。 東京工科大学大学院 講義資料(亀田) 26 疑問:次のものは何を意味している? P P∧Q ((P→Q)∧P)→Q これらはどれもwell-formed な 論理式だけれど、… 東京工科大学大学院 講義資料(亀田) 27 P = パリはフランスの首都である。 Q = いま雨が降っている。 P = パリはフランスの首都である。 P∧Q = パリはフランス首都であり、かつ、 いま雨が降っている。 真偽の判定ができる! 東京工科大学大学院 講義資料(亀田) 28 コメント PやQの真偽がわかれば十分だよね! 例えば、PとQの真偽がわかれば P∧Q の真偽は分かるの? ∧ ってどういう意味? (∧や∨の意味も明確に定義しなければ だめなんだ!) 東京工科大学大学院 講義資料(亀田) 29 1.4 定義(解釈 Intp) Lを命題論理の1つの言語(体系)、 Aを言語Lのアトムの集合とする。 このとき、Lの解釈 Intp とは Aから{T, F }への写像のことをいい、 Intp = { x | Intp(x) = T, x ∊ A } と表現する。 (注)T:真 F:偽 東京工科大学大学院 講義資料(亀田) 30 解釈の例 アトムの集合A={P,Q,R}に対して、例えば、 Intp(P) = T Intp(Q) = F Intp(R) = T これを簡単に表現するために、真のものだ けを集めて Intp = { P, R }と書くことにする。 東京工科大学大学院 講義資料(亀田) 31 問題:真なる論理式(アトム)はどれ? 論理的設定 アトムの集合A: A = { P1, P2, Q } 解釈Intp: Inpt = { P1, P2 } 東京工科大学大学院 講義資料(亀田) 32 1.5 定義(論理子への意味の付与) 表.結合子の定義表 P Q ~P (P∧Q) (P∨Q) (P→Q) (P↔Q) T T F T T T T T F F F T F F F T T F T T F F F T F F T T これは真理値表 である。 東京工科大学大学院 講義資料(亀田) 33 コメント これで任意の well-formed な論理式に対し て、真偽を判定することが可能となった。 めでたしめでたし。 よし、やったぁ これからが 本題です。 東京工科大学大学院 講義資料(亀田) 34 もう少し話を進めていきましょう。 東京工科大学大学院 講義資料(亀田) 35 練習問題(確認) 1. 2. 3. 次の論理式の真理値表を示せ。 (Q∨P1)∧P1 P1→P2 (P2→(P1→Q))∧P1)→Q 東京工科大学大学院 講義資料(亀田) 36 (Q∨P1)∧P1 の答え P1 Q ( Q ∨ P1 ) ∧ P1 T T T T T F F T T T T F F F F F 東京工科大学大学院 講義資料(亀田) 37 練習問題(確認) 1. 2. 3. 次の論理式の値を求めよ。 (Q∨P1)∧P2 P1→P2 (P1→(P1→Q))∧P1)→Q ただし、論理設定(logical settings)は、 解釈 Intp = { P1, Q } とする。 東京工科大学大学院 講義資料(亀田) 38 ここまでのまとめ 言語を定義するには、 アルファベット 構文構造 意味の割り当て が必要。 そこで、命題論理は論理式を対象とするの で、論理式を文とみなすと… 東京工科大学大学院 講義資料(亀田) 39 命題論理の字母の定義 アトム記号群、結合子記号群、括弧記号群 論理式のシンタックスの定義 アトムは論理式 φが論理式ならば~φも論理式 φとψが論理式ならば、 (φ∧ψ), (φ∨ψ), (φ→ψ), (φ↔ψ) も論理式 意味の割り当て “解釈”という概念の導入 東京工科大学大学院 講義資料(亀田) 40 もう少しがんばろう! 目指せ、“モデル”の導入! 東京工科大学大学院 講義資料(亀田) 41 一般に、論理式の真理値はどのような解釈 をするかで変わってしまう。例えば、論理式 φは解釈Intp1では偽になるが、解釈Intp2な ら真になるといった具合に。 東京工科大学大学院 講義資料(亀田) 42 1.5 定義(モデル) 論理式φがある解釈Intpで真となるとき、 解釈Intpをその論理式の“モデル”と呼ぶ こととする。また、φはモデルIntpをもつ とも言うこととする。 例:解釈Intp={P,Q} はφ = (P∧Q) のモデ ルであるが、ψ = (P→~Q) のモデルでは ない。φは解釈Intpをモデルとしてもつ。 東京工科大学大学院 講義資料(亀田) 43 定義(モデル)の拡張 Σを論理式の集合とし、Intpを1つの解釈と する。このとき、もしΣに含まれるすべての 論理式に対して解釈Intpのもとで真となると き、解釈IntpはΣのモデルと呼ぶ。また、 Σは解釈Intpをモデルとして持つとも言う。 (今後はこの定義を採用する。) 東京工科大学大学院 講義資料(亀田) 44 例: Σ= { P, ( Q∨R ), ( Q → R ) } Intp1 = { P, R }, Intp2={ P,Q, R }, Intp3 = { P, Q } このとき、Intp1もIntp2もともに Σのモデルで あるが、Intp3はΣのモデルではない。 東京工科大学大学院 講義資料(亀田) 45 そろそろ次の話、推論にはいりましょう。 東京工科大学大学院 講義資料(亀田) 46 1.6 定義(論理的帰結) Σ:論理式の集合 φ:1つの論理式 どの論理式ψ∈Σのモデルもまた論理式φの モデルとなっているとき、“φはΣの論理的帰 結(logical consequence)”と呼び、 Σ|= φ と書く。“Σはφを論理的に含意する” とも言う。 東京工科大学大学院 講義資料(亀田) 47 例: P=私は家の外にいる。 Q=雨が降っている。 R=私は濡れる。 「家の外にいて、かつ、雨が降っている、な らば、濡れる」 ( ( P∧Q ) → R ) 東京工科大学大学院 講義資料(亀田) 48 例(続き) 「家の外にいて、かつ、雨が降っている、な らば、濡れる」 ( ( P∧Q ) → R ) いま確かに「雨が降っている」。Q ということは、「いま外にいれば濡れる」こと になる。 つまり、 ( ( P∧Q ) → R ),Q |= ( P → R ) 東京工科大学大学院 講義資料(亀田) 49 問題:次の推論が正しいことを示せ。 ( ( P∧Q ) → R ),Q |= ( P → R ) つまり、 ( ( P∧Q ) → R ) と Q とから、 ( P → R ) が論理的帰結として得られるこ とを示しなさい。 ヒント: 真理値表を書いてみる。 東京工科大学大学院 講義資料(亀田) 50 コメント(注意事項) → と |= とは別物です! 東京工科大学大学院 講義資料(亀田) 51 演繹定理(重要) Σ∪{ φ } |= ψ iff Σ |= ( φ→ ψ ) iff: if and only if 東京工科大学大学院 講義資料(亀田) 52 論理的等価 φとψとが論理的に等価であるとは、 φ|=ψ かつ ψ|=φ が成り立つことを言う。 東京工科大学大学院 講義資料(亀田) 53 来週の予告 推論 三段論法からresolution法へ 東京工科大学大学院 講義資料(亀田) 54 推論の例 AならばBである。 いま、Aである。 したがって、Bである。 これは三段論法と呼ばれるものである。 これは別名、modus ponens という。 東京工科大学大学院 講義資料(亀田) 55 推論の図式化 A→B A ーーーーーーーー B 東京工科大学大学院 講義資料(亀田) 56 推論の例 例えば、 ( ( P∧Q ) → R ),Q |= ( P → R ) が成り立つことを統一的かつ簡単な方法で できないだろうか? 東京工科大学大学院 講義資料(亀田) 57 事実1:( ( P∧Q ) → R ) 事実2:Q 示したい事実: ( P → R ) 東京工科大学大学院 講義資料(亀田) 58 前提1:( ( P∧Q ) → R ) 前提2:Q 論理的帰結: ( P → R ) 東京工科大学大学院 講義資料(亀田) 59 問題の整理 前提から帰結を得るためには、 推論を行うことになり、 その結果得られるものを 証明という。 「推論」や「証明」といった概念(用語)を整理す ることが必要。 東京工科大学大学院 講義資料(亀田) 60 推論を機械的に行えないか? Resolution という強力な方法が現在しられ ている。次回これについて詳細します。 つぎのスライドがresolutionを適用した例で す。 (一応目を通しておいてください。次回詳しく 説明します。理論的にはあと一息で楽にな ります。がんばりましょう。) 東京工科大学大学院 講義資料(亀田) 61 問題例 論理式F= (~B∧~C ∧ D) ∨(~B∧~D) ∨(C∧D)∨B は常に真であることを示しなさい。 (注)常に真となる論理式を恒真式という。 東京工科大学大学院 講義資料(亀田) 62 回答例 ~Fを仮定すると矛盾が生じることを確認す る(背理法による証明)。 ~F= (B∨C∨~D) ∧(B∨D) ∧(~C∨~D) ∧~B 節(clause)と節集合(clausal set)の記法に 書き換える。 ~F={ {B,C,~D}, {B,D}, {~C,~D}, {~B} } 東京工科大学大学院 講義資料(亀田) 63 { B, C, ~D } { B, D } { ~C, ~D } { ~B } { B, ~D } {B} { } { } が得られたということは、矛盾が検出されたということ。 東京工科大学大学院 講義資料(亀田) 64 おわり 東京工科大学大学院 講義資料(亀田) 65
© Copyright 2024 ExpyDoc