人工智能作業(yè)答案

1、人工智能作作業(yè)答案（2）第三章 確定性推推理什么是推理理？它有哪哪些分類方方法？P74所謂推理是是指按照某某種策略從從已知事實實出發(fā)去推推出結論的的過程。知知識推理是是指在計算算機或智能能機器中，在在知識表達達的基礎上上，利用形形式化的知知識模型，進進行機器思思維求解問問題，實現(xiàn)現(xiàn)狀態(tài)轉移移的智能操操作序列。根據(jù)知識表表示方式分分類：“圖搜索”方法、“邏輯論證證”方法；根據(jù)推理算算法與推理理步驟分類類；根據(jù)啟發(fā)式式與非啟發(fā)發(fā)式分類；根據(jù)邏輯基基礎分類：演繹推理理、歸納推推理、默認認（缺?。┩仆评恚桓鶕?jù)知識的的確定性分分類：確定定性推理、非確定性性推理；根據(jù)推理過過程的單調(diào)調(diào)性分類：單調(diào)推理理、

2、非單調(diào)調(diào)推理。推理中的沖沖突消解策策略有哪些些？P82沖突消解的的基本思想想是：對可可用知識排排序。具體體地講，包包括以下策策略：a)特殊知知識優(yōu)先b)新鮮知知識優(yōu)先c)差異性性大的知識識優(yōu)先d)領域特特點優(yōu)先e)上下文文關系優(yōu)先先f)前提條條件少者優(yōu)優(yōu)先什么是置換換？什么是是合一？什什么是最一一般合一？P88-889置換：在謂謂詞表達式式中用置換換項置換變變量。合一：尋找找項對變量量的置換，以以使表達式式一致。 最一般合一一 (mggu)：通通過置換最最少的變量量以使表達達式一致，這這個置換就就叫最一般般合一。判斷下列公公式是否可可以合一，若若可合一，則則求出其最最一般合一一。P(a,bb)

3、，P(x,y)a/x，b/yP(f(xx),b)，P(yy,z)f(x)，b/zP(f(xx),y)，P(yy,f(bb)b/x，f(b)/yP(f(yy),y,x)，P(x,f(a),ff(b)f(y)/x，f(a)/y，f(b)/x不不可合一P(x,yy)，P(y,x)x/y，yy/x不不可合一把下列謂詞詞公式化成成子句集：（1）（ x）（ yy）（P（xx，y） Q（x，yy） P（xx，y）， Q（z，ww）（2）（ x）（ yy）（P（xx，y） Q（x，yy）P（xx，y）Q（x，yy）（3）（ x）（ yy）（P（xx，y）（Q（x，yy） R（x，yy）（ x）（ yy）（P（

4、xx，y）（Q（x，yy） R（x，yy）（ x）（PP（x，ff(x)） Q（x，f(x)） R（x，f(x)）P（x，ff(x)） Q（x，f(x)） R（x，f(x)）（4）（ x）（ yy）（ z）（PP（x，yy） Q（x，yy） R（x，zz）（ x）（ yy）（ z）（P（x，yy） Q（x，yy） R（x，zz）（ x）（ yy）（P（x，yy） Q（x，yy） R（x，ff(x,yy)）P（xx，y） Q（x，yy） R（x，ff(x,yy)）（5）（ x）（ yy）（ z）（ u）（ v）（ w）（PP（x，yy，z，u，v，w） Q（x，yy，z，u，v，w） R（x，z

5、z，w）（ z）（ v）（PP（a，bb，z，f(z)，v，g(z,v)） R（a，z，g(z,v)） Q（a，b，z，f(z)，v，g(z,v)） R（a，z，g(z,v)） P（aa，b，z，f(z)，v，g(z,v)） R（a，z，g(z,v)）, Q（a，b，z，f(z)，v，g(z,v)） R（a，z，g(z,v)）魯賓遜歸結結原理的基基本思想是是什么？P99魯賓遜歸結結原理的基基本思想是是：否定結論，加加入前提子子句集，應應用歸結原原理，是否否能導出空空子句，若若存在，證證明否定結結論錯誤，即即原結論得得證。設已知：（11）如果xx是y的父父親，y是是z的父親親，則x是是z的祖父父

6、；（2）每每個人都有有一個父親親。 試用用歸結演繹繹推理證明明：對于某某人u，一一定存在一一個人v，vv是u的祖祖父。已知：（ x）（ y）（ z）（FFATHEER（x，yy） FATHHER（yy，z） GRANNDFATTHER（xx，z）（ s）（ f）FFATHEER（f，ss）證明：目標否定：（ uu）（ vv）GRAANDFAATHERR（v，uu）化為子句集集：GRANNDFATTHER（vv，u）事實子句集集：（FATTHER（xx，y） FATHHER（yy，z） GRANDFATHER（x，z）FATTHER（xx，y） FATHHER（yy，z） GRANNDFATTH

7、ER（xx，z）， FATHHER（ff（s），ss）反演樹證明明：GRANNDFATTHER（vv，u） FATHHER（xx，y） FATHHER（yy，z） GRANNDFATTHER（xx，z） v/x,u/z FATHHER（vv，y） FATHHER（yy，u） FATHHER（ff（s），ss） ff(y)/v,y/s FATHHER（yy，u） FATTHER（ff（s），ss） f(s)/y,ss/u NNIL3.19題題略A:趙錢至至少一人 THHIEF（趙趙） THIEEF（錢）B:錢孫至至少一人 THHIEF（錢錢） THIEFF（孫）C:孫李至至少一人無無關 THIE

8、EF（孫） THIEEF（李）D:趙孫至至少一人無無關 THIEEF（趙） THIEEF（孫）E:錢李至至少一人無無關 THIEEF（錢） THIEEF（李）THIEEF（趙） THIEEF（孫） THIIEF（趙趙） THIEEF（錢） THIEEF（孫） THIEEF（錢） THHIEF（錢錢） THIEEF（孫） THIEEF（錢）THIEEF（錢） THIEEF（李） THIIEF（錢錢） THIEEF（李）3.20題題略COUPPLES（ZZhou，WWang）COUPPLES（ZZhou，QQian）COUPPLES（LLi，Chhen）COUPPLES（XXu，Chhen）、CO

9、UPPLES（ZZhou，CChen）、COUPPLES（WWu，Chhen）、COUPPLES（XXu，Wuu）、COUPPLES（ZZhou，WWu）、COUPPLES（ZZhou，XXu）、WOMANN（Li）、WOMAAN（Xuu）、WOOMAN（ZZhou）、WOMAAN（Qiian）MAN（CChen）、MAN（WWu）、MMAN（WWang）、MAN（SShun）COUPLLES（ZZhou，CChen） COUPLES（Zhou，Chen） 矛盾COUPLLES（ZZhou，WWu） COUPPLES（ZZhou，WWu） 矛矛盾COUPLLES（ZZhou，WWang） CO

10、UPLES（Zhou，Wang） 矛盾COUPLLES（ZZhou，SShun）COUPLLES（LLi，Chhen） COUPPLES（LLi，Chhen） 矛盾COUPLLES（LLi，Wuu） 不確確定COUPLLES（LLi，Waang） 不確定COUPLLES（XXu，Chhen） COUPPLES（XXu，Chhen） 矛盾COUPLLES（XXu，Wuu） COUPPLES（XXu，Wuu） 矛盾盾COUPLLES（XXu，Waang）不不確定COUPLLES（QQian，CChen）3.22設設有子句集集： P（xx） Q（x，bb），P（aa） Q（a，bb），Q（a，ff（

11、a），P（x） Q（x，x）分別用各種種歸結策略略求出其歸歸結式。實際上無論論采用哪種種策略都是是如此：（作作者選其為為此類習題題不適合）P（x） Q（x，b）P（a） Q（a，b）Q（a，f（a）P（x） Q（x，x）NIL3.23設設已知：能閱讀的人人（動物）是識識字的；海豚不識字字；有些海豚是是聰明的。分別用線性性輸入策略略，祖先過過濾策略證證明：有些些很聰明的的人（動物物）不識字字。事實：（ x）（CCANREEAD（xx） SHIZZHI（xx）（ y）（HAITUN（y） SHIZHI（y）（ z）（HAITUN（z） CLEVER（z）目標否定：（ uu）（CLLEVERR（u）

12、 SHIZZHI（uu）（ u）（CLEVER（u） SHIZHI（u）（ u）（CLEVER（u） SHIZHI（u）子句集：CANREAD（x） SHIZHI（x）CANNREADD（x） SHIZZHI（xx），HAITTUN（yy） SHIZZHI（yy），HAAITUNN（a），CCLEVEER（a），CLEVVER（uu） SHIZZHI（uu）線性輸入策策略HAITUN（y） SHIZHI（y）HAITUN（a）CLEVER（u） SHIZHI（u）SHIZHI（a）CLEVER（a）HAITUN（y） CLEVER（y）SHIZHI（a）CLEVER（a）NILCLEVER（a

13、）HAITUN（a）NILNIL祖先過濾策策略HAITUN（y） SHIZHI（y）HAITUN（a）CLEVER（u） SHIZHI（u）SHIZHI（a）CLEVER（a）CLEVER（a）NIL3.27設設已知事實實為（PPQ）R）（S（TU）F規(guī)則為SS（XY）Z試用正向演演繹推理推推出所有可可能的目標標子句。（PQ）R）（S（TU）（PQ）RS（TU）PQRSTUPQTUSXYZXYPQXXZPQYYZPQTTURXZZRYZZRTUU3.28事實：GAO（ZZhangg）、GAAO（Waang）、GAO（LLi）R1: HUA（x1） DENGG（x1）R3: DENGG（x4） LIKEE（x4，雨）R4: LIKEE（x5，雪） HUA（xx5）R5: LIKEE（Li，x6） LIKE（Wang，x6）R6: （LIKEE（Zhaang，xx7） LIKEE（Li，x7） LIKE（Zhang，x7） LIKE（Li，x7