【正文】 ood)。p (?x)[Food(x)?Like(Wang,x)]n 蘋果 (Apples)是食物。p Food(Apples)n 任何一個(gè)東西，若任何人吃了 (Eat)它都不會(huì)被害死 (Killed)，則該東西是食物。p (?x)(?y)[Eat(y,x)∧ ?Killed(y)?Food(x)]p (?x)(?y)[Eat(y,x)∧ Alive(y)?Food(x)]n 李 (Li)吃花生 (Peanuts)且仍然活著 (Alive)。p Eat(Li,Peanuts)∧ Alive(Li)n 張 (Zhang)吃任何李吃的東西。p (?x)[Eat(Li,x)?Eat(Zhang,x)]n 王喜歡花生。p Like(Wang,Peanuts)減少謂詞數(shù)2023/2/27星期六 104歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 —— 歸結(jié)反演系統(tǒng)p 例、歸結(jié)反演的應(yīng)用 —— 食物問(wèn)題p ② 標(biāo)準(zhǔn)化 —— 將事實(shí)公式和 取反后的目標(biāo)公式 分別標(biāo)準(zhǔn)化為子句，并組成子句集 S。n 王 (Wang)喜歡 (Like)所有種類的食物 (Food)。p(?x)[Food(x)?Like(Wang,x)]p?Food(x1)∨ Like(Wang,x1)n 蘋果 (Apples)是食物。pFood(Apples)pFood(Apples)n 任何一個(gè)東西，若任何人吃了 (Eat)它都不會(huì)被害死(Killed)，則該東西是食物。p(?x)(?y)[Eat(y,x)∧ Alive(y)?Food(x)]p?Eat(y,x2)∨ ?Alive(y)∨ Food(x2)2023/2/27星期六 105歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 —— 歸結(jié)反演系統(tǒng)p 例、歸結(jié)反演的應(yīng)用 —— 食物問(wèn)題p ② 標(biāo)準(zhǔn)化 —— 將事實(shí)公式和 取反后的目標(biāo)公式 分別標(biāo)準(zhǔn)化為子句，并組成字句集 S。n 李 (Li)吃花生 (Peanuts)且仍然活著 (Alive)。pEat(Li,Peanuts)∧ Alive(Li)pEat(Li,Peanuts)pAlive(Li)n 張 (Zhang)吃任何李吃的東西。p(?x)[Eat(Li,x)?Eat(Zhang,x)]p?Eat(Li,x3)∨ Eat(Zhang,x3)n 王喜歡花生。pLike(Wang,Peanuts)p?Like(Wang,Peanuts)取反2023/2/27星期六 106歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 —— 歸結(jié)反演系統(tǒng)p 例、歸結(jié)反演的應(yīng)用 —— 食物問(wèn)題p ③ 歸結(jié)演繹 —— 應(yīng)用歸結(jié)演繹推理不斷生成 歸結(jié)式 以擴(kuò)展子句集 S，直到生成 空子句 □ 。2023/2/27星期六 107歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 —— 歸結(jié)反演系統(tǒng)p 例、歸結(jié)反演的應(yīng)用 —— 食物問(wèn)題p ③ 歸結(jié)演繹 —— 應(yīng)用歸結(jié)演繹方法不斷生成 歸結(jié)式 以擴(kuò)展子句集 S，直到生成 空子句 □ 。2023/2/27星期六 108歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 —— 歸結(jié)反演系統(tǒng)p 例、歸結(jié)反演的應(yīng)用 —— 食物問(wèn)題p ③ 歸結(jié)演繹 —— 應(yīng)用歸結(jié)演繹方法不斷生成 歸結(jié)式 以擴(kuò)展子句集 S，直到生成 空子句 □ 。2023/2/27星期六 109歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 —— 歸結(jié)反演系統(tǒng)p 例、歸結(jié)反演的應(yīng)用 —— 食物問(wèn)題p ③ 歸結(jié)演繹 —— 應(yīng)用歸結(jié)演繹方法不斷生成 歸結(jié)式 以擴(kuò)展子句集 S，直到生成 空子句 □ 。2023/2/27星期六 110歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 —— 歸結(jié)反演系統(tǒng)p 例、歸結(jié)反演的應(yīng)用 —— 食物問(wèn)題p ③ 歸結(jié)演繹 —— 應(yīng)用歸結(jié)演繹方法不斷生成 歸結(jié)式 以擴(kuò)展子句集 S，直到生成 空子句 □ 。目標(biāo)公式得證歸結(jié)反演樹(shù)2023/2/27星期六 111p 例 前提：每個(gè)儲(chǔ)蓄錢的人都獲得利息。結(jié)論：如果沒(méi)有利息，那么就沒(méi)有人去儲(chǔ)蓄錢。p 令： S（ x， y）表示 x儲(chǔ)蓄 yM（ x） 表示 x是錢I（ x） 表示 x是利息E（ x， y） 表示 x獲得 yp 前提： (?x)[(?y)(S(x， y)∧ M(y))]=[(?y)(I(y)∧ E(x， y)]結(jié)論： ~(?x)I(x)=(?x)(?y)(M(y)=~S(x， y))歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 —— 歸結(jié)反演系統(tǒng)2023/2/27星期六 112p 把前提化為子句形：(?x)(~(?y)(S(x， y)∧ M(y))∨ (?y)(I(y)∧ E(x，y)))(?x)((?y)(~(S(x， y)∧ M(y)))∨ （ ?y）（ I（ y）∧ E（ x， y）））(?x)((?y)(~S(x， y)∨ ~M（ y）） ∨ （ ?y）（ I（ y） ∧ E（ x， y）））p 令 y=f(x)為 Skolem函數(shù)，則得子句形(?x)(?y)((~S(x， y)∨ ~M(y)∨ I(f(x)))∧ (~S(x， y)∨ M(y)∨ E(x， f（ x）））（ 1） ~S（ x， y） ∨ ~M（ y） ∨ I（ f（ x））（ 2） ~S（ x， y） ∨ ~M（ y） ∨ E（ x， f（ x）））歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 —— 歸結(jié)反演系統(tǒng)2023/2/27星期六 113p 結(jié)論的否定為~（ ~（ ?x） I（ x） =（ ?x）（ ?y）（ M（ y）=~S（ x， y）））化為子句形~（（ ?x） I（ x） ∨ （ ?x）（ ?y）（ ~M（ y）∨ ~S（ x， y）））（ ~（ ?x） I（ x） ∧ （ ~（ ?x）（ ?y）（ ~M（ y） ∨ ~S（ x， y））））（ ?x）（ ~I（ x）） ∧ （ ?x）（ ?y）（ M（ y）∧ S（ x， y））p 變量分離標(biāo)準(zhǔn)化后得下列子句：（ 3） ~I（ z）（ 4） S（ a， b）（ 5） M（ b）歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 —— 歸結(jié)反演系統(tǒng)2023/2/27星期六 114儲(chǔ)蓄問(wèn)題的反演樹(shù) 歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 —— 歸結(jié)反演系統(tǒng)（ 1） ~S（ x， y） ∨ ~M（ y） ∨ I（ f（ x））（ 2） ~S（ x， y） ∨ ~M（ y） ∨ E（ x， f（ x）））（ 3） ~I（ z）（ 4） S（ a， b）（ 5） M（ b）2023/2/27星期六 115歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 :課堂練習(xí)p 某公司招聘工作人員， A， B， C三人應(yīng)試，經(jīng)面試后，公司表示如下想法：n （ 1） 三人中至少錄取一人。n （ 2） 如果錄取 A而不錄取 B，則一定錄取 C。n （ 3） 如果錄取 B，則一定錄取 C。p 用歸結(jié)反演法證明：公司一定錄取 C。p （ 提示：設(shè)用 P(x)表示錄取 x） 2023/2/27星期六 116歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演p 把公司的想法用謂詞公式表示如下：n （ 1） 三人中至少錄取一人。pP(A)∨ P(B)∨ P(C)n （ 2） 如果錄取 A而不錄取 B，則一定錄取 C。pP(A)∧ ?P(B)?P(C)n （ 3） 如果錄取 B，則一定錄取 C。 pP(B)?P(C)p 把要求證的 問(wèn)題否定 ，并用謂詞公式表示出來(lái)： n 公司一定錄取 Cp?P(C)2023/2/27星期六 117歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演p 把上述公式化成子句集n ① P(A)∨ P(B)∨ P(C)n ② ?P(A)∨ P(B)∨ P(C)n ③ ?P(B)∨ P(C)n ④ ?P(C)p 應(yīng)用歸結(jié)反演： ① ②P(B)∨ P(C) ③P(C) ④2023/2/27星期六 118歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 —— 提取問(wèn)題回答p 某記者到一個(gè)孤島采訪，遇到一個(gè)難題，即島上有許多人說(shuō)假話，因而難以保證新聞報(bào)道的正確性，不過(guò)有一點(diǎn)他是清楚的，這個(gè)島上的人有一個(gè)特點(diǎn)：n 說(shuō)假話的人從來(lái)不說(shuō)真話，說(shuō)真話的人從來(lái)不說(shuō)假話；p 一次，記者遇到了孤島上的 3個(gè)人，為了弄清誰(shuí)說(shuō)真話，誰(shuí)說(shuō)假話，他向這 3個(gè)人中的每一個(gè)都提了一個(gè)同樣的問(wèn)題 “誰(shuí)是說(shuō)謊者？ ”n A回答： B和 C都是說(shuō)謊者。n B回答： A和 C都是說(shuō)謊者。n C回答： A和 B中至少有一個(gè)是說(shuō)謊者。p 誰(shuí)是說(shuō)謊者？2023/2/27星期六 119歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 —— 提取問(wèn)題回答n 設(shè) A、 B、 C三個(gè)命題表示 A、 B、 C三人是老實(shí)人。n A回答： B和 C都是說(shuō)謊者。pA??B∧ ?Cp?A?B∨ Cn B回答： A和 C都是說(shuō)謊者。pB??A∧ ?Cp?B?A∨ Cn C回答： A和 B中至少有一個(gè)是說(shuō)謊者。pC??A∨ ?Bp?C?A∧ B2023/2/27星期六 120歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 —— 提取問(wèn)題回答n 設(shè) A、 B、 C三個(gè)命題表示 A、 B、 C三人是老實(shí)人。n 化簡(jiǎn)上述蘊(yùn)含式為子句集n ① ?A∨ ?Bn ② ?A∨ ?Cn ③ A∨ B∨ Cn ④ ?B∨ ?Cn ⑤ ?A∨ ?B∨ ?Cn ⑥ A∨ Cn ⑦ B∨ C① 和 ⑦ 歸結(jié)： ? A ∨ C⑧② 和 ⑧ 歸結(jié)： ? A⑨⑥ 和 ⑨ 歸結(jié)： C⑩④ 和 ⑩ 歸結(jié)： ? B結(jié)論： A和 B都是說(shuō)謊者，而 C是老實(shí)人2023/2/27星期六 121p 例 :王某被害，有四個(gè)嫌疑犯 A， B， C， D，公安局派出五個(gè)偵察員，他們帶回的信息各不一樣，甲說(shuō) A， B中至少有一人作案，乙說(shuō) B， C中至少有一人作案，丙說(shuō) C， D中至少有一人作案，丁說(shuō) A， C中至少有一人與此案無(wú)關(guān)，戊說(shuō) B， D中至少有一人與此案無(wú)關(guān)，如果這五個(gè)偵察員的話都是可靠的，那么誰(shuí)是罪犯。2023/2/27星期六 122（ 1） A∨ B（ 2） B∨ C（ 3） C∨ D（ 4） ~A∨ ~C（ 5） ~B∨ ~D（ 6） B∨ ~C（ 1）、（ 4）歸結(jié)；（ 7） B是罪犯。 （ 2）、（ 6）歸結(jié)；（ 8） C∨ ~D（ 2）、（ 5）歸結(jié)；（ 9） C是罪犯。 （ 3）、（ 8）歸結(jié)。2023/2/27星期六 123p 歸結(jié)反演 可實(shí)現(xiàn) 問(wèn)題回答系統(tǒng)n 目標(biāo)公式往往 受存在量詞約束 ，如 (?x)W(x)；n 不僅證明目標(biāo)公式為真 T；n 回答提取 —— 給出使 W(x)為真 T的 x的某個(gè)取值。p 問(wèn)題回答系統(tǒng) 分為 2個(gè)階段：n ① 歸結(jié)反演 —— 證明目標(biāo)公式為真 Tn ② 回答提取p對(duì)于標(biāo)準(zhǔn)化 取反的目標(biāo)公式 而產(chǎn)生的子句（稱為 目標(biāo)子句 ） G,建立其 重言式（永真式） G∨ ?G；p以 G∨ ?G取代 G,重復(fù)已進(jìn)行過(guò)的歸結(jié)演繹過(guò)程，建立修改證明樹(shù) 。n 結(jié)果 —— 修改證明樹(shù) 的樹(shù)根不再是 空子句 □ ，而是 ?G，且 G中的變量已為其 置換項(xiàng) 取代，實(shí)現(xiàn)了回答提取。歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 —— 提取問(wèn)題回答2023/2/27星期六 124歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 —— 提取問(wèn)題回答p 例、 提取問(wèn)題回答 的應(yīng)用 —— 食物問(wèn)題p 已知下列事實(shí)為真，n 王 (Wang)喜歡 (Like)所有種類的食物 (Food)。n 蘋果 (Apples)是食物。n 任何一個(gè)東西，若任何人吃了 (Eat)它都不會(huì)被害死 (Killed)，則該東西是食物。n 李 (Li)吃花生 (Peanuts)且仍然活著 (Alive)。n 張 (Zhang)吃任何李吃的東西。p 證明：n 王喜歡花生。p 問(wèn)題：n 張吃什么食物？2023/2/27星期六 125歸結(jié)演繹推理歸結(jié)演繹推理3）歸結(jié)反演 —— 提取