人工智能復(fù)習(xí)題庫

1、人工智能導(dǎo)論試卷庫填空：人工智能的的研究途徑徑有 心理理模擬 、 生理模模擬 和行行為模擬。任意列舉人人工智能的的四個(gè)應(yīng)用用性領(lǐng)域難難題求解 、定理證明明 、智能控制制 、機(jī)器翻譯譯 。人工智能的的基本技術(shù)術(shù)包括搜索索技術(shù)、推理技術(shù)術(shù)、知識表示示和知識庫庫技術(shù)歸納納技術(shù)、聯(lián)聯(lián)想技術(shù)。謂詞邏輯是是一種表達(dá)達(dá)能力很強(qiáng)強(qiáng)的形式語語言，其真真值的特點(diǎn)點(diǎn)和命題邏邏輯的區(qū)別別是（100）。謂詞邏輯中中，重言式式（tauutloggy）的值值是 真 。設(shè)P是謂詞詞公式，對對于P的任任何論域，存存在P為真真的情況，則則稱P為永永真式。在著名的醫(yī)醫(yī)療專家系系統(tǒng)MYCCIN中規(guī)規(guī)定，若證證據(jù)A的可可信度CFF（A

2、）=0，則意意味著 無關(guān)，CFF（A）=-1，則則意味著假假，CF（AA）=1，則則意味著真真。謂詞公式GG是不可滿滿足的，當(dāng)當(dāng)且僅當(dāng)對對所有的解解釋G都為為假。謂詞公式與與其子句集集的關(guān)系是是 包含。 利用歸結(jié)原原理證明定定理時(shí)，若若得到的歸歸結(jié)式為 空集，則結(jié)結(jié)論成立。若C1=PQ，C22=PQ，則CC1和C22的歸結(jié)式式R（C11，C2）= PP或QQ。若C1=PP(x) Q(x)，C2=P(a) R(y)，則則C1和CC2的歸結(jié)結(jié)式R（CC1，C22）= （20）QQ（a）R（y）有謂詞公式式G，置換換，則G= （221） ，= （222） 。有子句集SS=P(x),PP(y)，其MG

3、GU= y/xx 。在歸結(jié)原理理中，幾種種常見的歸歸結(jié)策略并并且具有完完備性的是是 刪除除策略 支持集策策略 線性歸歸結(jié)策略狀態(tài)圖啟發(fā)發(fā)式搜索算算法的特點(diǎn)點(diǎn)是 （227）。廣度優(yōu)先搜搜索算法中中，OPEEN表的數(shù)數(shù)據(jù)結(jié)構(gòu)實(shí)實(shí)際是一個(gè)個(gè) 二叉樹樹，深度優(yōu)優(yōu)先搜索算算法中，OOPEN表表的數(shù)據(jù)結(jié)結(jié)構(gòu)實(shí)際是是一個(gè)單鏈鏈表 。產(chǎn)生式系統(tǒng)統(tǒng)有三部分分組成 綜綜合數(shù)據(jù)庫庫， 知識庫庫和推理機(jī)機(jī)。其中推推理可分為為 正向推推理和反向推理理。 專家系統(tǒng)的的結(jié)構(gòu)包含含人機(jī)界面面、 知識識庫 ， 推理機(jī)機(jī) ， 動態(tài)數(shù)數(shù)據(jù)庫 ， 知識庫庫答理系統(tǒng)統(tǒng) 和解釋釋模塊。在MYCIIN推理中中，對證據(jù)據(jù)的可信度度CF（AA

4、）、CFF（A1）、CF（AA2）之間間，規(guī)定如如下關(guān)系：CF（A）= CF（AA） ，CCF（A11A2 ）= minnCF（AA1），CCF（A22） ，CF（AA1A2 ）= maaxCFF（A1），CCF（A22） 。開發(fā)專家系系統(tǒng)所要解解決的基本本問題有三三個(gè)，那就就是知識的的獲取、知知識的表示示和知識的的運(yùn)用，知知識表示的的方法主要要有 邏輯輯表示法（謂謂詞表示法法） ， 框架， 產(chǎn)生式式和語義網(wǎng)網(wǎng)絡(luò)等，在在語義網(wǎng)絡(luò)絡(luò)表示知識識時(shí)，所使使用的推理理方法有 AKO 和 ISA MYCINN系統(tǒng)中使使用不確定定推理，規(guī)規(guī)則AB由專家家指定其可可信度CFF（B，AA），若AA真支持BB真

5、，則指指定CF（BB，A）（與與零比較）應(yīng)應(yīng) （447） ；若A真真不支持BB真，則指指定CF（BB，A）應(yīng)應(yīng) （488） 。機(jī)器學(xué)習(xí)的的含義是 指機(jī)器器面對自行行為的修正正或性能的的改善和機(jī)機(jī)器對客觀觀規(guī)律和發(fā)發(fā)展 。自然語言理理解不僅包包括計(jì)算機(jī)機(jī)能正確理理解人們用用自然語言言輸入的信信息，能正正確回答輸輸入信息中中的有關(guān)問問題，而且且還包括 語法分分析 、 語用用分析 、 語句分分析 。設(shè)U=aa,b,cc,d，AA=a,b，BB=a,b,c，m(AA)=0.6，m(U)=00.4，UU的其它子子集的基本本概率分配配函數(shù)m值值均為0，則則Bel(A)= （533） ，Bel(B)= （5

6、44） 。證據(jù)理論中中集合A的的信任區(qū)間間為1，11，則其其語意解釋釋為 （555） 。人工智能三三大學(xué)派是是符號主義義、聯(lián)結(jié)主主義、行為為主義化成子句形形式為： 。從已知事實(shí)實(shí)出發(fā)，通通過規(guī)則庫庫求得結(jié)論論的產(chǎn)生式式系統(tǒng)的推推理方式是是 正向推理理 AI的英文文縮寫是 Arrtifiical Inteeligeence 在謂詞公公式中，緊緊接于量詞詞之后被量量詞作用的的謂詞公式式稱為該量量詞的轄域域 ，而而在一個(gè)量量詞的轄域域中與該量量詞的指導(dǎo)導(dǎo)變元相同同的變元稱稱為 約束變元元 ，其其他變元稱稱為 自由變元元 假言推理（AAB）A BB ，假言三三段論（AAB）（BC） AC 幾種常用的的

7、歸結(jié)策略略： 刪刪除策略 、支持持集策略、線形歸結(jié)結(jié)策略、輸輸入歸結(jié)策策略、單元元?dú)w結(jié)策略略在諸如走迷迷宮、下棋棋、八數(shù)碼碼游戲等游游戲中，常常用到的一一種人工智智能的核心心技術(shù)稱為為 圖搜搜索 技技術(shù)，解這這類問題時(shí)時(shí)，常把在在迷宮的位位置、棋的的布局、八八數(shù)碼所排排成的形勢勢用圖來表表，這種圖圖稱為 狀態(tài)空間間圖（或狀狀態(tài)圖） 在啟發(fā)式搜搜索當(dāng)中，通通常用 啟發(fā)函數(shù)數(shù) 來表表示啟發(fā)性性信息。 在二人博博弈問題中中，最常用用的一種分分析技術(shù)是是 極大大極小分析析法 ，這這種方法的的思想是先先生成一棵棵博弈樹，然然后再計(jì)算算其倒推值值。但它的的效率較低低，因此人人們在此基基礎(chǔ)上，又又提出了 -

8、剪枝技術(shù)術(shù) 某產(chǎn)生式系系統(tǒng)中的一一條規(guī)則：A（x）B（x），則前件是 A（x） ，后件是 B（x） 在框架和語語義網(wǎng)絡(luò)兩兩種知識表表示方法中中， 框框架 適適合于表示示結(jié)構(gòu)性強(qiáng)強(qiáng)的知識，而而 語義網(wǎng)網(wǎng)絡(luò) 則適適合表示一一些復(fù)雜的的關(guān)系和聯(lián)聯(lián)系的知識識。 面面向?qū)ο?不僅僅僅是一種知知識表示方方法，也是是一種流行行的軟件設(shè)設(shè)計(jì)和開發(fā)發(fā)技術(shù)。不確定性類類型按性質(zhì)質(zhì)分：隨機(jī)性，模模糊性，不不完全性，不不一致性。在刪除策略略歸結(jié)的過過程中刪除除以下子句句：含有純文字的子句句;含有永真式式 的子句句;子句集集中被別的的子句 類類含的的子句。對對證據(jù)的可可信度CFF（A）、CF（AA1）、CCF（A22）

9、之間，規(guī)規(guī)定如下關(guān)關(guān)系：CFF（A）=-CF(A)、CF（AA1A2 ）= miinCFF(A1),CF(A2)、CCF（A11A2 ）=maxxCF(A1),CF(AA2)合一算法：求非空有有限具有相相同謂詞名名的原子公公式集的最一般般合一產(chǎn)生式系統(tǒng)統(tǒng)的推理過過程中，從從可觸發(fā)規(guī)規(guī)則中選擇擇一個(gè)規(guī)則則來執(zhí)行，被被執(zhí)行的規(guī)規(guī)則稱為被觸觸發(fā)規(guī)則。P(B|AA) 表示示在規(guī)則AAB中，證證據(jù)A為真真的作用下下結(jié)論B為為真的概概率。常用的二種種盲目搜索索方法是_隨機(jī)碰撞撞式搜索_和_完全全式搜索_；引入入啟發(fā)式知知識來指導(dǎo)導(dǎo)OPENN表中節(jié)點(diǎn)點(diǎn)的排序可可劃分為二二種方式_全局擇擇優(yōu)搜索 和_局部部擇

10、優(yōu)搜索索。產(chǎn)生式系統(tǒng)統(tǒng)的推理可可以分為_正向推推理_和_反向推理理_兩種基本本方式。知識表示的的性能應(yīng)從從以下二個(gè)個(gè)方面評價(jià)價(jià)：_和_；后者者又分二個(gè)個(gè)方面_和和 _。人工智能的的表現(xiàn)形式式至少有_、_、_、_和_幾種。目前所用的的知識表示示形式有_框框架 語義網(wǎng)網(wǎng)絡(luò) 面向?qū)ο骭等?？蚣芟到y(tǒng)的的特性繼承承功能可通通過組合應(yīng)應(yīng)用槽的三三個(gè)側(cè)面來來靈活實(shí)現(xiàn)現(xiàn)，它們是是_、_和_。產(chǎn)生式系統(tǒng)統(tǒng)是由_綜合數(shù)數(shù)據(jù)庫 知識庫_和_推理機(jī)_三部部分組成的的._就是所考考察判斷的的事物或?qū)ο蟮募虾?，記為_。它的子集集構(gòu)成_。證據(jù)理論是是經(jīng)典概率率論的一種種擴(kuò)充形式式，構(gòu)成這這一理論的的函數(shù)有_基本概概念

11、全分函函數(shù)_、_信任函數(shù)數(shù)_和_似真真函數(shù)_。對于模糊不不確定性，一一般采用_模糊糊集合_或_模糊邏邏輯_來刻刻劃。歸結(jié)法中，可可以通過-修修改證明樹樹-的方法法得到問題題的解答。從已知事實(shí)實(shí)出發(fā)，通通過規(guī)則庫庫求得結(jié)論論的產(chǎn)生式式系統(tǒng)的推推理方式是是 正向推理理 人工智能的的遠(yuǎn)期目標(biāo)標(biāo)是 制造智能能機(jī)器，近期目目標(biāo)是實(shí)現(xiàn)機(jī)機(jī)器智能。利用歸結(jié)原原理證明定定理時(shí)，若若得到的歸歸結(jié)式為 空集 ，則結(jié)論論成立。在啟發(fā)式搜搜索當(dāng)中，通通常用 啟發(fā)函函數(shù) 來表表示啟發(fā)性性信息。二、選擇題題選擇題：（113小題，共共13分）1.人工智智能的含義義最早由一一位科學(xué)家家于19550年提出出，并且同同時(shí)提出一一

12、個(gè)機(jī)器智智能的測試試模型，請請問這個(gè)科科學(xué)家是（CC）。 AA. 明斯斯基 BB. 扎德德 CC. 圖靈靈 D. 馮.諾依曼2.下列哪哪個(gè)不是人人工智能的的研究領(lǐng)域域（D ） AA.機(jī)器器證明 BB.模式式識別 CC. 人工工生命 D. 編譯譯原理3.神經(jīng)網(wǎng)網(wǎng)絡(luò)研究屬屬于下列（BB ）學(xué)派派 AA. 符號號主義 BB. 連接接主義 CC. 行為為主義 D. 都不不是4.已知初初始問題的的描述，通通過一系列列變換把此此問題最終終變?yōu)橐粋€(gè)個(gè)子問題集集合；這些些子問題的的解可以直直接得到，從從而解決了了初始問題題。這是知知識表示法法叫（B ） AA. 狀態(tài)態(tài)空間法 BB. 問題題歸約法 CC. 謂詞

13、詞邏輯法 D. 語義義網(wǎng)絡(luò)法5.在公式式中yxp(xx,y)，存在量量詞是在全全稱量詞的的轄域內(nèi)，我我們允許所所存在的xx可能依賴賴于y值。令這種依依賴關(guān)系明明顯地由函函數(shù)所定義義，它把每每個(gè)y值映映射到存在在的那個(gè)xx。這種函函數(shù)叫做（BB ） AA. 依賴賴函數(shù) BB. Skkolemm函數(shù) CC. 決定定函數(shù) D. 多元元函數(shù)6.子句PQ和PP經(jīng)過消解解以后，得得到（ BB） AA. P BB. Q CC. PPQ7,8.AA（AB）A 稱稱為（ CC ），（AB）AB稱稱為（D ）結(jié)合律 B.分配配律 CC.吸收律律 D.摩根律9,10.如果問題題存在最優(yōu)優(yōu)解，則下下面幾種搜搜索算法中

14、中，（ AA ）必然然可以得到到該最優(yōu)解解，（ D）可以以認(rèn)為是“智能程度度相對比較較高”的算法。廣度優(yōu)先搜搜索深度優(yōu)先搜搜索有界深度優(yōu)優(yōu)先搜索啟發(fā)式搜索索11.產(chǎn)生生式系統(tǒng)的的推理不包包括（D ） AA. 正向向推理 BB. 逆向向推理 CC. 雙向向推理 D. 簡單單推理12.下列列哪部分不不是專家系系統(tǒng)的組成成部分（A ） AA. 用戶戶 BB. 綜合合數(shù)據(jù)庫 CC. 推理理機(jī) D. 知識識庫 13. 要要想讓機(jī)器器具有智能能，必須讓讓機(jī)器具有有知識。因因此，在人人工智能中中有一個(gè)研研究領(lǐng)域，主主要研究計(jì)計(jì)算機(jī)如何何自動獲取取知識和技技能，實(shí)現(xiàn)現(xiàn)自我完善善，這門研研究分支學(xué)學(xué)科叫（BB

15、）。 AA. 專家家系統(tǒng) BB. 機(jī)器器學(xué)習(xí) CC. 神經(jīng)經(jīng)網(wǎng)絡(luò) D. 模式式識別！14、AII的英文縮縮寫是BA)Auttomattic IIntellligeence B)Arrtifiical InteelliggenceeC)Auttomattice Infoormattion D)Arrtifiical Infoormattion15、反演演歸結(jié)（消消解）證明明定理時(shí)，若若當(dāng)前歸結(jié)結(jié)式是（CC ）時(shí)，則則定理得證證。A)永真式式B)包孕孕式（suubsummed）C)空子子句16、從已已知事實(shí)出出發(fā)，通過過規(guī)則庫求求得結(jié)論的的產(chǎn)生式系系統(tǒng)的推理理方式是（ A）A)正向推推理B)反向推

16、推理C)雙向推推理17、語義義網(wǎng)絡(luò)表達(dá)達(dá)知識時(shí)，有有向弧AKKO 鏈、ISA 鏈?zhǔn)怯脕韥肀磉_(dá)節(jié)點(diǎn)點(diǎn)知識的（CC ）。A)無悖性性 B)可擴(kuò)擴(kuò)充性 C)繼承承性18、(AAB)A = B是CCA)附加律律B)拒收收律C)假言言推理D)USS19、命題題是可以判判斷真假的的DA)祈使句句B)疑問問句C)感嘆嘆句D)陳述述句20、僅個(gè)個(gè)體變元被被量化的謂謂詞稱為AA)一階謂謂詞B)原子子公式C)二階階謂詞D)全稱稱量詞21、MGGU是AA)最一般般合一B)最一一般替換C)最一一般謂詞D)基替替換22、19997年月，著名名的“人機(jī)大戰(zhàn)戰(zhàn)”，最終計(jì)計(jì)算機(jī)以33.5比22.5的總總比分將世世界國際象象棋

17、棋王卡卡斯帕羅夫夫擊敗，這這臺計(jì)算機(jī)機(jī)被稱為（AA ）A）深藍(lán) B）IBM C）深思思 D）藍(lán)天天23、下列列不在人工工智能系統(tǒng)統(tǒng)的知識包包含的4個(gè)個(gè)要素中DDA)事實(shí)B)規(guī)則則C)控制制和元知識識D)關(guān)系系24、謂詞詞邏輯下，子子句, CC1=LC1, C2= LLC2,若是互補(bǔ)文文字的（最最一般）合合一置換，則則其歸結(jié)式式C=（ AA ）A) C11C2B)C1C2C)C1C2D)C1 C225、或圖圖通常稱為為DA）框架網(wǎng)網(wǎng)絡(luò) B)語義義圖 C)博亦亦圖 D)狀態(tài)態(tài)圖26、不屬屬于人工智智能的學(xué)派派是BA)符號主主義 B)機(jī)會會主義 C)行為為主義 D)連接接主義。27、人工工智能是一一

18、門DA)數(shù)學(xué)和和生理學(xué) B)心理理學(xué)和生理理學(xué) C)語言言學(xué)D)綜合性性的交叉學(xué)學(xué)科和邊緣緣學(xué)科 D28、下列列不在人工工智能系統(tǒng)統(tǒng)的知識包包含的4個(gè)個(gè)要素中DDA) 事實(shí)實(shí)B) 規(guī)規(guī)則C) 控控制D) 關(guān)關(guān)系29、當(dāng)前前歸結(jié)式是是（C）時(shí)時(shí)，則定理理得證。A) 永真真式B 包孕孕式（suubsummed）C) 空空子句30、或圖圖通常稱為為DA）框架網(wǎng)網(wǎng)絡(luò) B)語義義圖 C)博亦亦圖 D)狀態(tài)態(tài)圖31、所謂謂不確定性性推理就是是從( BB )的初初始證據(jù)出出發(fā)，通過過運(yùn)用( )的知知識，最終終推出具有有一定程度度的不確定定性但卻是是合理或者者近乎合理理的結(jié)論的的思維過程程。A)不確定定性,

19、不確定定性 B)確定定性, 確定性性C)確定性性, 不確定定性 D) 不不確定性 確定性性32、C(B|A) 表示在在規(guī)則A-B中，證證據(jù)A為真真的作用下下結(jié)論B為為真的BA)可信度度 B)信度度 C)信任任增長度 D)概率率33. 謂謂詞邏輯下下，子句, C1=LC1, C2= LLC2,若是互補(bǔ)文文字的（最最一般）合合一置換，則則其歸結(jié)式式C=（ AA ）A) C11C2B)C1C2C)C1C2D)C1 C2簡答題1.將下列列自然語言言轉(zhuǎn)化為謂謂詞表示形形式：所有的人都都是要呼吸吸的。每個(gè)學(xué)生都都要參加考考試。任何整數(shù)或或是正的或或是負(fù)的。解：設(shè) M(x)：x是人人,H(xx)：x要要呼吸

20、。 PP(x)：x是學(xué)生生， Q(x)：xx要參加考考試。 JJ(x)：x是整數(shù)數(shù)， R(x)：xx是正數(shù)，NN(x)：x是負(fù)數(shù)數(shù)。則上述三題題就記為：(1) VV-x(MM(x)H(x)(2) VV-x(PP(x)Q(x)(3) VV-x(II(x)R(x)N(x)2.何謂“圖靈實(shí)驗(yàn)驗(yàn)”？簡單描描述之答：所謂“圖靈實(shí)驗(yàn)驗(yàn)”，是為了了判斷一臺臺機(jī)器是否否具備智能能的實(shí)驗(yàn)。實(shí)驗(yàn)由三三個(gè)封閉的的房間組成成，分別放放置主持人人、參與人人和機(jī)器。主持人向向參與人和和機(jī)器提問問，通過提提問的結(jié)果果來判斷誰誰是人，誰誰是機(jī)器。如果主持持人無法判判斷誰是人人，誰是機(jī)機(jī)器，則這這臺機(jī)器具具備智能，即即所謂的“

21、智能機(jī)器器”。3.寫出圖圖中樹的結(jié)結(jié)點(diǎn)兩個(gè)訪訪問序列，要要求分別滿滿足以下兩兩個(gè)搜索策策略：51423678910111213深度優(yōu)先搜搜索廣度優(yōu)先搜搜索解：（）深深度優(yōu)先搜搜索：（）廣度度優(yōu)先搜索索：4.試實(shí)現(xiàn)現(xiàn)一個(gè)“大學(xué)教師師”的框架，大大學(xué)教師類類屬于教師師，包括以以下屬性：學(xué)歷（學(xué)學(xué)士、碩士士、博士）、專業(yè)（計(jì)計(jì)算機(jī)、電電子、自動動化、）、職稱稱（助教、講師、副副教授、教教授）解：框架名名：類屬：學(xué)歷：(學(xué)學(xué)士、碩士士、博士)專業(yè)：（計(jì)計(jì)算機(jī)、電電子、自動動化、.）職稱：（助助教、講師師、副教授授、教授）5.用謂詞詞邏輯形式式化下列描描述“不存在最最大的整數(shù)數(shù)”解：定義謂謂詞G(xx)

22、：x為為整數(shù)D(x,yy)：x大大于y形式化為：或者6.用語義義網(wǎng)絡(luò)表示示“蘋果”知識。7. 什么么是產(chǎn)生式式？產(chǎn)生式式規(guī)則的語語義是什么么？答：產(chǎn)生式式規(guī)則基本本形式：PPQ 或或者 IIF PP THHEN QP 是產(chǎn)生生式的前提提（前件），用用于指出該該產(chǎn)生式是是否可用的的條件Q 是一組組結(jié)論或操操作（后件件），用于于指出當(dāng)前前提 P 所指示的的條件滿足足時(shí)，應(yīng)該該得出的結(jié)結(jié)論或應(yīng)該該執(zhí)行的操操作產(chǎn)生式規(guī)則則的語義：如果前提提P被滿足足，則可推推出結(jié)論 Q 或執(zhí)執(zhí)行 Q 所規(guī)定的的操作8. 謂詞詞公式G通通過個(gè)步步驟所得的的子句集合合S，稱為為G的子句句集。請寫寫出這些步步驟。答：(1）

23、消去去蘊(yùn)含式和和等價(jià)式， (2）縮小小否定詞的的作用范圍圍，直到其其作用于原原子公式: (3）適當(dāng)當(dāng)改名，使使量詞間不不含同名指指導(dǎo)變元和和約束變元元。(4.）消消去存在量量詞（形成成Skollem標(biāo)準(zhǔn)準(zhǔn)型） (5）消去去所有全稱稱量詞(6) 化化成合取范范式(7).適適當(dāng)改名，使使子句間無無同名變元元( 8).消去合取取詞，用逗號號代替，以以子句為元元素組成一一個(gè)集合SS9. （11）已知SS=P(f(x),y,gg(y),P(ff(x),z,g(x)，求MGGU（2）已知知W=PP(f(xx,g(AA,y),z),P(f(x,z),z)，求MGGU解：（1）k=0;S00=S;0=;S0不

24、不是單元素素集，求得得差異集DD0=yy,z,其中y是是變元，zz是項(xiàng)，且且y不在zz中出現(xiàn)。k=k+1=1有1=0z/yy=z/yy=zz/y，S1=S00z/yy=PP(f(xx),z,g(z),PP(f(xx),z,g(x),SS1不是單單元素集，求得差異集集D1=z,x,k=kk+1=22;2=1z/xx=zz/y,zz/x,S2=S11z/xx=PP(f(zz),z,g(z)是是單元素集集。根據(jù)求MGGU算法，MMGU=2=zz/y,zz/x（2）k=0;S00=S;0=;S0不不是單元素素集，求得得差異集DD0=gg(A,yy),z,其中z是是變元，gg(A,yy)是項(xiàng)，且且z不在

25、gg(A,yy)中出現(xiàn)現(xiàn)。k=kk+1=11有1=0g(AA,y)/z=g(A,y)/z=g(AA,y)/z，S1=S00g(AA,y)/z=P(f(x,g(A,y),g(A,y),SS1是單元元素集。根據(jù)求MGGU算法，MMGU=1=gg(A,yy)/z10.（11） 證明明G是否是是F的邏輯輯結(jié)論；證:P(x)從從F變換Q(a)Q(x)從從F變換P(yy)Q(yy)結(jié)結(jié)論的否定定Q(xx)歸結(jié),x/y歸結(jié),置置換a/x得證。（2）證明明G是否是是F1、FF2的邏輯輯結(jié)論；證:PP(x)Q(x)從從F1變換換P(yy)R(y)從從F1變換換P(a)從從F2變換換S(a)從從F2變換換S(zz

26、)R(zz)結(jié)結(jié)論的否定定R(a)歸結(jié)aa/yR(aa)歸結(jié)aa/z歸結(jié)得證.11. 11、用語義義網(wǎng)絡(luò)表示示下列信息息：(1)胡途途是思源公公司的經(jīng)理理，他355歲，住在在飛天胡同同68號清華大學(xué)與與北京大學(xué)學(xué)進(jìn)行藍(lán)球球比賽，最最后以899：1022的比分結(jié)結(jié)束。（3）將命命題：“某個(gè)學(xué)生生讀過三國國演義”分別用謂謂詞公式和和語義網(wǎng)絡(luò)絡(luò)表示答：謂詞公公式表示：x(sttudennt(x)readd(x,三三國演義)語義網(wǎng)絡(luò)表表示如圖：（4）把語語句“每個(gè)學(xué)生生都喜歡老老師上的一一門課。”表示為語語義網(wǎng)絡(luò)。（5）請把把下列命題題表示的事事實(shí)用一個(gè)個(gè)語義網(wǎng)絡(luò)絡(luò)表示出來來。 1)樹樹和草都是是植物

27、； 2)樹樹和草都是是有根有葉葉的； 3)水水草是草，且且長在水中中； 4)果果樹是樹，且且會結(jié)果； 5)櫻櫻桃樹是一一種果樹，它它結(jié)櫻桃。（6）用語語義網(wǎng)絡(luò)表表示下列事事實(shí)姚明是一位位年近半百百的男教師師，中等身身材，他在在本學(xué)年第第二學(xué)期給給計(jì)算機(jī)專專業(yè)學(xué)生講授“人工智能能”課程。該該課程是一一門選修課課，比較難難。13. 圖圖示博弈樹樹，其中末末一行的數(shù)數(shù)字為假設(shè)設(shè)的估值，請請利用-剪枝技術(shù)術(shù)剪去不必必要的分枝枝。（在節(jié)節(jié)點(diǎn)及邊上上直接加注注釋）14. 設(shè)設(shè)有如下關(guān)關(guān)系：（11）如果xx是y的父父親，y又又是z的父父親，則xx是z的祖祖父；（2）老李李是大李的的父親；（33）大李是是小李

28、的父父親；問上上述人員中中誰和誰是是祖孫關(guān)系系？解:現(xiàn)定義義如下謂詞詞F(x,yy)- x是y的的父親;G(x,zz)- x是y的的祖父;用謂詞邏輯輯表示已知知與求解:(1) F(x,y)F(y,z)G(x,z)(2) FF(L,DD)(3) FF(D,XX)(4) GG(u,vv),u=?,v=?其中,L表表示老李,D表示大大李,X表表示小李。先證存在祖祖孫關(guān)系 F(x,y)F(yy,z)G(x,z)從(11)變換 F(LL,D)從從(2)變變換 F(DD,X)從從(3)變變換 G(u,v)結(jié)結(jié)論的否定定 F(D,z)G(L,z)歸結(jié),置置換L/x,D/y G(LL,X)歸結(jié),置置換X/z

29、歸結(jié),置置換L/u,X/v得證,說明明存在祖孫孫關(guān)系。為了求解用用一個(gè)重言言式 G(u,v)G(u,v) 用重重言式代替替結(jié)論的否否定,重言言式恒為真真 F(D,z)G(L,z)歸結(jié),置置換L/x,D/y G(LL,X)歸結(jié),置置換X/z G(LL,X)歸結(jié),置置換L/u,X/v得結(jié)果:LL是X的祖祖父，即老老李是小李李的祖父。15解釋下下列模糊性性知識：1) 張三三，體型，（胖胖，0.99）。2) (患患者，癥狀狀，(頭疼疼，0.995) ) (患者者，癥狀，(發(fā)燒，11.1) ) (患者，疾疾病，(感感冒，1.2) )答：（1）表表示：命題題“張三比較較胖” （22）解釋為為：如果患患者有

30、些頭頭疼并且發(fā)發(fā)高燒，則則他患了重重感冒。16. 簡簡單闡述產(chǎn)產(chǎn)生式系統(tǒng)統(tǒng)的組成。答：（1）產(chǎn)產(chǎn)生式規(guī)則則庫：描述述相應(yīng)領(lǐng)域域知識的產(chǎn)產(chǎn)生式規(guī)則則集（2）數(shù)據(jù)據(jù)庫：（事事實(shí)的集合合）存放問問題求解過過程中當(dāng)前前信息的數(shù)數(shù)據(jù)結(jié)構(gòu)（初初始事實(shí)、外部數(shù)據(jù)據(jù)庫輸入的的事實(shí)、中中間結(jié)果事事實(shí)和最后后結(jié)果事實(shí)實(shí)）（3）推理理機(jī)：（控控制系統(tǒng)）是是一個(gè)程序序，控制協(xié)協(xié)調(diào)規(guī)則庫庫與數(shù)據(jù)庫庫的運(yùn)行，包包含推理方方式和控制制策略。17. 試試用線性消消解策略證證明：子句句集S= PQ, PR, QR, R 是可可消解的。18廣度優(yōu)優(yōu)先搜索與與深度優(yōu)先先搜索各有有什么特點(diǎn)點(diǎn)？19.語義義網(wǎng)絡(luò)可以以表達(dá)事物物之間的哪

31、哪些關(guān)系？20.假設(shè)設(shè)已知下列列事實(shí)： （1）超市市（Suppermaarkett）賣（Saail）的的商品(GGoodss)便宜(Chheap)。 （2）王（Waang）買買（Buyy）需要的的（Wannt）便宜宜商品。 （3）自行行車（Biicyclle）是商商品且超市市賣自行車車。 （4）王需需要自行車車。 （5）趙（Zhhao）跟跟隨王買同同樣的商品品。 請應(yīng)用歸結(jié)結(jié)反演證明明方法回答答以下問題題： （1）王買買自行車嗎嗎？ （2）趙買買什么商品品？ 21.已知知一個(gè)使用用可信度方方法的推理理網(wǎng)絡(luò)如圖圖所示，其其證據(jù)的可可信度均標(biāo)標(biāo)示在圖中中。推理規(guī)規(guī)則的可信信度分別為為：ABH, 0

32、0.7CDH, 00.9EH, 00.3試按照可信信度方法的的求解步驟驟計(jì)算每個(gè)個(gè)證據(jù)節(jié)點(diǎn)點(diǎn)對假設(shè)HH推理的可可信度，并并據(jù)此推算算全部證據(jù)據(jù)（復(fù)合證證據(jù)）對于于H推理的可可信度。 22. 求求子句R(x, yy)Q(B, y)W(x, f(yy) 和和R(x, C)Q(y, C) 的歸結(jié)式式。23. 何何謂估價(jià)函函數(shù)？啟發(fā)發(fā)式圖搜索索的A算法和A*算法最顯顯著的區(qū)別別是什么？24. 什什么是置換換？置換是是可交換的的嗎？答: 通常常用有序?qū)Φ募蟬st11/v1，tt2/v22，tn/vn來來表示任一一置換，置置換集的元元素ti/vi的含含義是表達(dá)達(dá)式中的變變量vi處處處以項(xiàng)tti來替換換

33、，用s對對表達(dá)式EE作置換后后的例簡記記為Es。一般來說說，置換是是不可交換換的，即兩兩個(gè)置換合合成的結(jié)果果與置換使使用的次序序有關(guān)。25. 給給19九九個(gè)數(shù)字排排一個(gè)序列列，使得該該序列的前前n(n=1,.,9) 個(gè)數(shù)字字組成的整整數(shù)能被nn整除。(1)、討論哪哪些知識可可以幫助該該問題的求求解。(2)、用產(chǎn)生式式系統(tǒng)描述述該問題.答；如下的的知識可以以幫助求解解該問題：（1）序序列中，偶偶數(shù)在偶數(shù)數(shù)位置，奇奇數(shù)在奇數(shù)數(shù)位置；（22）第五個(gè)個(gè)數(shù)為5。綜合數(shù)據(jù)據(jù)庫：用一一個(gè)1到99的序列表表示：N = xx，其中中x為1到到9的數(shù)字字之一。規(guī)規(guī)則集：rr1: IIF leen(N)=4 TTH

34、EN x5rr2: IIF leen(N)為偶數(shù)aand nn=In(1, 33, 7, 9) THENN xnr3: IF llen(NN)為奇數(shù)數(shù)and n=Inn(2, 4, 66, 8) THEEN xxnn其中l(wèi)len(NN)為求序序列的長度度，In(a, bb, c, d)為為取a、bb、c、dd之一。初初始狀態(tài)：結(jié)束束條件：得得到的序列列N前i個(gè)個(gè)數(shù)組成的的整數(shù)能被被i整除26. .剪剪枝的條件件是什么？答: 剪剪枝：若任任一極小值值層節(jié)點(diǎn)的的值小于于或等于它它任一先輩輩極大值節(jié)節(jié)點(diǎn)的值值，即（先先輩層）（后繼繼層），則則可中止該該極小值層層中這個(gè)MMIN節(jié)點(diǎn)點(diǎn)以下的搜搜索過程。

35、這個(gè)MIIN節(jié)點(diǎn)最最終的倒推推值就確定定為這個(gè)值。剪剪枝：若任任一極大值值層節(jié)點(diǎn)的的值大于于或等于它它任一先輩輩極小值層層節(jié)點(diǎn)的值，即（后繼層層）（先先輩層），則則可以中止止該極大值值層中這個(gè)個(gè)MAX節(jié)節(jié)點(diǎn)以下的的搜索過程程。這個(gè)MMAX節(jié)點(diǎn)點(diǎn)的最終倒倒推值就確確定為這個(gè)個(gè)值。28、人工工智能主要要有哪幾種種研究途徑徑和技術(shù)方方法，簡單單說明之。答：（）符符號智能：主要以符符號知識為為基礎(chǔ)，通通過符號推推理進(jìn)行問問題求解而而實(shí)現(xiàn)的智智能，主要要包括知識識工程和符符號處理技技術(shù)；（）計(jì)算算智能：是是以數(shù)據(jù)計(jì)計(jì)算為基礎(chǔ)礎(chǔ)，通過數(shù)數(shù)值計(jì)算進(jìn)進(jìn)行問題求求解而實(shí)現(xiàn)現(xiàn)的智能，包包括人工神神經(jīng)網(wǎng)絡(luò)，進(jìn)進(jìn)化計(jì)

36、算，模模糊技術(shù)等等。1、（1）將將下列謂詞詞公式化成成子句集答：（2）把下下列謂詞公公式分別化化成相應(yīng)的的子句集：x(yP(x,y)y(Q(x,y)RR(x,yy)解：x(yyP(x,y)y(Q(x,y)R(xx,y)=x(yP(x,y)y(Q(xx,y)R(x,y)=x(yP(xx,y)y(Q(x,y)R(x,y)=x(yP(x,y)y(QQ(x,yy)RR(x,yy)=x(yP(x,y)y(QQ(x,yy)RR(x,yy).改名）=x(yP(x,y)z(QQ(x,zz)RR(x,zz)=x(yP(x,y)z(QQ(x,zz)RR(x,zz).y=ff(x),z=g(x)消去去存在量詞詞y,

37、z=x(P(xx,f(xx)(Q(x,g(x)RR(x,gg(x)=x(P(x,f(x)(Q(xx,g(xx)(P(x,f(x)R(xx,g(xx)從而謂詞公公式的子句句集是P(xx,f(xx)(Q(x,g(x)，P(xx,f(xx)R(x,g(x)2.若謂詞詞公式E=P(x,f(y),z),置換s11=f(x,y)/z,zz/w，ss2=aa/x,bb/y,ww/z，求求E（s11s2），EE（s2s1）。ABEDC4532343.用加權(quán)權(quán)圖的啟發(fā)發(fā)式搜索算算法（不能能用Dijjkstrra算法）求求解下列問問題：下圖圖是一個(gè)交交通圖，設(shè)設(shè)A是出發(fā)發(fā)地，E是是目的地，邊邊上的數(shù)字字表示兩城城

38、市之間的的交通費(fèi)。求從A到到E最小費(fèi)費(fèi)用的旅行行路線，畫畫出搜索樹樹，畫出CCloseed表和OOpen表表的變化過過程。4.用標(biāo)準(zhǔn)準(zhǔn)邏輯（經(jīng)經(jīng)典邏輯，謂謂詞邏輯）的的子句集表表示下述刑刑偵知識，并并用反演歸歸解的線性性策略證明明結(jié)論現(xiàn)定義如下下謂詞（其其項(xiàng)變量XX，Y，ZZ，皆為全全稱量詞）。Thieff(X)-某人X是是賊；Likess(X,YY)-某某人X喜歡歡某物Y；May-ssteall(X,YY)-某某人X可能能會偷竊某某物Y。5.用子句句集表達(dá)下下述刑偵知知識：I. Joohn是賊賊。II. PPaul喜喜歡酒（wwine）III. Paull( 也)喜歡奶酪酪（cheeese）

39、IV. 如如果Pauul喜歡某某物則Joohn 也也喜歡某物物。V. 如果果某人是賊賊，而且他他喜歡某物物，則他就就可能會偷偷竊該物。 6.求證結(jié)結(jié)論:Joohn可能能會偷竊了了什么？即即求證目標(biāo)標(biāo)：mayy-steeal(JJohn,Z), Z=?（要要求將求證證目標(biāo)作為為頂子句，按按線性策略略進(jìn)行歸結(jié)結(jié)推理，注注明每次求求歸結(jié)式所所進(jìn)行的置置換及其父父子句的編編號）7.（1）已已知一組規(guī)規(guī)則和證據(jù)據(jù)（事實(shí)）：R1：A11B1,CCF（B11，A1）=0.8R2：A22B1,CCF（B11，A2）=0.5R3：B11A3-B2，CCF（B22，B1A3）=0.8初始證據(jù)AA1，A22，A3，

40、并并且CF(A1)=CF(AA2)=CCF(A33)=1, 并且初初始時(shí)對BB1，B22一無所知知。根據(jù)SShorttlifffe的確定定性理論（可可信度方法法），求證證據(jù)B1，BB2的可信信度在執(zhí)行行規(guī)則R11，R2，RR3后的更更新值CFF(B1),CF(B2)。（2）已知知有如下不不確定推理理規(guī)則： r1：C111C12 H11 0.7； r2：H11 H 00.5； r3：C221C22 H 0.6； r4：(CC31C32)C33 H 0.8； CCF(C111) = 0.88， CFF(C122) = 0.9，CF(CC21) = 0.3，CF(CC22) = 0.6， CCF(C

41、331) = 0.99，CF(CC32) = 0.5，CF(CC33) =0.77； 請應(yīng)用MYYCIN的的確定性方方法求出CCF(H)。 8.設(shè)有AA，B，CC三人中有有人從不說說真話，也也有人從不不說假話，某某人向這三三人分別提提出同一個(gè)個(gè)問題：誰誰是說謊者者？A 答答：“B和和C都是說說謊者”；B答：“A和C都都是說謊者者”；C答答：“A和和B中至少少有一個(gè)是是說謊者”。求誰是是老實(shí)人，誰誰是說謊者者？（155分）解：設(shè)用(x)表表示x說真真話。如果說的是真真話，則有有如果說的是假假話，則有有：對和和說的話話作相同的的處理，可可得：把上面面這些公式式化成子句句集，得到到：下面首首先求誰是

42、是老實(shí)人。把并入得到。即即比多如如下一個(gè)子子句：應(yīng)用消消解原理對對進(jìn)行行消解：所以，是老實(shí)人人，即從從不說假話話除此之之外，無論論如何對進(jìn)進(jìn)行消解，都都推不出AANSWEER(B)和ANSSWER(A)。下面來來證明和和不是老老實(shí)人。設(shè)不不是老實(shí)人人，則有把把它否定并并入中，得得到子句集集，即比多多如下一個(gè)個(gè)子句： 應(yīng)用消消解原理對對2進(jìn)行行消解：所以，不是老實(shí)實(shí)人。同理，可可以證明也不是老老實(shí)人。9. 1）設(shè)設(shè)已知:(1)能閱閱讀者是識識字的;(2)海豚豚不識字;(3)有些些海豚是聰聰明的;求證:有些些聰明者并并不能閱讀讀.證:定義如如下命題:R(x):x能閱讀讀; L(x):x識字; I(

43、x):x是聰明明的; D(x):x是海豚豚; 把已知條件件及求證結(jié)結(jié)論翻譯成成謂詞公式式為x(R(xx)L(x).已知知 x(D(xx)LL(x).已已知 x(D(xx)I(x).已知知 x(I(xx)RR(x).求求證結(jié)論 將已知條件件,求證結(jié)結(jié)論的反化化成子句集集R(xx)L(x)D(yy)L(y)D(a)I(a)I(zz)R(z)L(aa).22,3歸結(jié)結(jié)a/yR(aa).11,6歸結(jié)結(jié)a/xR(a).4,5歸結(jié)a/z.77,8歸結(jié)結(jié)得證.2）利用謂謂詞邏輯表表示下列知知識（包括括已知和結(jié)結(jié)論），然然后化成子子句集： （1）凡是是清潔的東東西就有人人喜歡；（2）人們們都不喜歡歡蒼蠅求證：

44、蒼蠅蠅是不清潔潔的。證：現(xiàn)定義義如下謂詞詞L(x,yy)-某某人x喜歡歡某物y；P(y)- 某物物y是清潔潔的東西(1) yyx(P(yy)L(x,y) = P(y)L(f(y),y)(2) xx(L(x,Flly) = L(x,Flly)(3) PP(Flyy) 結(jié)論的的反(4) LL(f(Flly), Fly) (1)(33)歸結(jié),置換FFly/yy(5) (2)(44)歸結(jié),f(FFly)/x得證。10. 八八數(shù)碼游戲戲，初始棋棋局和目標(biāo)標(biāo)棋局如圖圖，定義啟啟發(fā)函數(shù)hh（x）表表示某狀態(tài)態(tài)下與目標(biāo)標(biāo)數(shù)碼不同同的位置個(gè)個(gè)數(shù)，用全全局擇優(yōu)法法畫出搜索索的過程。初始狀態(tài)：，目標(biāo)狀狀態(tài)：解：11

45、. 張張某被盜，公公安局派了了五個(gè)偵察察員去調(diào)查查。研究案案情時(shí)，偵偵察員說說：“趙與與錢中至少少有一人作作案”；偵偵察員說說：“錢與與孫至少有有一人作案案”；偵察察員說：“孫與李李中至少有有一個(gè)作案案”；偵察察員說“趙與孫至至少一個(gè)與與案無關(guān)”；偵察員員說“錢錢與李中至至少有一人人與此案無無關(guān)”。如如果這五個(gè)個(gè)偵察員的的話都是可可信的，試試用消解原原理推理求求出誰是盜盜竊犯。解：設(shè)用TT(x)表表示x是作作案者，則則偵偵察員A的的話可表示示：T(趙趙)T(錢錢)偵偵察員B的的話可表示示：T(錢錢)T(孫孫)偵偵察員C的的話可表示示：T(孫孫)T(李李)偵偵察員D的的話可表示示：T(趙趙) T

46、(孫孫)偵偵察員E的的話可表示示：T(錢錢) T(李)上面五五個(gè)組成子子句集S，求求誰是作案案者，把TT(x)AANSWEER(x)并入S11得到。即即比S1多出如下下一個(gè)子句句：T(xx)ANSSWER(x)然后利用消消解原理對對S1進(jìn)行消解解可得答案案：錢和孫孫是作案者者。12. 某某企業(yè)欲招招聘一個(gè)JJAVA程程序員，定定義如下產(chǎn)產(chǎn)生式規(guī)則則(要求)：r1: IIF有工作作經(jīng)驗(yàn) oor (本本科以上學(xué)學(xué)歷 aand 有有相關(guān)知識識背景 tthen 錄用（00.9)r2:IFF 工作兩兩年以上 and 作過相關(guān)關(guān)工作 tthen 有工作經(jīng)經(jīng)驗(yàn) （00.8）r3:IFF 學(xué)過數(shù)數(shù)據(jù)結(jié)構(gòu) an

47、d 學(xué)過JAAVA aand 學(xué)學(xué)過數(shù)據(jù)庫庫 andd 學(xué)過過軟件工程程 theen 有相相關(guān)知識背背景(0.9)r4:學(xué)過過數(shù)據(jù)結(jié)構(gòu)構(gòu)（相關(guān)課課程的成績績/1000 ）r5:學(xué)過過JAVAA（相關(guān)課課程的成績績/1000 ）r6:學(xué)過過數(shù)據(jù)庫（相相關(guān)課程的的成績/1100 ）r7:學(xué)過過軟件工程程（相關(guān)課課程的成績績/1000 ）r8:做過過相關(guān)工作作： JJAVA程程序員：11，項(xiàng)目經(jīng)經(jīng)理：1，數(shù)數(shù)據(jù)庫開發(fā)發(fā)工程師：0.9，數(shù)數(shù)據(jù)庫管理理員：0.7,網(wǎng)絡(luò)絡(luò)管理員：0.6，客客服人員：0.4設(shè)有一本科科畢業(yè)生甲甲，其相關(guān)關(guān)課程的成成績?yōu)閿?shù)據(jù)據(jù)結(jié)構(gòu)=885,JAAVA=880,數(shù)據(jù)據(jù)庫=400

48、,軟件工工程=900另有一社會會招聘人員員乙，參加加工作三年年，曾做過過數(shù)據(jù)庫管管理員和數(shù)數(shù)據(jù)庫開發(fā)發(fā)人員根據(jù)確定性性理論，問問該公司應(yīng)應(yīng)該招聘誰誰？如果你你是該本科科生，為了了能在招聘聘中勝出，你你應(yīng)該加強(qiáng)強(qiáng)哪門課程程，并使該該門課程的的成績至少少達(dá)到多少少？解：（1）對對于本科畢畢業(yè)生，由由r4，rr5，r66，r7：CF（學(xué)過過數(shù)據(jù)結(jié)構(gòu)構(gòu)）=0.6CF（學(xué)過過JAVAA）=0.8CF（學(xué)過過數(shù)據(jù)庫）=0.4CF（學(xué)過過軟件工程程）=0.9由r3，CF（有相相關(guān)知識背背景）=00.9*mmin00.85,0.8,0.4,0.9=0.336CF（本科科學(xué)歷）=1由r1，CF（錄用用）=0.9

49、*miin0.36，11=0.324（2）對于于社會招聘聘人員，由由r8，CF（相關(guān)關(guān)工作）=0.9CF（工作作兩年以上上）=1由r2，CF（有工工作經(jīng)驗(yàn)）=0.8*min1，0.9=00.72由r1，CF（錄用用）=0.9*0.72=00.6488所以，該公公司應(yīng)錄用用社會招聘聘人員乙。（3）可以以看出，應(yīng)應(yīng)該加強(qiáng)數(shù)數(shù)據(jù)庫的學(xué)學(xué)習(xí)，并使使該門課程程達(dá)到800分以上。13. 某某問題由下下列公式描描述：試用歸結(jié)法法證明(xx)R(xx)；14. 下下圖所示博博弈樹，按按從左到右右的順序進(jìn)進(jìn)行-剪枝搜索索，試標(biāo)明明各生成節(jié)節(jié)點(diǎn)的到推推值，何處處發(fā)生剪枝枝，及應(yīng)選選擇的走步步。10分分15.剪枝枝

50、方法只是是極小極大大方法的一一種近似，剪剪枝可能會會遺漏掉最最佳走步。這種說法法是否正確確？不正確。 剪枝枝方法利用用已經(jīng)搜索索的信息，剪剪掉哪些對對于搜索最最佳走步?jīng)]沒有意義的的分枝，其其找到的最最佳走步與與極小極大大方法找到到的結(jié)果是是一樣的。而且搜索索效率有很很大提高。什么是人工工智能？人人工智能與與計(jì)算機(jī)程程序的區(qū)別別？答：AI是是研究如何何制造人造造的智能機(jī)機(jī)器或智能能系統(tǒng)來模模擬人類智智能活動的的能力以延延伸人類智智能的科學(xué)學(xué)，它與計(jì)計(jì)算機(jī)程序序的區(qū)別是是：AI研究的的是符號表表示的知識識而不是數(shù)數(shù)值數(shù)據(jù)為為研究對象象AI采用啟啟發(fā)式搜索索方法而不不是普通的的算法控制結(jié)構(gòu)與與知識是

51、分分離的允許出現(xiàn)不不正確的答答案化下列邏輯輯表達(dá)式為為不含存在在量詞的前前束范式答：求下列謂詞詞公式的子子句集答：所以子句集集為：若有梯形AABCD，將將其中的若若干定理形形式化即定定義一些謂謂詞公式，然然后利用歸歸結(jié)原理證證明內(nèi)錯(cuò)角角CABD證明：設(shè)梯梯形頂點(diǎn)依依次為a,b,c,d,定義義謂詞:T(x,yy,u,vv):表示示xy為上上底,uvv為下底的的梯形.P(x,yy,u,vv):表示示xy|uvE(x,yy,z,uu,v,ww)表示xyz=uvw，問問題的描述述和相應(yīng)的的子句集為為xyuvT(x,y,u,v)P(x,y,u,v).梯形形上下底平平行子句：T(x,y,u,v)P(x,y

52、,u,v)xyuvvP(xx,y,uu,v)E(x,y,v,u,v,y).平行行則內(nèi)錯(cuò)交交相等子句：T(a,bb,c,dd).已知子句：T(a,b,c,d)E(a,b,d,c,d,b).要證明明的結(jié)論子句：EE(a,bb,d,cc,d,bb)子句集S為為T(x,y,u,v)P(x,y,u,v)P(x,y,u,v)E(x,y,v,u,v,y)T(a,bb,c,dd)E(a,b,d,c,d,b)下面利用歸歸結(jié)原理證證明P(a,bb,c,d)（1）和和（3）歸歸結(jié)，置換換a/xx,b/yy,c/uu,d/vvE(a,bb,d,cc,d,bb)（2）和和（5）歸歸結(jié)，置換換a/xx,b/yy,c/uu

53、,d/vvNIL（4）和和（6）歸歸結(jié)根據(jù)歸結(jié)原原理得證。求子句集的的MGU解：k=00;S0=S;0=;S0不不是單元素素集，求得得差異集DD0=aa/z,其中z是是變元，aa是項(xiàng)，且且z不在aa中出現(xiàn)。k=k+1=1有1=0a/zz=a/zz=aa/z，S1=S00a/zz=PP(a,xx,f(gg(y),P(aa,h(aa,u),f(u),SS1不是單單元素集，求得差異集集D1=x,h(a,u),k=k+1=2;2=1h(aa,u)/x=a/z,h(a,u)/xx,S2=S11h(aa,u)/x=P(a,h(a,u),ff(g(yy),PP(a,hh(a,uu),f(u)，S2不是單單元

54、素集，求求得差異集集D2=g(y),u,k=k+1=33=22g(yy)/u=a/z,h(a,u)/xg(yy)/u=a/z,h(a,g(y)/x,g(y)/uuS3=S22g(yy)/u=P(a,h(a,g(y),f(g(y)是單元元素集。根據(jù)求MGGU算法，MMGU=3=aa/z,hh(a,gg(y)/x,gg(y)/u用代價(jià)優(yōu)先先算法求解解下圖的旅旅行推銷員員問題，請請找一條從從北京出發(fā)發(fā)能遍歷各各城市的最最佳路徑（旅旅行費(fèi)最少少），每條條弧上的數(shù)數(shù)字表示城城市間的旅旅行費(fèi)用。并用CLLOSEDD表記錄遍遍歷過的結(jié)結(jié)點(diǎn)，OPPEN表記記錄待遍歷歷的結(jié)點(diǎn)。畫出cllosedd和opeen表

55、的變變化過程，然然后根據(jù)ccloseed表找出出最佳路徑徑。解：OPPEN表擴(kuò)展節(jié)點(diǎn)父節(jié)點(diǎn)A（0）NULLB（31）AC（28）AD（43）BC（54）BE（38）DC（59）DC（27）EA（51）ECLOSEE表擴(kuò)展節(jié)點(diǎn)父節(jié)點(diǎn)A（0）NULLC（28）AE（29）CD（38）EB（43）DA（31）B用框架表示示下述報(bào)導(dǎo)導(dǎo)的沙塵暴暴災(zāi)害事件件虛擬新華華社3月116日電昨日，沙塵塵暴襲擊韓韓國漢城，機(jī)機(jī)場與高速速公路被迫迫關(guān)閉，造造成的損失失不詳。韓韓國官方示示，如果需需要直接損損失情況，可可待一周后后的官方公公布的字。此次沙塵塵暴起因中中日韓專家家認(rèn)為是由由于中國內(nèi)內(nèi)蒙古區(qū)過過分墾牧破破壞

56、植被所所致。提示：分析析概括用下下劃線標(biāo)出出的要點(diǎn)，經(jīng)經(jīng)過概念化化形成槽（SSlot）并并擬出槽的的名稱，選選填側(cè)面（fface）值值。側(cè)面包包含“值（vaalue）”，“默認(rèn)值（default）”，“如果需要值（if-needed）”，“如果附加值（if-added）”幾個(gè)方面，用不到的側(cè)面值可刪除。FRAMEE： Slot11：Valuee：Defauult：If-neeededd：If-addded：Slot22：Valuee：Defauult：If-neeededd：If-addded：Slot33：Valuee：Defauult：If-neeededd：If-addded：解：FRA

57、MEE：沙塵暴Slot11：時(shí)間Valuee：3 月15 日Defauult：If-neeededd：If-addded：Slot22：地點(diǎn)Valuee：韓國漢城城Defauult：If-neeededd：If-addded：Slot33：損失Valuee：不詳Defauult：If-neeededd：一周后官官方公布數(shù)數(shù)字If-addded：Slot44：起因Defauult：中中國內(nèi)蒙古古區(qū)1. (55分)什么么是“知識工程程”？它對人人工智能的的發(fā)展有何何重要作用用？2. (110分)請請用相應(yīng)的的謂詞公式式表示下述述語句：（1）有的的人喜歡足足球，有的的人喜歡排排球，有的的人既喜歡歡足

58、球又喜喜歡排球。（2）不是是每一個(gè)人人都喜歡游游泳。（3）如果果沒有利息息，那么就就沒有人愿愿意去存錢錢。（4）對于于所有的xx和y，如如果x是yy的父親，yy是z的父父親，那么么x是z的的祖父。（5）對于于所有的xx和y，如如果x是yy的孩子，那那么y是xx的父母。（6）登高高望遠(yuǎn)。（7）響鼓鼓不用重錘錘。（8）如果果ba0和cd0，則則有(b*(a+cc)/d)b。3. (55分)試建建立一個(gè)“學(xué)生”框架網(wǎng)絡(luò)絡(luò)，其中至至少有“學(xué)生基本本情況”、“學(xué)生課程程學(xué)習(xí)情況況”和“學(xué)生獎(jiǎng)懲懲情況”三個(gè)框架架描述。4. (110分)請請把下述事事實(shí)用一個(gè)個(gè)語義網(wǎng)絡(luò)絡(luò)表示出來來：（1）李明明是東方大大學(xué)計(jì)算機(jī)機(jī)系的一名名學(xué)生。（2）他住住在計(jì)算機(jī)機(jī)系的學(xué)生生宿舍里。（3）計(jì)算算機(jī)系的每每間學(xué)生宿宿舍都有一一臺聯(lián)網(wǎng)的的計(jì)算機(jī)。（4）李明明喜歡在宿宿舍的計(jì)算算機(jī)上瀏覽覽。5. (110分)已已知下述事事實(shí)：（1）小李李只喜歡較較容易的課課程。（2）工程程類課程是是較難的。（3）PRR系的所有有課程都是是較容易的的。（4）PRR150是是PR系的的一門課程程。應(yīng)用歸結(jié)演演繹推理回回答問題：小李喜歡