【正文】 網(wǎng)絡(luò)表示知識(shí)時(shí)，所使用的推理方法有 AKO 和 ISA 22. MYCIN系統(tǒng)中使用不確定推理，規(guī)則A→B由專家指定其可信度CF（B，A），若A真支持B真，則指定CF（B，A）（與零比較）應(yīng) （47） ；若A真不支持B真，則指定CF（B，A）應(yīng) （48） 。18. 產(chǎn)生式系統(tǒng)有三部分組成 綜合數(shù)據(jù)庫(kù)， 知識(shí)庫(kù)和推理機(jī)。ε= （22） 。 10. 利用歸結(jié)原理證明定理時(shí)，若得到的歸結(jié)式為 空集，則結(jié)論成立。6. 設(shè)P是謂詞公式，對(duì)于P的任何論域，存在P為真的情況，則稱P為永真式。2. 任意列舉人工智能的四個(gè)應(yīng)用性領(lǐng)域難題求解 、定理證明 、智能控制 、機(jī)器翻譯 。3. 人工智能的基本技術(shù)包括搜索技術(shù)、推理技術(shù)、知識(shí)表示和知識(shí)庫(kù)技術(shù)歸納技術(shù)、聯(lián)想技術(shù)。7. 在著名的醫(yī)療專家系統(tǒng)MYCIN中規(guī)定，若證據(jù)A的可信度CF（A）=0，則意味著 無(wú)關(guān)，CF（A）=1，則意味著假，CF（A）=1，則意味著真。11. 若C1=┐P∨Q，C2=P∨┐Q，則C1和C2的歸結(jié)式R（C1，C2）= ┐P∨P或┐Q∨Q。14. 有子句集S=｛P(x),P(y)｝，其MGU= {y/x} 。其中推理可分為 正向推理和反向推理。23. 機(jī)器學(xué)習(xí)的含義是 指機(jī)器面對(duì)自行為的修正或性能的改善和機(jī)器對(duì)客觀規(guī)律和發(fā)展 。27. 人工智能三大學(xué)派是符號(hào)主義、聯(lián)結(jié)主義、行為主義28. 化成子句形式為： 。 B ，假言三段論（A174。 A174。B（x），則前件是 A（x） ，后件是 B（x） 38. 在框架和語(yǔ)義網(wǎng)絡(luò)兩種知識(shí)表示方法中， 框架 適合于表示結(jié)構(gòu)性強(qiáng)的知識(shí)，而 語(yǔ)義網(wǎng)絡(luò) 則適合表示一些復(fù)雜的關(guān)系和聯(lián)系的知識(shí)。含有　　永真式 的子句。44. 常用的二種盲目搜索方法是_隨機(jī)碰撞式搜索__和___完全式搜索______；引入啟發(fā)式知識(shí)來(lái)指導(dǎo)OPEN表中節(jié)點(diǎn)的排序可劃分為二種方式__全局擇優(yōu)搜索 和___局部擇優(yōu)搜索。48. 目前所用的知識(shí)表示形式有____框架 語(yǔ)義網(wǎng)絡(luò) 面向?qū)ο骭等。52. 證據(jù)理論是經(jīng)典概率論的一種擴(kuò)充形式，構(gòu)成這一理論的函數(shù)有__基本概念全分函數(shù)_、_信任函數(shù)____和___似真函數(shù)______。57. 利用歸結(jié)原理證明定理時(shí)，若得到的歸結(jié)式為 空集 ，則結(jié)論成立。這是知識(shí)表示法叫（B ） A. 狀態(tài)空間法 B. 問(wèn)題歸約法 C. 謂詞邏輯法 D. 語(yǔ)義網(wǎng)絡(luò)法y$xp(x,y))，存在量詞是在全稱量詞的轄域內(nèi)，我們?cè)试S所存在的x可能依賴于y值。Q7,（A218。~A218。 A. 專家系統(tǒng) B. 機(jī)器學(xué)習(xí) C. 神經(jīng)網(wǎng)絡(luò) D. 模式識(shí)別！1AI的英文縮寫是BA)Automatic Intelligence B)Artifical IntelligenceC)Automatice Information D)Artifical Information1反演歸結(jié)（消解）證明定理時(shí)，若當(dāng)前歸結(jié)式是（C ）時(shí)，則定理得證。2人工智能是一門DA)數(shù)學(xué)和生理學(xué) B)心理學(xué)和生理學(xué) C)語(yǔ)言學(xué)D)綜合性的交叉學(xué)科和邊緣學(xué)科 D2下列不在人工智能系統(tǒng)的知識(shí)包含的4個(gè)要素中DA) 事實(shí)　　 B) 規(guī)則　　 C) 控制　　 D) 關(guān)系2當(dāng)前歸結(jié)式是（C）時(shí)，則定理得證。(2) 每個(gè)學(xué)生都要參加考試。 J(x)：x是整數(shù)， R(x)：x是正數(shù)，N(x)：x是負(fù)數(shù)。如果主持人無(wú)法判斷誰(shuí)是人，誰(shuí)是機(jī)器，則這臺(tái)機(jī)器具備智能，即所謂的“智能機(jī)器”。答：(1）消去蘊(yùn)含式和等價(jià)式→， (2）縮小否定詞的作用范圍，直到其作用于原子公式: (3）適當(dāng)改名，使量詞間不含同名指導(dǎo)變?cè)图s束變?cè)0不是單元素集，求得差異集D0={y,z},其中y是變?cè)?，z是項(xiàng)，且y不在z中出現(xiàn)。｛z/y｝={P(f(x),z,g(z)),P(f(x),z,g(x))},S1不是單元素集，求得差異集D1=｛z,x｝,k=k+1=2。根據(jù)求MGU算法，MGU=δ2=｛z/y,z/x｝（2）k=0。k=k+1=1有δ1=δ0根據(jù)求MGU算法，MGU=δ1=｛g(A,y)/z｝10.（1） 證明G是否是F的邏輯結(jié)論；證:①P(x) ．．．從F變換②Q(a)∨Q(x) ．．．從F變換③┓P(y)∨┓Q(y) ．．．結(jié)論的否定④┓Q(x) ．．．①③歸結(jié),{x/y}⑤□ ．．．②④歸結(jié),置換{a/x}得證。（5）請(qǐng)把下列命題表示的事實(shí)用一個(gè)語(yǔ)義網(wǎng)絡(luò)表示出來(lái)。13. 圖示博弈樹(shù)，其中末一行的數(shù)字為假設(shè)的估值，請(qǐng)利用αβ剪枝技術(shù)剪去不必要的分枝。先證存在祖孫關(guān)系① ～F(x,y)∨～F(y,z)∨G(x,z)．．．從(1)變換② F(L,D) ．．．從(2)變換③ F(D,X) ．．．從(3)變換④ ～G(u,v) ．．．結(jié)論的否定⑤ ～F(D,z)∨G(L,z) ．．．①②歸結(jié),置換｛L/x,D/y｝⑥ G(L,X) ．．．③⑤歸結(jié),置換｛X/z｝⑦ □ ．．．④⑥歸結(jié),置換｛L/u,X/v｝得證,說(shuō)明存在祖孫關(guān)系。16. 簡(jiǎn)單闡述產(chǎn)生式系統(tǒng)的組成。 （2）王（Wang）買（Buy）需要的（Want）便宜商品。 請(qǐng)應(yīng)用歸結(jié)反演證明方法回答以下問(wèn)題： （1）王買自行車嗎？ （2）趙買什么商品？ ，其證據(jù)的可信度均標(biāo)示在圖中。一般來(lái)說(shuō)，置換是不可交換的，即兩個(gè)置換合成的結(jié)果與置換使用的次序有關(guān)。綜合數(shù)據(jù)庫(kù)：用一個(gè)1到9的序列表示：N = {x}，其中x為1到9的數(shù)字之一。β剪枝：若任一極大值層節(jié)點(diǎn)的α值大于或等于它任一先輩極小值層節(jié)點(diǎn)的β值，即α（后繼層）≥β（先輩層），則可以中止該極大值層中這個(gè)MAX節(jié)點(diǎn)以下的搜索過(guò)程。三、 （1）將下列謂詞公式化成子句集答：（2）把下列謂詞公式分別化成相應(yīng)的子句集：x(yP(x,y)→～y(Q(x,y)→R(x,y)))解：x(yP(x,y)→～y(Q(x,y)→R(x,y)))==x(yP(x,y)→y～(～Q(x,y)∨R(x,y)))==x(yP(x,y)→y(Q(x,y)∧～R(x,y)))==x(～yP(x,y)∨y(Q(x,y)∧～R(x,y)))==x(y～P(x,y)∨y(Q(x,y)∧～R(x,y)))......改名）==x(y～P(x,y)∨z(Q(x,z)∧～R(x,z)))==x(y～P(x,y)∨z(Q(x,z)∧～R(x,z)))......y=f(x),z=g(x)消去存在量詞y,z==x(～P(x,f(x))∨(Q(x,g(x))∧～R(x,g(x))))==x((～P(x,f(x))∨(Q(x,g(x))∧(～P(x,f(x))∨～R(x,g(x))))從而謂詞公式的子句集是｛～P(x,f(x))∨(Q(x,g(x)，～P(x,f(x))∨～R(x,g(x)))=P(x,f(y),z),置換s1=｛f(x,y)/z,z/w｝，s2=｛a/x,b/y,w/z｝，求E（s1求從A到E最小費(fèi)用的旅行路線，畫(huà)出搜索樹(shù)，畫(huà)出Closed表和Open表的變化過(guò)程。II. Paul喜歡酒（wine）III. Paul( 也)喜歡奶酪（cheese）IV. 如果Paul喜歡某物則John 也喜歡某物。（2）已知有如下不確定推理規(guī)則： r1：C11∨C12 222。 H ； CF(C11) = ， CF(C12) = ，CF(C21) = ，CF(C22) = ， CF(C31) = ，CF(C32) = ，CF(C33) =； 請(qǐng)應(yīng)用MYCIN的確定性方法求出CF(H)。把并入Ｓ得到?！　≡O(shè)Ａ不是老實(shí)人，則有把它否定并入Ｓ中，得到子句集，即比Ｓ多如下一個(gè)子句：　　　　 　　應(yīng)用消解原理對(duì)Ｓ2進(jìn)行消解：　　所以，Ａ不是老實(shí)人。(3)有些海豚是聰明的。 D(x):x是海豚。初始狀態(tài)：，目標(biāo)狀態(tài)：解：11. 張某被盜，公安局派了五個(gè)偵察員去調(diào)查。即比S1多出如下一個(gè)子句：T(x)ANSWER(x)然后利用消解原理對(duì)S1進(jìn)行消解可得答案：錢和孫是作案者。10分，剪枝可能會(huì)遺漏掉最佳走步。1. 什么是人工智能？人工智能與計(jì)算機(jī)程序的區(qū)別？答：AI是研究如何制造人造的智能機(jī)器或智能系統(tǒng)來(lái)模擬人類智能活動(dòng)的能力以延伸人類智能的科學(xué)，它與計(jì)算機(jī)程序的區(qū)別是：178。 允許出現(xiàn)不正確的答案2. 化下列邏輯表達(dá)式為不含存在量詞的前束范式 答：3. 求下列謂詞公式的子句集 答：所以子句集為：{}4. 若有梯形ABCD，將其中的若干定理形式化即定義一些謂詞公式，然后利用歸結(jié)原理證明內(nèi)錯(cuò)角CABD證明：設(shè)梯形頂點(diǎn)依次為a,b,c,d,定義