《人工智能導(dǎo)論》試卷

1、人工智能試卷四一、選擇題(每題1分，共15分)1、ai的英文縮寫是a)automatic intelligence                b)artifical intelligencec)automatice information             d)artifical information2、反演歸結(jié)（消解）證明定理時，若當(dāng)前歸結(jié)式是（ ）時，則定理得證。a)永真式         

2、   b)包孕式（subsumed）        c)空子句3、從已知事實(shí)出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是a)正向推理                b)反向推理                c)雙向推理4、語義網(wǎng)絡(luò)表達(dá)知識時，有向弧ako 鏈、isa 鏈?zhǔn)怯脕肀磉_(dá)節(jié)點(diǎn)知識的（ ）。a)無悖性           &#

3、160;     b)可擴(kuò)充性                     c)繼承性5、(ab)a => b是a)附加律        b)拒收律        c)假言推理    d)us6、命題是可以判斷真假的a)祈使句        b)疑問句        c)感嘆句 

4、60;     d)陳述句7、僅個體變元被量化的謂詞稱為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）ibm      

5、;   c）深思         d）藍(lán)天10、下列不在人工智能系統(tǒng)的知識包含的4個要素中a)事實(shí)        b)規(guī)則        c)控制和元知識    d)關(guān)系11、謂詞邏輯下，子句, c1=lc1, c2= ? lc2, 若是互補(bǔ)文字的（最一般）合一置換，則其歸結(jié)式c=（  ）a) c1c2        b)c1c2    c)c1c2   

6、d)c1 c212、或圖通常稱為a）框架網(wǎng)絡(luò)         b)語義圖         c)博亦圖         d)狀態(tài)圖13、不屬于人工智能的學(xué)派是a)符號主義         b)機(jī)會主義         c)行為主義         d)連接主義。14、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時提出一個機(jī)器智能的測試模型，請問這個科

7、學(xué)家是a)明斯基         b).扎德             c)圖林             d)馮.諾依曼15.要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動獲取知識和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（ ）。a)專家系統(tǒng)         b)機(jī)器學(xué)習(xí)         c)神經(jīng)網(wǎng)絡(luò)  

8、;       d)模式識別二、填空題(每空1.5分，共30分)1、不確定性類型按性質(zhì)分：隨機(jī)性，模糊性，不完全性，不一致性。2、在刪除策略歸結(jié)的過程中刪除以下子句：含有          的子句;含有          的子句;子句集中被別的子句        的子句。3、對證據(jù)的可信度cf（a）、cf（a1）、cf（a2）之間，規(guī)定如下關(guān)系：cf（a）=      、cf（a1a2 ）=

9、60;             、cf（a1a2 ）=              4、圖：指由      和      組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為        和        。5、合一算法：求非空有限具有相同謂詞名的原子公式集的          6

10、、產(chǎn)生式系統(tǒng)的推理過程中，從可觸發(fā)規(guī)則中選擇一個規(guī)則來執(zhí)行，被執(zhí)行的規(guī)則稱為          。7、p(b|a) 表示在規(guī)則            中，證據(jù)a為真的作用下結(jié)論b為真的          。8、人工智能的遠(yuǎn)期目標(biāo)是                    ，近期目標(biāo)是        &

11、#160;         。三、簡答及計(jì)算題(每題5分，共25分)1、填寫下面的三值邏輯表。其中t，f，u分別表示真，假，不能判定2、什么是產(chǎn)生式？產(chǎn)生式規(guī)則的語義是什么？答：3、謂詞公式g通過個步驟所得的子句集合s，稱為g的子句集。請寫出這些步驟。4、已知s=p(f(x),y,g(y),p(f(x),z,g(x)，求mgu解：5、證明g是否是f的邏輯結(jié)論；四、應(yīng)用題(共30分)1、用語義網(wǎng)絡(luò)表示下列信息：(1)胡途是思源公司的經(jīng)理，他35歲，住在飛天胡同68號(2)清華大學(xué)與北京大學(xué)進(jìn)行藍(lán)球比賽，最后以89：102的比分結(jié)束。答：2、圖示博弈樹，其中

12、末一行的數(shù)字為假設(shè)的估值，請利用-剪枝技術(shù)剪去不必要的分枝。（在節(jié)點(diǎn)及邊上直接加注釋）3、設(shè)有如下關(guān)系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問上述人員中誰和誰是祖孫關(guān)系？解：答案：一、1、 b  2、c    3、a    4、c    5、c6、 d  7、a    8、a    9、a    10、d11、a12、d    13、b14、c   

13、 15、b二、1、隨機(jī)性，模糊性，不完全性，不一致性2、純文字，永真式，類含3、-cf(a)，mincf(a1),cf(a2)，maxcf(a1),cf(a2)4、節(jié)點(diǎn)，有向邊，或圖，與或圖5、最一般合一（mgu）6、被觸發(fā)規(guī)則7、ab，概率8、制造智能機(jī)器，實(shí)現(xiàn)機(jī)器智能三、1、2、產(chǎn)生式規(guī)則基本形式：pq  或者  if  p  then  qp 是產(chǎn)生式的前提（前件），用于指出該產(chǎn)生式是否可用的條件q 是一組結(jié)論或操作（后件），用于指出當(dāng)前提 p 所指示的條件滿足時，應(yīng)該得出的結(jié)論或應(yīng)該執(zhí)行的操作產(chǎn)生式規(guī)則的語義：如果前提p被滿足，則可推出

14、結(jié)論 q 或執(zhí)行 q 所規(guī)定的操作3、 1）消去蘊(yùn)含式和等價式，<-> 2）縮小否定詞的作用范圍，直到其作用于原子公式: 3）適當(dāng)改名，使量詞間不含同名指導(dǎo)變元和約束變元。 4.）消去存在量詞（形成skolem標(biāo)準(zhǔn)型） 5）消去所有全稱量詞 6) 化成合取范式7).    適當(dāng)改名，使子句間無同名變元 8).    消去合取詞，用逗號代替，以子句為元素組成一個集合s4、解：k=0;s0=s;0=;s0不是單元素集，求得差異集d0=y,z,其中y是變元，z是項(xiàng)，且y不在z中出現(xiàn)。k=k+1=1有1=0·z/y=·z/y=z/

15、y，s1=s0·z/y=p(f(x),z,g(z),p(f(x),z,g(x),s1不是單元素集，求得差異集d1=z,x,k=k+1=2;2=1·z/x=z/y,z/x,s2=s1·z/x=p(f(z),z,g(z)是單元素集。根據(jù)求mgu算法，mgu=2=z/y,z/x5、證:p(x)                從f變換q(a)q(x)        從f變換p(y)q(y)    結(jié)論的否定q(x) 

16、60;         歸結(jié),x/y                    歸結(jié),置換a/x得證。四、1、2、3、解:現(xiàn)定義如下謂詞f(x,y)- x是y的父親;g(x,z)- x是y的祖父;用謂詞邏輯表示已知與求解:(1)    f(x,y)f(y,z)g(x,z)(2) f(l,d)(3) f(d,x)(4) g(u,v),u=?,v=?其中,l表示老李,d表示大李,x表示小李。先證存在祖孫關(guān)系 f(x,y)f(y,z)g(x,z)

17、從(1)變換 f(l,d)                            從(2)變換 f(d,x)                            從(3)變換 g(u,v)                  &#

18、160;     結(jié)論的否定 f(d,z)g(l,z)    歸結(jié),置換l/x,d/y g(l,x)                歸結(jié),置換x/z                     歸結(jié),置換l/u,x/v得證,說明存在祖孫關(guān)系。為了求解用一個重言式 g(u,v)g(u,v) 用重言式代替結(jié)論的否定,重言式恒為真 f(d,z)g(l,z)    歸結(jié)

19、,置換l/x,d/y g(l,x)                歸結(jié),置換x/z g(l,x)                歸結(jié),置換l/u,x/v得結(jié)果:l是x的祖父，即老李是小李的祖父。人工智能試卷五一、選擇題(每題1分，共15分)1、人工智能是一門a)數(shù)學(xué)和生理學(xué)          b)心理學(xué)和生理學(xué)          c)語言

20、學(xué)d)綜合性的交叉學(xué)科和邊緣學(xué)科  2、語義網(wǎng)絡(luò)表達(dá)知識時，有向弧ako 鏈、isa 鏈?zhǔn)怯脕肀磉_(dá)節(jié)點(diǎn)知識的（ ）。a) 無悖性                 b) 可擴(kuò)充性             c) 繼承性3、(a->b)a => b是a)附加律        b)拒收律        c)假言推理    d)us4、命題是可以

21、判斷真假的a)祈使句        b)疑問句        c)感嘆句        d)陳述句5、僅個體變元被量化的謂詞稱為a)一階謂詞  b)原子公式  c)二階謂詞  d)全稱量詞6、mgu是a) 最一般合一 b)最一般替換  c) 最一般謂詞 d)基替換最一般合一7、下列不在人工智能系統(tǒng)的知識包含的4個要素中a) 事實(shí)          b) 規(guī)則    &

22、#160;     c) 控制          d) 關(guān)系8、當(dāng)前歸結(jié)式是（ ）時，則定理得證。a) 永真式            b 包孕式（subsumed）        c) 空子句9、或圖通常稱為a）框架網(wǎng)絡(luò)         b)語義圖         c)博亦圖         d)狀態(tài)圖10、不屬于人工智能的學(xué)派是a)符號主義         b) 機(jī)會主義         c)行為