人工智能導(dǎo)論第三版答案

1、【篇一：人工智能-課后作業(yè)】人工智能 人工智能就是用人工的方法在機(jī)器(計(jì)算機(jī))上實(shí)現(xiàn)的智能，或稱 機(jī)器智能第二章：p51(1)有的人喜歡打籃球，有的人喜歡踢足球，有的人既喜歡打籃 球又喜歡踢足球。定義謂詞： like(x,y):x 喜歡 y。play(x,y):x 打(踢)y。man(x):x 是人。定義個(gè)體域 ： basketball，soccer。(?x)(man(x) f like(x,play(x,basketball) V ( ?y)(man(y) f like(y,play(y,soccer) V ( ?z)(man flike(z,play(z,basketball) A lik

2、e(z,play(z,soccer) (2)并不是每 個(gè)人都喜歡花。 定義謂詞： like(x,y)： x 喜歡 y。 p(x)： x 是人 定 義個(gè)體詞： flower?(?x)(p(x) f like(x,flower) (3)欲窮千里目，更上一層樓。 定義謂詞： s(x)： x 想要看到千里遠(yuǎn)的地方。 h(x):x 要更上一層樓。( ?x)(s(x) f h(x)產(chǎn)生式通常用于表示具有因果關(guān)系的知識，其基本形式是： pfq 或者 ifpthenqelse s其中，p是前件，用于指出該產(chǎn)生式是否可用的條件。q是一組結(jié) 論或者操作，用于指出當(dāng)前提 p 滿足時(shí)，應(yīng)該得出的結(jié)論或者應(yīng)該執(zhí)行的操作

3、。 區(qū)別：蘊(yùn)含式只能表示精確知識；而產(chǎn)生式不僅可以表示精確知識， 還可以表示不精確知識。 產(chǎn)生式中前提條件的匹配可以是精確的， 也可以是非精確的；而謂詞邏輯蘊(yùn)含式總要求精確匹配。 7. 一個(gè)產(chǎn) 生式系統(tǒng)一般由三部分組成：規(guī)則集、全局?jǐn)?shù)據(jù)庫、控制策略。 步驟 ： 1 )初始化全局?jǐn)?shù)據(jù)庫，把問題的初始已知事實(shí)送入全局?jǐn)?shù) 據(jù)庫中若規(guī)則庫中存在尚未使用的規(guī)則，而且它的前提可與全局?jǐn)?shù)據(jù)庫 中的已知事實(shí)匹配，則轉(zhuǎn) 3)，若不存在則轉(zhuǎn)5)執(zhí)行當(dāng)前選中的規(guī)則，并對該規(guī)則做標(biāo)記，把該規(guī)則執(zhí)行后得到 的結(jié)論送入全局?jǐn)?shù)據(jù)庫中。如果該 規(guī)則的結(jié)論部分指出的是某些操作，則執(zhí)行這些操作。檢查全局?jǐn)?shù)據(jù)庫中是否已經(jīng)包含了問題

4、的解，若已經(jīng)包含，則求 解結(jié)束，否則轉(zhuǎn) 2) 5)要求用戶提供進(jìn)一步的關(guān)于問題的已知事實(shí) 若能提供，則轉(zhuǎn)2)，否則求解結(jié)束。 6)若規(guī)則庫中不再有未使用 過的規(guī)則，則求解過程結(jié)束。 11.框架名：教師姓名：單位(姓， 名) 年齡：單位(歲) 性別：范圍(男，女)缺省為男 職稱：范圍(教授，副教授，講師，助教) 缺省我講師 部門：單 位(系，教研室) 住址：地址框架工資：工資框架 開始工作時(shí)間：單位(年，月) 截止時(shí)間：單位(年，月)缺省為 現(xiàn)在框架名：學(xué)生 姓名：單位(姓，名) 年齡：單位(歲) 性別：范圍(男，女)缺省為男 學(xué)院：單位(學(xué)院，系)班級：單 位(年級，班級) 入學(xué)時(shí)間：單位(年

5、，月) 截止時(shí)間：單位(年，月)缺省為現(xiàn)在13.有葉haveako有根 結(jié)果結(jié)蘋果長在水里 have 有根 have 有葉第三章：p836(1)由于(?x)(?y)(p(x, y)Aq(x, y)已經(jīng)是 skolem 標(biāo)準(zhǔn)型，且p(x, y)Aq(x, y)已經(jīng)是合取范式，所以可直接消去全稱量詞、合取詞, 得 p(x, y), q(x, y) 再進(jìn)行變元換名得子句集：s= p(x, y), q(u, v)(2)對謂詞公式(?x)(?y)(p(x, y)-q(x, y),先消去連接詞“一”得: (?x)(?y)(?p(x, y)Vq(x, y)此公式已為 skolem 標(biāo)準(zhǔn)型。再消去全稱量詞得子

6、句集：s=?p(x, y)Vq(x, y)(3)對謂詞公?x)(?y)(p(x, y)V(q(x, yRr(x, y),先消去連接 詞“t”得：(?x)(?y)(p(x, y)V(?q(x, y)Vr(x, y)此公式已為前束范 式。再消去存在量詞，即用skolem函數(shù)f(x)替換y得：(?x)(p(x, f(x)V?q(x, f(x)Vr(x, f(x) 此公式已為 skolem 標(biāo)準(zhǔn)型。l=Js=p(x, f(x)V?q(x, f(x)Vr(x, f(x)(4)對謂詞(?x) (?y) (?z)(p(x, y)Tq(x, y)Vr(x, z),先消去連接 詞“t”得：(?x) (?y) (

7、?z)(?py)Vq(x, y)Vr(x, z) 再消去存在量詞，即用skolem函數(shù)f(x,y)替換z得：(?x) (?y) (?p(x, y)Vq(x, y)Vr(x, f(x,y) 此公式已為 skolem 標(biāo)準(zhǔn)型。 最后消去全稱量詞得子句集：s=?p(x, y)Vq(x, y)Vr(x, f(x,y) 7.(1)不可滿足( 2)不是不可滿足的,原因是不能由它導(dǎo)出空子句。 ( 3)不可滿 足( 5)不是不可滿足的,原因是不能由它導(dǎo)出空子句。8(2)先將 f 和?g 化成子句集由 f 得: s1=p(x), (q(a)Vq(b) 由于?g 為：? (?x) (p(x)Aq(x)，即(?x)

8、 (? p(x)V? q(x),可得： s2=? p(x)V? q(x) 因此,擴(kuò)充的子句集為：s= p(x)， (q(a)Vq(b)， ? p(x)V? q(x) 可得 nil；9.先定義謂詞：f(x,y)： x是y的父親 gf(x,z)： x是z的祖父p(x)： x是一個(gè)人 再用謂詞把問題描述出來：已知 f1： (?x) (?y) (?z)( f(x,y)Af(y,z)tgf(x,z) f2： (?y)(p(x)tf(x,y) 求證結(jié)論g： (?u) (?v)( p(u)Tgf(v,u)然后再將f1, f2和？g化成 子句集： ?f(x,y)V?f(y,z)Vgf(x,z) ?p(r)Vf

9、(s,r) p(u) ?gf(v,u) 可得 nil；第四章： p134例 5.1 設(shè) h1, h2, h3 分別是三個(gè)結(jié)論, e 是支持這些結(jié)論的證據(jù) 且已知： p(h1)=0.3p(h2)=0.4 p(h3)=0.5 p(e/h1)=0.5p(e/h2) =0.3 p(e/h3) =0.4 求： p(h1/e) , p(h2/e) , p(h3/e)由此可以看出，由于證據(jù)e的出現(xiàn)，hl成立的可能性略有增加，h2, h3的可能性有不同程度的下降。2設(shè)已知： p(h1)=0.4p(h2)=0.3 p(h3)=0.3p(e1/h1)=0.5p(e1/h2)=0.6 p(e1/h3)=0.3 p(

10、e2/h1)=0.7p(e2/h2)=0.9 p(e2/h3)=0.1 求： p(h1/e1e2) p(h2/e1e2)， p(h3/e1e2)p(hi/e)?p(hi)?p(e/hi)解:由公式可得 p(h1/e1e2)?p(hj?1 n i?1,2,?,nj)?p(e/hj)同理可得:p(e1/h1)?p(e2/h1)?p(h1) p(e1/h1)?p(e2/h1)?p(h1)?p(e1/h2)?p(e2/h2)?p(h2)?p(e1/h3)?p(e 2/h3)?p(h3)0.14?0.14?0.162?0.009?0.45p(h2/e1e2)?0.52p(h3/e1e2)?0.03由此可

11、以看出，由于證據(jù)e1, e2的出現(xiàn)，hi, h2成立的可能性有不同程度的增加，h3的可能性下降了。篇二：人工智能導(dǎo)論試卷 （3）】、選擇題（每題 1 分?共1 5分）1、ai 的英文縮寫是a）automatic intelligence b）artifical intelligencec）automatice information d）artifical information2、反演歸結(jié)?消解?證明定理時(shí)?若當(dāng)前歸結(jié)式是? ?時(shí)?則定理得證。a）永真式b）包孕式? subsumed? c）空子句3、從已知事實(shí)出發(fā)?通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式 是a）正向推理b）反向推理c）雙向

12、推理4、語義網(wǎng)絡(luò)表達(dá)知識時(shí)?有向弧ako鏈、isa鏈?zhǔn)怯脕肀磉_(dá)節(jié)點(diǎn)知 識的? ?。a）無悖性b）可擴(kuò)充性c）繼承性5、（ab）Aa = b 是a）附加律b）拒收律c）假言推理d）us6、命題是可以判斷真假的a）祈使句b）疑問句c）感嘆句d）陳述句7、僅個(gè)體變元被量化的謂詞稱為a）階謂詞b）原子公式c）二階謂詞d）全稱量詞8、 mgu 是a）最一般合一 b）最一般替換c）最一般謂詞d）基替換9、 1997年?月?著名的“人機(jī)大戰(zhàn)”?最終計(jì)算機(jī)以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗?這臺計(jì)算機(jī)被稱為? ?a?深藍(lán)b?ibmc?深思d?藍(lán)天 10、下列不在人工智能系統(tǒng)的知識包含的

13、4 個(gè)要素中a）事實(shí)坊規(guī)則c）控制和元知識d）關(guān)系其歸結(jié)式 c=? ?12、或圖通常稱為a?框架網(wǎng)絡(luò)b）語義圖c）博亦圖d）狀態(tài)圖13、不屬于人工智能的學(xué)派是a）符號主義b）機(jī)會主義c）行為主義d）連接主義。14、人工智能的含義最早由一位科學(xué)家于 1950年提出?并且同時(shí)提出一個(gè)機(jī)器智能的測試模型?請問這個(gè)科學(xué)家是a）明斯基b）扎德c）圖林d）馮諾依曼要想讓機(jī)器具有智能?必須讓機(jī)器具有知識。因此?在人工智能 中有一個(gè)研究領(lǐng)域?主要研究計(jì)算機(jī)如何自動獲取知識和技能?實(shí)現(xiàn)自我完善?這門研究分支學(xué)科叫? ?。a）專家系統(tǒng)b）機(jī)器學(xué)習(xí)c）神經(jīng)網(wǎng)絡(luò)d）模式識別二、填空題（每空1.5分?共30分）1、不確

14、定性類型按性質(zhì)分? 隨機(jī)性?模糊性?不完全性?不一致 性 ? ?2、在刪除策略歸結(jié)的過程中刪除以下子句?含有 的子句;含有 的子句;子句集中被別的子句 的子句。 純文字?永真式?類含3、對證據(jù)的可信度cf?a?、cf?a1?、cf?a2?之間？規(guī)定如下關(guān)系？cf?a?=、cf?a1 Aa2 ?=、cf?a1 Va2 ?= -cf(a)?mincf(a1),cf(a2)?maxcf(a1),cf(a2)4、圖?指由 和 組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又 可分為和 。 節(jié)點(diǎn)?有向邊?或圖?與或圖5、合一算法?求非空有限具有相同謂詞名的原子公式集的 最一般合 一？mgu6、產(chǎn)生式系統(tǒng)的推

15、理過程中?從可觸發(fā)規(guī)則中選擇一個(gè)規(guī)則來執(zhí)行 ? 被執(zhí)行的規(guī)則稱為 。被觸發(fā)規(guī)則7、p(b|a)表示在規(guī)則a-b中？證據(jù)a為真的作用下結(jié)論b為真 的。8、人工智能的遠(yuǎn)期目標(biāo)是 制造智能機(jī)器?實(shí)現(xiàn)機(jī)器智能 ? 近期目標(biāo)是。三、簡答及計(jì)算題(每題 5分?共25分)1、填寫下面的三值邏輯表。其中 t?f?u 分別表示真?假?不能判定2、什么是產(chǎn)生式?產(chǎn)生式規(guī)則的語義是什么?答？產(chǎn)生式規(guī)則基本形式?p-q或者if p then qp 是產(chǎn)生式的前提?前件?用于指出該產(chǎn)生式是否可用的條件q 是一組結(jié)論或操作?后件?用于指出當(dāng)前提 p 所指示的條件滿足 時(shí)?應(yīng)該得出的結(jié)論或應(yīng)該執(zhí)行的操作產(chǎn)生式規(guī)則的語義?如

16、果前提 p 被滿足?則可推出結(jié)論 q 或執(zhí)行 q 所規(guī)定的操作謂詞公式g通過?個(gè)步驟所得的子句集合s?稱為g的子句集。請寫出這些步驟。1?消去蘊(yùn)含式和等價(jià)式-?-2?縮小否定詞的作用范圍?直到其作用于原子公式:3?適當(dāng)改名?使量詞間不含同名指導(dǎo)變元和約束變元。4.?消去存在量詞?形成 skolem 標(biāo)準(zhǔn)型?5?消去所有全稱量詞化成合取范式. 適當(dāng)改名?使子句間無同名變元.消去合取詞人？用逗號代替？以子句為元素組成一個(gè)集合s4、已知 s=p(f(x),y,g(y),p(f(x),z,g(x)?求 mgu1、人工智能是一門a)數(shù)學(xué)和生理學(xué)坊心理學(xué)和生理學(xué)c)語言學(xué)d)綜合性的交叉學(xué)科和邊緣學(xué)科2、

17、語義網(wǎng)絡(luò)表達(dá)知識時(shí)?有向弧 ako 鏈、 isa 鏈?zhǔn)怯脕肀磉_(dá)節(jié)點(diǎn)知 識的? ?。a) 無悖性 b) 可擴(kuò)充性 c) 繼承性3、(a-b)Aa = b 是z 是項(xiàng)a)附加律b)拒收律c)假言推理d)us4、命題是可以判斷真假的a)祈使句b)疑問句c)感嘆句d)陳述句5、僅個(gè)體變元被量化的謂詞稱為a)階謂詞b)原子公式c)二階謂詞d)全稱量詞l=J7、下列不在人工智能系統(tǒng)的知識包含的 4 個(gè)要素中a) 事實(shí) b) 規(guī)則 c) 控制 d) 關(guān)系8、當(dāng)前歸結(jié)式是? ?時(shí)?則定理得證。a)永真式b包孕式?subsumed? c)空子句9、或圖通常稱為a?框架網(wǎng)絡(luò)b)語義圖c)博亦圖d)狀態(tài)圖10、不屬

18、于人工智能的學(xué)派是a)符號主義坊機(jī)會主義c)行為主義d)連接主義。11、所謂不確定性推理就是從( )的初始證據(jù)出發(fā)?通過運(yùn)用( )的知 識?最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結(jié)論的思維過程。a)不確定性，不確定性b)確定性，確定性c)確定性，不確定性d)不確定性 確定性12、要想讓機(jī)器具有智能?必須讓機(jī)器具有知識。因此?在人工智能 中有一個(gè)研究領(lǐng)域?主要研究計(jì)算機(jī)如何自動獲取知識和技能?實(shí)現(xiàn)自我完善?這門研究分支學(xué)科叫? ?。3、有四人過河，只有一條船，最多可乘坐兩人。若單個(gè)過，各需 1，1，5，9分鐘，若兩人一起過，則需要的時(shí)間以多的為準(zhǔn)(如需要 5分和9分的兩人同時(shí)乘坐，則需要 9分)。問最少需要多少分鐘。、用產(chǎn)生式系統(tǒng)描述該問題，要求給出綜合數(shù)據(jù)庫的定義，規(guī)則 集，初始狀態(tài)和結(jié)束狀態(tài)。、定義一個(gè)h函數(shù)，并說明是否滿足a*條件。、用a算法求解該問題，給出狀態(tài)搜索圖，標(biāo)出擴(kuò)展次序、各節(jié) 點(diǎn)的f值、解路徑及解路徑的耗散值。4、某問題由下列公式描述：(1) 、(s)p(s)(2)、(s)(p(g(s)、(x)(s)(y)(p (s)Aq (b, x, s) fh (y)、(x)(s)(q (b, x, s) fq (b, x, g (s)、( x)( s)( y)( p( s) fq(