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

人工智能試卷四一、選擇題(每題1分，共15分)1、AI的英文縮寫是A)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation2、反演歸結(jié)（消解）證明定理時(shí)，若當(dāng)前歸結(jié)式是（）時(shí)，則定理得證。A)永真式 B)包孕式（subsumed） C)空子句3、從已知事實(shí)出發(fā)，通過(guò)規(guī)則庫(kù)求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是A)正向推理 B)反向推理 C)雙向推理4、語(yǔ)義網(wǎng)絡(luò)表達(dá)知識(shí)時(shí)，有向弧AKO鏈、ISA鏈?zhǔn)怯脕?lái)表達(dá)節(jié)點(diǎn)知識(shí)的（）。A)無(wú)悖性 B)可擴(kuò)充性 C)繼承性5、(A→B)∧A=>B是A)附加律 B)拒收律 C)假言推理 D)US6、命題是可以判斷真假的A)祈使句 B)疑問(wèn)句 C)感嘆句 D)陳述句7、僅個(gè)體變?cè)涣炕闹^詞稱為A)一階謂詞 B)原子公式 C)二階謂詞 D)全稱量詞8、MGU是A)最一般合一 B)最一般替換 C)最一般謂詞 D)基替換9、1997年５月，著名的“人機(jī)大戰(zhàn)”，最終計(jì)算機(jī)以比的總比分將世界國(guó)際象棋棋王卡斯帕羅夫擊敗，這臺(tái)計(jì)算機(jī)被稱為（）A）深藍(lán) B）IBM C）深思 D）藍(lán)天10、下列不在人工智能系統(tǒng)的知識(shí)包含的4個(gè)要素中A)事實(shí) B)規(guī)則 C)控制和元知識(shí) D)關(guān)系11、謂詞邏輯下，子句,C1=L∨C1‘,C2=?L∨C2‘,若σ是互補(bǔ)文字的（最一般）合一置換，則其歸結(jié)式C=（）A)C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’∧C2’12、或圖通常稱為A）框架網(wǎng)絡(luò) B)語(yǔ)義圖 C)博亦圖 D)狀態(tài)圖13、不屬于人工智能的學(xué)派是A)符號(hào)主義 B)機(jī)會(huì)主義 C)行為主義 D)連接主義。14、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型，請(qǐng)問(wèn)這個(gè)科學(xué)家是A)明斯基 B).扎德 C)圖林 D)馮.諾依曼15.要想讓機(jī)器具有智能，必須讓機(jī)器具有知識(shí)。因此，在人工智能中有一個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（）。A)專家系統(tǒng) B)機(jī)器學(xué)習(xí) C)神經(jīng)網(wǎng)絡(luò) D)模式識(shí)別二、填空題(每空分，共30分)1、不確定性類型按性質(zhì)分：隨機(jī)性，模糊性，不完全性，不一致性。2、在刪除策略歸結(jié)的過(guò)程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。3、對(duì)證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關(guān)系：CF（~A）=、CF（A1∧A2）=、CF（A1∨A2）=4、圖：指由和組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為和。5、合一算法：求非空有限具有相同謂詞名的原子公式集的6、產(chǎn)生式系統(tǒng)的推理過(guò)程中，從可觸發(fā)規(guī)則中選擇一個(gè)規(guī)則來(lái)執(zhí)行，被執(zhí)行的規(guī)則稱為。7、P(B|A)表示在規(guī)則中，證據(jù)A為真的作用下結(jié)論B為真的。8、人工智能的遠(yuǎn)期目標(biāo)是，近期目標(biāo)是。三、簡(jiǎn)答及計(jì)算題(每題5分，共25分)1、填寫下面的三值邏輯表。其中T，F(xiàn)，U分別表示真，假，不能判定2、什么是產(chǎn)生式產(chǎn)生式規(guī)則的語(yǔ)義是什么答：3、謂詞公式G通過(guò)８?jìng)€(gè)步驟所得的子句集合S，稱為G的子句集。請(qǐng)寫出這些步驟。4、已知S={P(f(x),y,g(y)),P(f(x),z,g(x))}，求MGU解：5、證明G是否是F的邏輯結(jié)論；四、應(yīng)用題(共30分)1、用語(yǔ)義網(wǎng)絡(luò)表示下列信息：(1)胡途是思源公司的經(jīng)理，他35歲，住在飛天胡同68號(hào)(2)清華大學(xué)與北京大學(xué)進(jìn)行藍(lán)球比賽，最后以89：102的比分結(jié)束。答：2、圖示博弈樹，其中末一行的數(shù)字為假設(shè)的估值，請(qǐng)利用α-β剪枝技術(shù)剪去不必要的分枝。（在節(jié)點(diǎn)及邊上直接加注釋）3、設(shè)有如下關(guān)系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問(wèn)上述人員中誰(shuí)和誰(shuí)是祖孫關(guān)系解：答案：一、1、B2、C 3、A 4、C 5、C6、D7、A 8、A 9、A 10、D11、A12、D 13、B14、C 15、B二、1、隨機(jī)性，模糊性，不完全性，不一致性2、純文字，永真式，類含3、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)}4、節(jié)點(diǎn)，有向邊，或圖，與或圖5、最一般合一（MGU）6、被觸發(fā)規(guī)則7、A→B，概率8、制造智能機(jī)器，實(shí)現(xiàn)機(jī)器智能三、1、2、產(chǎn)生式規(guī)則基本形式：P→Q或者IFPTHENQP是產(chǎn)生式的前提（前件），用于指出該產(chǎn)生式是否可用的條件Q是一組結(jié)論或操作（后件），用于指出當(dāng)前提P所指示的條件滿足時(shí)，應(yīng)該得出的結(jié)論或應(yīng)該執(zhí)行的操作產(chǎn)生式規(guī)則的語(yǔ)義：如果前提P被滿足，則可推出結(jié)論Q或執(zhí)行Q所規(guī)定的操作3、1）消去蘊(yùn)含式和等價(jià)式→，<->2）縮小否定詞的作用范圍，直到其作用于原子公式:3）適當(dāng)改名，使量詞間不含同名指導(dǎo)變?cè)图s束變?cè)?.）消去存在量詞（形成Skolem標(biāo)準(zhǔn)型）5）消去所有全稱量詞6)化成合取范式7). 適當(dāng)改名，使子句間無(wú)同名變?cè)?). 消去合取詞∧，用逗號(hào)代替，以子句為元素組成一個(gè)集合S4、解：k=0;S0=S;δ0=ε;S0不是單元素集，求得差異集D0={y,z},其中y是變?cè)?，z是項(xiàng)，且y不在z中出現(xiàn)。k=k+1=1有δ1=δ0·｛z/y｝=ε·｛z/y｝=｛z/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/x｝5、證:①P(x) ．．．從F變換②Q(a)∨Q(x) ．．．從F變換③┓P(y)∨┓Q(y) ．．．結(jié)論的否定④┓Q(x) ．．．①③歸結(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)．．．從(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)系。為了求解用一個(gè)重言式④④┓G(u,v)∨G(u,v)．．．用重言式代替結(jié)論的否定,重言式恒為真⑤┓F(D,z)∨G(L,z) ．．．①②歸結(jié),置換｛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)語(yǔ)言學(xué)D)綜合性的交叉學(xué)科和邊緣學(xué)科2、語(yǔ)義網(wǎng)絡(luò)表達(dá)知識(shí)時(shí)，有向弧AKO鏈、ISA鏈?zhǔn)怯脕?lái)表達(dá)節(jié)點(diǎn)知識(shí)的（）。A)無(wú)悖性 B)可擴(kuò)充性 C)繼承性3、(A->B)∧A=>B是A)附加律 B)拒收律 C)假言推理 D)US4、命題是可以判斷真假的A)祈使句 B)疑問(wèn)句 C)感嘆句 D)陳述句5、僅個(gè)體變?cè)涣炕闹^詞稱為A)一階謂詞B)原子公式C)二階謂詞D)全稱量詞6、MGU是A)最一般合一B)最一般替換C)最一般謂詞D)基替換最一般合一7、下列不在人工智能系統(tǒng)的知識(shí)包含的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)語(yǔ)義圖 C)博亦圖 D)狀態(tài)圖10、不屬于人工智能的學(xué)派是A)符號(hào)主義 B)機(jī)會(huì)主義 C)行為主義 D)連接主義。11、所謂不確定性推理就是從()的初始證據(jù)出發(fā)，通過(guò)運(yùn)用()的知識(shí)，最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結(jié)論的思維過(guò)程。A)不確定性,不確定性 B)確定性,確定性C)確定性,不確定性 D)不確定性確定性12.要想讓機(jī)器具有智能，必須讓機(jī)器具有知識(shí)。因此，在人工智能中有一個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（）。A)專家系統(tǒng) B)機(jī)器學(xué)習(xí) C)神經(jīng)網(wǎng)絡(luò) D)模式識(shí)別13、下列哪部分不是專家系統(tǒng)的組成部分（）A.）用戶 B）綜合數(shù)據(jù)庫(kù) C）推理機(jī) D）知識(shí)庫(kù)14、產(chǎn)生式系統(tǒng)的推理不包括（）A）正向推理 B）逆向推理 C）雙向推理 D）簡(jiǎn)單推理15、C(B|A)表示在規(guī)則A->B中，證據(jù)A為真的作用下結(jié)論B為真的A)可信度 B)信度 C)信任增長(zhǎng)度 D)概率二、填空題(每題1分，共30分)1、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型，請(qǐng)問(wèn)這個(gè)科學(xué)家是2、從已知事實(shí)出發(fā)，通過(guò)規(guī)則庫(kù)求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是。3、AI的英文縮寫是。4、不確定性類型按性質(zhì)分：，，，。5、在刪除策略歸結(jié)的過(guò)程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。6、對(duì)證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關(guān)系：CF（~A）=、CF（A1∧A2）=、CF（A1∨A2）=。7、圖：指由組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為和。8、合一算法：求非空有限具有相同謂詞名的原子公式集的。9、1997年５月，著名的“人機(jī)大戰(zhàn)”，最終名為“”的計(jì)算機(jī)以比的總比分將世界國(guó)際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠(yuǎn)期目標(biāo)是，近期目標(biāo)是。三、簡(jiǎn)答及計(jì)算題(每題5分，共25分)1、解釋下列模糊性知識(shí)：1)張三，體型，（胖，））。2)(患者，癥狀，(頭疼，)∧(患者，癥狀，(發(fā)燒，)→(患者，疾病，(感冒，)答：2、簡(jiǎn)單闡述產(chǎn)生式系統(tǒng)的組成：答：3、補(bǔ)齊產(chǎn)生式系統(tǒng)與圖搜索的對(duì)比表答：4、已知W={P(f(x,g(A,y)),z),P(f(x,z),z)}，求MGU解：5、證明G是否是F1、F2的邏輯結(jié)論；證:四、應(yīng)用題(共30分)1、將命題：“某個(gè)學(xué)生讀過(guò)三國(guó)演義”分別用謂詞公式和語(yǔ)義網(wǎng)絡(luò)表示答：2、圖示博弈樹，其中末一行的數(shù)字為假設(shè)的估值，請(qǐng)利用α-β剪枝技術(shù)剪去不必要的分枝。（在節(jié)點(diǎn)及邊上直接加注釋）3、利用謂詞邏輯表示下列知識(shí)（包括已知和結(jié)論），然后化成子句集：（1）凡是清潔的東西就有人喜歡；（2）人們都不喜歡蒼蠅求證：蒼蠅是不清潔的。證：答案：一、1、D 2、C 3、C 4、D 5、A 6、A 7、D 8、C 9、D 10、B 11、A 12、B 13、A. 14、D 15、B二、1、圖林 2、正向推理 3、ArtificalIntelligence4、隨機(jī)性，模糊性，不完全性，不一致性5、純文字，永真式，類含6、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)})7、節(jié)點(diǎn)和有向邊，或圖，與或圖 8、最一般合一（MGU）9、深藍(lán) 10、制造智能機(jī)器，實(shí)現(xiàn)機(jī)器智能三、1、答：1）表示：命題“張三比較胖”2）解釋為：如果患者有些頭疼并且發(fā)高燒，則他患了重感冒。2、答：1）產(chǎn)生式規(guī)則庫(kù)：描述相應(yīng)領(lǐng)域知識(shí)的產(chǎn)生式規(guī)則集2）數(shù)據(jù)庫(kù)：（事實(shí)的集合）存放問(wèn)題求解過(guò)程中當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu)（初始事實(shí)、外部數(shù)據(jù)庫(kù)輸入的事實(shí)、中間結(jié)果事實(shí)和最后結(jié)果事實(shí)）3）推理機(jī)：（控制系統(tǒng)）是一個(gè)程序，控制協(xié)調(diào)規(guī)則庫(kù)與數(shù)據(jù)庫(kù)的運(yùn)行，包含推理方式和控制策略。3、答：4、解：k=0;S0=S;δ0=ε;S0不是單元素集，求得差異集D0={g(A,y)},z},其中z是變?cè)?，g(A,y)是項(xiàng)，且z不在g(A,y)中出現(xiàn)。k=k+1=1有δ1=δ0·｛g(A,y)/z｝=ε·｛g(A,y)/z｝=｛g(A,y)/z｝，S1=S0·｛g(A,y)/z｝={P(f(x,g(A,y)),g(A,y))},S1是單元素集。根據(jù)求MGU算法，MGU=δ1=｛g(A,y)/z｝5、證:①┓P(x)∨Q(x) ．．．從F1變換②┓P(y)∨R(y) ` ．．．從F1變換③P(a) ．．．從F2變換④S(a) ．．．從F2變換⑤┓S(z)∨┓R(z) ．．．結(jié)論的否定⑥R(a) ．．．②③歸結(jié)｛a/y｝⑦┓R(a) ．．．④⑤歸結(jié)｛a/z｝⑧□ ．．．⑥⑦歸結(jié)得證.四、1、答：謂詞公式表示：x(student(x)∧read(x,三國(guó)演義))語(yǔ)義網(wǎng)絡(luò)表示如圖：2、3、證：現(xiàn)定義如下謂詞L(x,y)------某人x喜歡某物y；P(y)------某物y是清潔的東西(1)yx(P(y)→L(x,y))==>┓P(y)∨L(f(y),y)(2)x(┓L(x,Fly))==>┓L(x,Fly)(3)P(Fly)．．．結(jié)論的反(4)L(f(Fly),Fly)．．．(1)(3)歸結(jié),置換{Fly/y}(5)□ ．．．(2)(4)歸結(jié),{f(Fly)/x}得證。人工智能試卷八一、填空題（共30分）1.歸結(jié)法中，可以通過(guò)---------的方法得到問(wèn)題的解答。2.化成子句形式為：。3.從已知事實(shí)出發(fā)，通過(guò)規(guī)則庫(kù)求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是是是的英文縮寫5.人工智能的基本技術(shù)包括、、、——、——。6.目前所用的知識(shí)表示形式有、、等。7.產(chǎn)生式系統(tǒng)有三部分組成，和推理機(jī)。其中推理可分為和。8.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而在一個(gè)量詞的轄域中與該量詞的指導(dǎo)變?cè)嗤淖冊(cè)Q為，其他變?cè)Q為9、1997年５月，著名的“人機(jī)大戰(zhàn)”，最終名為“”的計(jì)算機(jī)以比的總比分將世界國(guó)際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠(yuǎn)期目標(biāo)是，近期目標(biāo)是。11、謂詞邏輯中，重言式（tautlogy）的值是。12、利用歸結(jié)原理證明定理時(shí)，若得到的歸結(jié)式為，則結(jié)論成立。13、若C1=┐P∨Q，C2=P∨┐Q，則C1和C2的歸結(jié)式R（C1，C2）=。14、若C1=P(x)∨Q(x)，C2=┐P(a)∨R(y)，則C1和C2的歸結(jié)式R（C1，C2）=。15、在歸結(jié)原理中，幾種常見的歸結(jié)策略并且具有完備性的是，，。16、在啟發(fā)式搜索當(dāng)中，通常用來(lái)表示啟發(fā)性信息。17、假言推理（AB）A，假言三段論（AB）（BC）.填空題修改證明樹。正向推理ArtificalInteligence搜索技術(shù)推理技術(shù)知識(shí)表示和知識(shí)庫(kù)技術(shù)、歸納技術(shù)、聯(lián)想技術(shù)框架語(yǔ)義網(wǎng)絡(luò)面向?qū)ο缶C合數(shù)據(jù)庫(kù)知識(shí)庫(kù)正向推理反向推理轄域約束變?cè)杂勺冊(cè)钏{(lán)制造智能機(jī)器實(shí)現(xiàn)機(jī)器智能真空集┐P∨P或┐Q∨QQ（a）∨R（y）刪除策略支持集策略線性歸結(jié)策略啟發(fā)函數(shù)BAC二、選擇題（15小題，共15分1.人工智能是一門A)數(shù)學(xué)和生理學(xué) B)心理學(xué)和生理學(xué) C)語(yǔ)言學(xué)D)綜合性的交叉學(xué)科和邊緣學(xué)科2、下列哪個(gè)不是人工智能的研究領(lǐng)域（）A.機(jī)器證明B.模式識(shí)別C.人工生命D.編譯原理3.神經(jīng)網(wǎng)絡(luò)研究屬于下列（）學(xué)派A.符號(hào)主義B.連接主義C.行為主義D.都不是4.已知初始問(wèn)題的描述，通過(guò)一系列變換把此問(wèn)題最終變?yōu)橐粋€(gè)子問(wèn)題集合；這些子問(wèn)題的解可以直接得到，從而解決了初始問(wèn)題。這是知識(shí)表示法叫（）A.狀態(tài)空間法B.問(wèn)題歸約法C.謂詞邏輯法D.語(yǔ)義網(wǎng)絡(luò)法5.在公式中yxp(x,y))，存在量詞是在全稱量詞的轄域內(nèi)，我們?cè)试S所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個(gè)y值映射到存在的那個(gè)x。這種函數(shù)叫做（）A.依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)6.子句~PQ和P經(jīng)過(guò)消解以后，得到（）A.PB.QC.~PPQ7、（AB）A稱為（），~（AB）~A~B稱為（）結(jié)合律B.分配律C.吸收律D.摩根律8、下列哪部分不是專家系統(tǒng)的組成部分（）A.）用戶 B）綜合數(shù)據(jù)庫(kù) C）推理機(jī) D）知識(shí)庫(kù)9、產(chǎn)生式系統(tǒng)的推理不包括（）A）正向推理 B）逆向推理 C）雙向推理 D）簡(jiǎn)單推理10、C(B|A)表示在規(guī)則A->B中，證據(jù)A為真的作用下結(jié)論B為真的A)可信度 B)信度 C)信任增長(zhǎng)度 D)概率11、AI的英文縮寫是A)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation12、反演歸結(jié)（消解）證明定理時(shí)，若當(dāng)前歸結(jié)式是（）時(shí)，則定理得證。A)永真式 B)包孕式（subsumed） C)空子句13、在公式中yxp(x,y))，存在量詞是在全稱量詞的轄域內(nèi)，我們?cè)试S所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個(gè)y值映射到存在的那個(gè)x。這種函數(shù)叫做（）A.依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)14、子句~PQ和P經(jīng)過(guò)消解以后，得到（）A.PB.QC.~PPQ15、如果問(wèn)題存在最優(yōu)解，則下面幾種搜索算法中，（）必然可以得到該最優(yōu)解。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索D.啟發(fā)式搜索三、簡(jiǎn)答與應(yīng)用題深度優(yōu)先方法的特點(diǎn)是什么6

什么是置換置換是可交換的嗎6分

某問(wèn)題由下列公式描述：(1)、試用歸結(jié)法證明(x)R(x)；8分4.下圖所示博弈樹，按從左到右的順序進(jìn)行α-β剪枝搜索，試標(biāo)明各生成節(jié)點(diǎn)的到推值，何處發(fā)生剪枝，及應(yīng)選擇的走步。10分分設(shè)有如下關(guān)系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問(wèn)上述人員中誰(shuí)和誰(shuí)是祖孫關(guān)系(10分)6.張某被盜，公安局派了五個(gè)偵察員去調(diào)查。研究案情時(shí)，偵察員Ａ說(shuō)：“趙與錢中至少有一人作案”；偵察員Ｄ說(shuō)：“錢與孫至少有一人作案”；偵察員Ｃ說(shuō)：“孫與李中至少有一個(gè)作案”；偵察員Ｄ說(shuō)“趙與孫至少一個(gè)與案無(wú)關(guān)”；偵察員Ｅ說(shuō)“錢與李中至少有一人與此案無(wú)關(guān)”。如果這五個(gè)偵察員的話都是可信的，試用消解原理推理求出誰(shuí)是盜竊犯。（10分）選擇題123456789101112131415CDBBBBCADBBCBBA三、簡(jiǎn)答與應(yīng)用題解答:（1）屬于圖搜索；（2）是一個(gè)通用的搜索方法；（3）如果深度限制不合適，有可能找不到問(wèn)題的解；（4）不能保證找到最優(yōu)解。2.回答:通常用有序?qū)Φ募蟬＝{t1/v1，t2/v2，…，tn/vn}來(lái)表示任一置換，置換集的元素ti/vi的含義是表達(dá)式中的變量vi處處以項(xiàng)ti來(lái)替換，用s對(duì)表達(dá)式E作置換后的例簡(jiǎn)記為Es。

一般來(lái)說(shuō)，置換是不可交換的，即兩個(gè)置換合成的結(jié)果與置換使用的次序有關(guān)。3.5.、解:現(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)．．．從(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)系。為了求解用一個(gè)重言式④④～G(u,v)∨G(u,v)．．．用重言式代替結(jié)論的否定,重言式恒為真⑤～F(D,z)∨G(L,z) ．．．①②歸結(jié),置換｛L/x,D/y｝⑥G(L,X) ．．．③⑤歸結(jié),置換｛X/z｝⑦G(L,X) ．．．④⑥歸結(jié),置換｛L/u,X/v｝得結(jié)果:L是X的祖父，即老李是小李的祖父。6.解：設(shè)用T(x)表示x是作案者，則偵察員A的話可表示：T(趙)T(錢)偵察員B的話可表示：T(錢)T(孫)偵察員C的話可表示：T(孫)T(李)偵察員D的話可表示：T(趙)T(孫)偵察員E的話可表示：T(錢)T(李)上面五個(gè)組成子句集S，求誰(shuí)是作案者，把T(x)ANSWER(x)并入S1得到。即比S1多出如下一個(gè)子句：T(x)ANSWER(x)然后利用消解原理對(duì)S1進(jìn)行消解可得答案：錢和孫是作案者。人工智能試卷九試題部分：一、選擇題（15小題，共15分）1.人工智能產(chǎn)生于哪一年（）。A.1957B.1962C.1956D.19792.下列哪個(gè)不是人工智能的研究領(lǐng)域（）A.機(jī)器證明B.模式識(shí)別C.人工生命D.編譯原理3.神經(jīng)網(wǎng)絡(luò)研究屬于下列（）學(xué)派A.符號(hào)主義B.連接主義C.行為主義D.都不是4.已知初始問(wèn)題的描述，通過(guò)一系列變換把此問(wèn)題最終變?yōu)橐粋€(gè)子問(wèn)題集合；這些子問(wèn)題的解可以直接得到，從而解決了初始問(wèn)題。這是知識(shí)表示法叫（）A.狀態(tài)空間法B.問(wèn)題歸約法C.謂詞邏輯法D.語(yǔ)義網(wǎng)絡(luò)法5.在公式中yxp(x,y))，存在量詞是在全稱量詞的轄域內(nèi)，我們?cè)试S所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個(gè)y值映射到存在的那個(gè)x。這種函數(shù)叫做（）A.依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)6.子句~PQ和P經(jīng)過(guò)消解以后，得到（）A.PB.QC.~PPQ7、（AB）A稱為（），~（AB）~A~B稱為（）結(jié)合律B.分配律C.吸收律D.摩根律9、10.如果問(wèn)題存在最優(yōu)解，則下面幾種搜索算法中，（）必然可以得到該最優(yōu)解，（）可以認(rèn)為是“智能程度相對(duì)比較高”的算法。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索啟發(fā)式搜索11.產(chǎn)生式系統(tǒng)的推理不包括（）A.正向推理B.逆向推理C.雙向推理D.簡(jiǎn)單推理12.下列哪部分不是專家系統(tǒng)的組成部分（）A.用戶B.綜合數(shù)據(jù)庫(kù)C.推理機(jī)D.知識(shí)庫(kù)13.要想讓機(jī)器具有智能，必須讓機(jī)器具有知識(shí)。因此，在人工智能中有一個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（）。A.專家系統(tǒng)B.機(jī)器學(xué)習(xí)C.神經(jīng)網(wǎng)絡(luò)D.模式識(shí)別14、人工智能是一門A)數(shù)學(xué)和生理學(xué) B)心理學(xué)和生理學(xué) C)語(yǔ)言學(xué)D)綜合性的交叉學(xué)科和邊緣學(xué)科15、語(yǔ)義網(wǎng)絡(luò)表達(dá)知識(shí)時(shí)，有向弧AKO鏈、ISA鏈?zhǔn)怯脕?lái)表達(dá)節(jié)點(diǎn)知識(shí)的（）。A)無(wú)悖性 B)可擴(kuò)充性 C)繼承性二、填空題（共30分）：1.歸結(jié)法中，可以通過(guò)---------的方法得到問(wèn)題的解答。2.化成子句形式為：。3.從已知事實(shí)出發(fā)，通過(guò)規(guī)則庫(kù)求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是是是的英文縮寫5.人工智能的基本技術(shù)包括、、、歸納技術(shù)、聯(lián)想技術(shù)。6.目前所用的知識(shí)表示形式有、、等。7.產(chǎn)生式系統(tǒng)有三部分組成，和推理機(jī)。其中推理可分為和。8.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而在一個(gè)量詞的轄域中與該量詞的指導(dǎo)變?cè)嗤淖冊(cè)Q為，其他變?cè)Q為9、1997年５月，著名的“人機(jī)大戰(zhàn)”，最終名為“”的計(jì)算機(jī)以比的總比分將世界國(guó)際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠(yuǎn)期目標(biāo)是，近期目標(biāo)是。11、謂詞邏輯中，重言式（tautlogy）的值是。12、利用歸結(jié)原理證明定理時(shí)，若得到的歸結(jié)式為，則結(jié)論成立。13、若C1=┐P∨Q，C2=P∨┐Q，則C1和C2的歸結(jié)式R（C1，C2）=。14、若C1=P(x)∨Q(x)，C2=┐P(a)∨R(y)，則C1和C2的歸結(jié)式R（C1，C2）=。15、在歸結(jié)原理中，幾種常見的歸結(jié)策略并且具有完備性的是，，。16、在啟發(fā)式搜索當(dāng)中，通常用來(lái)表示啟發(fā)性信息。17、假言推理（AB）A，假言三段論（AB）（BC）.三、簡(jiǎn)答與應(yīng)用題1、剪枝方法只是極小極大方法的一種近似，剪枝可能會(huì)遺漏掉最佳走步。這種說(shuō)法是否正確(6分)2.將下列謂詞公式化成子句集。（6分）3、解釋下列模糊性知識(shí)：1)張三，體型，（胖，））。2)(患者，癥狀，(頭疼，)∧(患者，癥狀，(發(fā)燒，)→(患者，疾病，(感冒，)(6分)4.寫出圖中樹的結(jié)點(diǎn)兩個(gè)訪問(wèn)序列，要求分別滿足以下兩個(gè)搜索策略：(6分)5151423678910111213廣度優(yōu)先搜索5、產(chǎn)生式系統(tǒng)由哪些部分組成6.張某被盜，公安局派了五個(gè)偵察員去調(diào)查。研究案情時(shí)，偵察員Ａ說(shuō)：“趙與錢中至少有一人作案”；偵察員Ｄ說(shuō)：“錢與孫至少有一人作案”；偵察員Ｃ說(shuō)：“孫與李中至少有一個(gè)作案”；偵察員Ｄ說(shuō)“趙與孫至少一個(gè)與案無(wú)關(guān)”；偵察員Ｅ說(shuō)“錢與李中至少有一人與此案無(wú)關(guān)”。如果這五個(gè)偵察員的話都是可信的，試用消解原理推理求出誰(shuí)是盜竊犯。（15分）7.下圖所示博弈樹，按從左到右的順序進(jìn)行α-β剪枝搜索，試標(biāo)明各生成節(jié)點(diǎn)的到推值，何處發(fā)生剪枝，及應(yīng)選擇的走步。答案部分一、選擇題123456789101112131415CDBBBBCDADDABDC填空題修改證明樹。正向推理ArtificalInteligence搜索技術(shù)推理技術(shù)知識(shí)表示和知識(shí)庫(kù)技術(shù)框架語(yǔ)義網(wǎng)絡(luò)面向?qū)ο缶C合數(shù)據(jù)庫(kù)知識(shí)庫(kù)正向推理反向推理轄域約束變?cè)杂勺冊(cè)钏{(lán)制造智能機(jī)器實(shí)現(xiàn)機(jī)器智能真空集┐P∨P或┐Q∨QQ（a）∨R（y）刪除策略支持集策略線性歸結(jié)策略啟發(fā)函數(shù)BAC三、簡(jiǎn)答與應(yīng)用題1不正確。－剪枝方法利用已經(jīng)搜索的信息，剪掉哪些對(duì)于搜索最佳走步?jīng)]有意義的分枝，其找到的最佳走步與極小極大方法找到的結(jié)果是一樣的。而且搜索效率有很大提高。2、3、答：1）表示：命題“張三比較胖”2）解釋為：如果患者有些頭疼并且發(fā)高燒，則他患了重感冒。4、解：（１）深度優(yōu)先搜索：１－２－５－６－１０－１１－３－７－１２－１３－４－８－９（２）廣度優(yōu)先搜索：１－２－３－４－５－６－７－８－９－１０－１１－１２－１３－１４5解答:組成產(chǎn)生式系統(tǒng)的三要素:（1）綜合數(shù)據(jù)庫(kù)；（2）一組產(chǎn)生式規(guī)則（或者規(guī)則集）；（3）一個(gè)控制系統(tǒng)（或者控制策略）6、解：設(shè)用T(x)表示x是作案者，則偵察員A的話可表示：T(趙)T(錢)偵察員B的話可表示：T(錢)T(孫)偵察員C的話可表示：T(孫)T(李)偵察員D的話可表示：T(趙)T(孫)偵察員E的話可表示：T(錢)T(李)上面五個(gè)組成子句集S，求誰(shuí)是作案者，把T(x)ANSWER(x)并入S1得到。即比S1多出如下一個(gè)子句：T(x)ANSWER(x)然后利用消解原理對(duì)S1進(jìn)行消解可得答案：錢和孫是作案者。7.人工智能試卷十一、選擇題（15小題，共15分）1、97年５月，著名的“人機(jī)大戰(zhàn)”，最終計(jì)算機(jī)以比的總比分將世界國(guó)際象棋棋王卡斯帕羅夫擊敗，這臺(tái)計(jì)算機(jī)被稱為（）A）深藍(lán) B）IBM C）深思 D）藍(lán)天2、下列不在人工智能系統(tǒng)的知識(shí)包含的4個(gè)要素中A)事實(shí) B)規(guī)則 C)控制和元知識(shí) D)關(guān)系3、謂詞邏輯下，子句,C1=L∨C1‘,C2=?L∨C2‘,若σ是互補(bǔ)文字的（最一般）合一置換，則其歸結(jié)式C=（）A)C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’∧C2’4、或圖通常稱為A）框架網(wǎng)絡(luò) B)語(yǔ)義圖 C)博亦圖 D)狀態(tài)圖5、不屬于人工智能的學(xué)派是A)符號(hào)主義 B)機(jī)會(huì)主義 C)行為主義 D)連接主義。6、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型，請(qǐng)問(wèn)這個(gè)科學(xué)家是A)明斯基 B).扎德 C)圖林 D)馮.諾依曼7、要想讓機(jī)器具有智能，必須讓機(jī)器具有知識(shí)。因此，在人工智能中有一個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（）。A)專家系統(tǒng) B)機(jī)器學(xué)習(xí) C)神經(jīng)網(wǎng)絡(luò) D)模式識(shí)別8、下列哪部分不是專家系統(tǒng)的組成部分（）A.）用戶 B）綜合數(shù)據(jù)庫(kù) C）推理機(jī) D）知識(shí)庫(kù)9、產(chǎn)生式系統(tǒng)的推理不包括（）A）正向推理 B）逆向推理 C）雙向推理 D）簡(jiǎn)單推理10、C(B|A)表示在規(guī)則A->B中，證據(jù)A為真的作用下結(jié)論B為真的A)可信度 B)信度 C)信任增長(zhǎng)度 D)概率11、AI的英文縮寫是A)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation12、反演歸結(jié)（消解）證明定理時(shí)，若當(dāng)前歸結(jié)式是（）時(shí)，則定理得證。A)永真式 B)包孕式（subsumed） C)空子句13、在公式中yxp(x,y))，存在量詞是在全稱量詞的轄域內(nèi)，我們?cè)试S所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個(gè)y值映射到存在的那個(gè)x。這種函數(shù)叫做（）A.依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)14、子句~PQ和P經(jīng)過(guò)消解以后，得到（）A.PB.QC.~PPQ15、如果問(wèn)題存在最優(yōu)解，則下面幾種搜索算法中，（）必然可以得到該最優(yōu)解。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索D.啟發(fā)式搜索二、填空題（共30分）：1.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而在一個(gè)量詞的轄域中與該量詞的指導(dǎo)變?cè)嗤淖冊(cè)Q為，其他變?cè)Q為2、假言推理（AB）A，假言三段論（AB）（BC）3、幾種常用的歸結(jié)策略：、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元?dú)w結(jié)策略4、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的核心技術(shù)稱為技術(shù)，解這類問(wèn)題時(shí)，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢(shì)用圖來(lái)表，這種圖稱為5.在啟發(fā)式搜索當(dāng)中，通常用來(lái)表示啟發(fā)性信息。6.在二人博弈問(wèn)題中，最常用的一種分析技術(shù)是，這種方法的思想是先生成一棵博弈樹，然后再計(jì)算其倒推值。但它的效率較低，因此人們?cè)诖嘶A(chǔ)上，又提出了7、不確定性類型按性質(zhì)分：，，，。8、在刪除策略歸結(jié)的過(guò)程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。9、對(duì)證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關(guān)系：CF（~A）=、CF（A1∧A2）=、CF（A1∨A2）=。10、圖：指由組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為和。11、合一算法：求非空有限具有相同謂詞名的原子公式集的。12、開發(fā)專家系統(tǒng)所要解決的基本問(wèn)題有三個(gè)，那就是知識(shí)的獲取、知識(shí)的表示和，知識(shí)表示的方法主要有，，和語(yǔ)義網(wǎng)絡(luò)等，在語(yǔ)義網(wǎng)絡(luò)表示知識(shí)時(shí)，所使用的推理方法有和三、簡(jiǎn)答與應(yīng)用題謂詞邏輯形式化下列描述“不存在最大的整數(shù)”(4分)2.α－β剪枝的條件是什么？

（6分）3、某問(wèn)題由下列公式描述：(1)、試用歸結(jié)法證明(x)R(x)；（8分）4.專家系統(tǒng)的一般步驟有哪些專家系統(tǒng)的開發(fā)與一般的軟件系統(tǒng)開發(fā)相比較，有哪些共同點(diǎn)和特點(diǎn)（7分）5.何謂“圖靈實(shí)驗(yàn)”簡(jiǎn)單描述之（5分）6、設(shè)有如下關(guān)系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問(wèn)上述人員中誰(shuí)和誰(shuí)是祖孫關(guān)系(10分)7.給1～9九個(gè)數(shù)字排一個(gè)序列，使得該序列的前n(n=1,...,9)個(gè)數(shù)字組成的整數(shù)能被n整除。

(1)、討論哪些知識(shí)可以幫助該問(wèn)題的求解。

(2)、用產(chǎn)生式系統(tǒng)描述該問(wèn)題.(15分)答案部分一、選擇題ADADBCBADBBCBBA二、填空題1、轄域約束變?cè)杂勺冊(cè)?、BAC3、刪除策略4、圖搜索狀態(tài)空間圖（或狀態(tài)圖）5、啟發(fā)函數(shù)6、極大極小分析法-剪枝技術(shù)7、隨機(jī)性模糊性不一致性不確定性8、純文字永真類含9、~CF（A）min{CF（A1），CF（A2）}max{CF（A1），CF（A2）}10、或圖與或圖11、最一般合一12、知識(shí)的運(yùn)用邏輯表示法（謂詞表示法）框架產(chǎn)生式AKOISA三、簡(jiǎn)答及應(yīng)用題1、定義謂詞G(x)：x為整數(shù)D(x,y)：x大于y形式化為：或者2、回答:α剪枝：若任一極小值層節(jié)點(diǎn)的β值小于或等于它任一先輩極大值節(jié)點(diǎn)的α值，即α（先輩層）≥β（后繼層），則可中止該極小值層中這個(gè)MIN節(jié)點(diǎn)以下的搜索過(guò)程。這個(gè)MIN節(jié)點(diǎn)最終的倒推值就確定為這個(gè)β值。

β剪枝：若任一極大值層節(jié)點(diǎn)的α值大于或等于它任一先輩極小值層節(jié)點(diǎn)的β值，即α（后繼層）≥β（先輩層），則可以中止該極大值層中這個(gè)MAX節(jié)點(diǎn)以下的搜索過(guò)程。這個(gè)MAX節(jié)點(diǎn)的最終倒推值就確定為這個(gè)α值。3、化子句集如下：4、答：（１）專家系統(tǒng)與一般的軟件系統(tǒng)開發(fā)無(wú)異，其開發(fā)過(guò)程同樣要遵循軟件工程的步驟和原則，即也要進(jìn)行系統(tǒng)分析、系統(tǒng)設(shè)計(jì)等幾個(gè)階段的工作。（２）但由于它是專家系統(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨(dú)特的地方，主要包括以下幾個(gè)步驟：系統(tǒng)總體分析與設(shè)計(jì)；知識(shí)獲取；知識(shí)表示與知識(shí)描述語(yǔ)言設(shè)計(jì)；知識(shí)庫(kù)設(shè)計(jì)、知識(shí)庫(kù)管理系統(tǒng)設(shè)計(jì)；推理機(jī)與解釋模塊設(shè)計(jì)；總控與界面設(shè)計(jì)編程與調(diào)試測(cè)試與評(píng)價(jià)運(yùn)行與維護(hù)（３）可以看出它有如下特點(diǎn)：知識(shí)獲取和知識(shí)表示設(shè)計(jì)是一切工作的起點(diǎn)；知識(shí)表示與知識(shí)描述語(yǔ)言確定后，其他設(shè)計(jì)可同時(shí)進(jìn)行；5、答：所謂“圖靈實(shí)驗(yàn)”，是為了判斷一臺(tái)機(jī)器是否具備智能的實(shí)驗(yàn)。實(shí)驗(yàn)由三個(gè)封閉的房間組成，分別放置主持人、參與人和機(jī)器。主持人向參與人和機(jī)器提問(wèn)，通過(guò)提問(wèn)的結(jié)果來(lái)判斷誰(shuí)是人，誰(shuí)是機(jī)器。如果主持人無(wú)法判斷誰(shuí)是人，誰(shuí)是機(jī)器，則這臺(tái)機(jī)器具備智能，即所謂的“智能機(jī)器”。6、解:現(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)．．．從(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)系。為了求解用一個(gè)重言式④④～G(u,v)∨G(u,v)．．．用重言式代替結(jié)論的否定,重言式恒為真⑤～F(D,z)∨G(L,z) ．．．①②歸結(jié),置換｛L/x,D/y｝⑥G(L,X) ．．．③⑤歸結(jié),置換｛X/z｝⑦G(L,X) ．．．④⑥歸結(jié),置換｛L/u,X/v｝得結(jié)果:L是X的祖父，即老李是小李的祖父。7、如下的知識(shí)可以幫助求解該問(wèn)題：

（1）序列中，偶數(shù)在偶數(shù)位置，奇數(shù)在奇數(shù)位置；

（2）第五個(gè)數(shù)為5。

綜合數(shù)據(jù)庫(kù)：

用一個(gè)1到9的序列表示：N={x}，其中x為1到9的數(shù)字之一。

規(guī)則集：

r1:IFlen(N)=4THEN{x}∪{5}

r2:IFlen(N)為偶數(shù)andn=In(1,3,7,9)THEN{x}∪{n}

r3:IFlen(N)為奇數(shù)andn=In(2,4,6,8)THEN{x}∪{n}

其中l(wèi)en(N)為求序列的長(zhǎng)度，In(a,b,c,d)為取a、b、c、d之一。

初始狀態(tài)：{}

結(jié)束條件：得到的序列N前i個(gè)數(shù)組成的整數(shù)能被i整除人工智能試卷十三什么是人工智能人工智能與計(jì)算機(jī)程序的區(qū)別答：AI是研究如何制造人造的智能機(jī)器或智能系統(tǒng)來(lái)模擬人類智能活動(dòng)的能力以延伸人類智能的科學(xué)，它與計(jì)算機(jī)程序的區(qū)別是：AI研究的是符號(hào)表示的知識(shí)而不是數(shù)值數(shù)據(jù)為研究對(duì)象AI采用啟發(fā)式搜索方法而不是普通的算法控制結(jié)構(gòu)與知識(shí)是分離的允許出現(xiàn)不正確的答案化下列邏輯表達(dá)式為不含存在量詞的前束范式 答：求下列謂詞公式的子句集 答：所以子句集為：{}若有梯形ABCD，將其中的若干定理形式化即定義一些謂詞公式，然后利用歸結(jié)原理證明內(nèi)錯(cuò)角CACABD證明：設(shè)梯形頂點(diǎn)依次為a,b,c,d,定義謂詞:T(x,y,u,v):表示xy為上底,uv為下底的梯形.P(x,y,u,v):表示xy||uvE(x,y,z,u,v,w)表示∠xyz=∠uvw，問(wèn)題的描述和相應(yīng)的子句集為xyuv[T(x,y,u,v)→P(x,y,u,v)]...梯形上下底平行 子句：～T(x,y,u,v)∨P(x,y,u,v) xyuv[P(x,y,u,v)→E(x,y,v,u,v,y)]...平行則內(nèi)錯(cuò)交相等 子句：T(a,b,c,d)...已知子句：T(a,b,c,d) E(a,b,d,c,d,b)...要證明的結(jié)論子句：～E(a,b,d,c,d,b)子句集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,b,c,d)～E(a,b,d,c,d,b)下面利用歸結(jié)原理證明P(a,b,c,d) （1）和（3）歸結(jié)，置換{a/x,b/y,c/u,d/v}E(a,b,d,c,d,b) （2）和（5）歸結(jié)，置換{a/x,b/y,c/u,d/v}NIL （4）和（6）歸結(jié)根據(jù)歸結(jié)原理得證。求子句集的MGU解：k=0;S0=S;δ0=ε;S0不是單元素集，求得差異集D0=｛a/z｝,其中z是變?cè)?，a是項(xiàng)，且z不在a中出現(xiàn)。k=k+1=1有δ1=δ0·｛a/z｝=ε·｛a/z｝=｛a/z｝，S1=S0·｛a/z｝=｛P(a,x,f(g(y)),P(a,h(a,u),f(u))),S1不是單元素集，求得差異集D1=｛x,h(a,u)｝,k=k+1=2;δ2=δ1·｛h(a,u)/x｝=｛a/z,h(a,u)/x｝,S2=S1·｛h(a,u)/x｝=｛P(a,h(a,u),f(g(y)),P(a,h(a,u),f(u)))，S2不是單元素集，求得差異集D2=｛g(y),u｝,k=k+1=3δ3=δ2·｛g(y)/u｝=｛a/z,h(a,u)/x｝·｛g(y)/u｝=｛a/z,h(a,g(y))/x,g(y)/u｝S3=S2·｛g(y)/u｝=｛P(a,h(a,g(y)),f(g(y)))｝是單元素集。根據(jù)求MGU算法，MGU=δ3=｛a/z,h(a,g(y))/x,g(y)/u｝用代價(jià)優(yōu)先算法求解下圖的旅行推銷員問(wèn)題，請(qǐng)找一條從北京出發(fā)能遍歷各城市的最佳路徑（旅行費(fèi)最少），每條弧上的數(shù)字表示城市間的旅行費(fèi)用。并用CLOSED表記錄遍歷過(guò)的結(jié)點(diǎn)，OPEN表記錄待遍歷的結(jié)點(diǎn)。畫出closed和open表的變化過(guò)程，然后根據(jù)closed表找出最佳路徑。解： OPEN表擴(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）ECLOSE表擴(kuò)展節(jié)點(diǎn)父節(jié)點(diǎn)A（0）NULLC（28）AE（29）CD（38）EB（43）DA（31）B用框架表示下述報(bào)導(dǎo)的沙塵暴災(zāi)害事件[虛擬新華社3月16日電]昨日，沙塵暴襲擊韓國(guó)漢城，機(jī)場(chǎng)與高速公路被迫關(guān)閉，造成的損失不詳。韓國(guó)官方示，如果需要直接損失情況，可待一周后的官方公布的字。此次沙塵暴起因中日韓專家認(rèn)為是由于中國(guó)內(nèi)蒙古區(qū)過(guò)分墾牧破壞植被所致。提示：分析概括用下劃線標(biāo)出的要點(diǎn)，經(jīng)過(guò)概念化形成槽（Slot）并擬出槽的名稱，選填側(cè)面（face）值。側(cè)面包含“值（value）”，“默認(rèn)值（default）”，“如果需要值（if-needed）”，“如果附加值（if-added）”幾個(gè)方面，用不到的側(cè)面值可刪除。FRAME：Slot1：Value：Default：If-needed：If-added：Slot2：Value：Default：If-needed：If-added：Slot3：Value：Default：If-needed：If-added：……解：FRAME：沙塵暴Slot1：時(shí)間Value：3月15日Default：If-needed：If-added：Slot2：地點(diǎn)Value：韓國(guó)漢城Default：If-needed：If-added：Slot3：損失Value：不詳Default：If-needed：一周后官方公布數(shù)字If-added：Slot4：起因Default：中國(guó)內(nèi)蒙古區(qū)人工智能試卷十八一、選擇題：（13小題，共13分）1.人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型，請(qǐng)問(wèn)這個(gè)科學(xué)家是（C）。A.明斯基B.扎德C.圖靈D.馮.諾依曼2.下列哪個(gè)不是人工智能的研究領(lǐng)域（D）A.機(jī)器證明B.模式識(shí)別C.人工生命D.編譯原理3.神經(jīng)網(wǎng)絡(luò)研究屬于下列（B）學(xué)派A.符號(hào)主義B.連接主義C.行為主義D.都不是4.已知初始問(wèn)題的描述，通過(guò)一系列變換把此問(wèn)題最終變?yōu)橐粋€(gè)子問(wèn)題集合；這些子問(wèn)題的解可以直接得到，從而解決了初始問(wèn)題。這是知識(shí)表示法叫（B）A.狀態(tài)空間法B.問(wèn)題歸約法C.謂詞邏輯法D.語(yǔ)義網(wǎng)絡(luò)法5.在公式中yxp(x,y))，存在量詞是在全稱量詞的轄域內(nèi)，我們?cè)试S所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個(gè)y值映射到存在的那個(gè)x。這種函數(shù)叫做（B）A.依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)6.子句~PQ和P經(jīng)過(guò)消解以后，得到（B）A.PB.QC.~PPQ7,（AB）A稱為（C），~（AB）~A~B稱為（D）結(jié)合律B.分配律C.吸收律D.摩根律9,10.如果問(wèn)題存在最優(yōu)解，則下面幾種搜索算法中，（A）必然可以得到該最優(yōu)解，（D）可以認(rèn)為在這幾種算法中是“智能程度相對(duì)比較高”的算法。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索啟發(fā)式搜索11.產(chǎn)生式系統(tǒng)的推理不包括（D）A.正向推理B.逆向推理C.雙向推理D.簡(jiǎn)單推理12.下列哪部分不是專家系統(tǒng)的組成部分（A）A.用戶B.綜合數(shù)據(jù)庫(kù)C.推理機(jī)D.知識(shí)庫(kù)13.要想讓機(jī)器具有智能，必須讓機(jī)器具有知識(shí)。因此，在人工智能中有一個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（B）。A.專家系統(tǒng)B.機(jī)器學(xué)習(xí)C.神經(jīng)網(wǎng)絡(luò)D.模式識(shí)別！二、填空題：（12小題，共30分）人工智能三大學(xué)派是符號(hào)主義、聯(lián)結(jié)主義、行為主義?；勺泳湫问綖椋骸?.從已知事實(shí)出發(fā)，通過(guò)規(guī)則庫(kù)求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是正向推理的英文縮寫是ArtificalInteligence5.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的轄域，而在一個(gè)量詞的轄域中與該量詞的指導(dǎo)變?cè)嗤淖冊(cè)Q為約束變?cè)?，其他變?cè)Q為自由變?cè)?、假言推理（AB）AB，假言三段論（AB）（BC）AC7、幾種常用的歸結(jié)策略：刪除策略、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元?dú)w結(jié)策略8、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的核心技術(shù)稱為圖搜索技術(shù)，解這類問(wèn)題時(shí)，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢(shì)用圖來(lái)表，這種圖稱為狀態(tài)空間圖（或狀態(tài)圖）9.在啟發(fā)式搜索當(dāng)中，通常用啟發(fā)函數(shù)來(lái)表示啟發(fā)性信息。10.在二人博弈問(wèn)題中，最常用的一種分析技術(shù)是極大極小分析法，這種方法的思想是先生成一棵博弈樹，然后再計(jì)算其倒推值。但它的效率較低，因此人們?cè)诖嘶A(chǔ)上，又提出了-剪枝技術(shù)11.某產(chǎn)生式系統(tǒng)中的一條規(guī)則：A（x）B（x），則前件是A（x），后件是B（x）12.在框架和語(yǔ)義網(wǎng)絡(luò)兩種知識(shí)表示方法中，框架適合于表示結(jié)構(gòu)性強(qiáng)的知識(shí)，而語(yǔ)義網(wǎng)絡(luò)則適合表示一些復(fù)雜的關(guān)系和聯(lián)系的知識(shí)。面向?qū)ο蟛粌H僅是一種知識(shí)表示方法，也是一種流行的軟件設(shè)計(jì)和開發(fā)技術(shù)。三、簡(jiǎn)答題：（3小題，共27分）1.把下列謂詞公式分別化成相應(yīng)的子句集：x(yP(x,y)→～y(Q(x,y)→R(x,y)))（9分）解：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)))2.專家系統(tǒng)的一般步驟有哪些專家系統(tǒng)的開發(fā)與一般的軟件系統(tǒng)開發(fā)相比較，有哪些共同點(diǎn)和特點(diǎn)（5分）答：（１）專家系統(tǒng)與一般的軟件系統(tǒng)開發(fā)無(wú)異，其開發(fā)過(guò)程同樣要遵循軟件工程的步驟和原則，即也要進(jìn)行系統(tǒng)分析、系統(tǒng)設(shè)計(jì)等幾個(gè)階段的工作。（２）但由于它是專家系統(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨(dú)特的地方，主要包括以下幾個(gè)步驟：系統(tǒng)總體分析與設(shè)計(jì)；知識(shí)獲??；知識(shí)表示與知識(shí)描述語(yǔ)言設(shè)計(jì)；知識(shí)庫(kù)設(shè)計(jì)、知識(shí)庫(kù)管理系統(tǒng)設(shè)計(jì)；推理機(jī)與解釋模塊設(shè)計(jì)；總控與界面設(shè)計(jì)編程與調(diào)試測(cè)試與評(píng)價(jià)運(yùn)行與維護(hù)（３）可以看出它有如下特點(diǎn)：知識(shí)獲取和知識(shí)表示設(shè)計(jì)是一切工作的起點(diǎn)；知識(shí)表示與知識(shí)描述語(yǔ)言確定后，其他設(shè)計(jì)可同時(shí)進(jìn)行；2、八數(shù)碼游戲，初始棋局和目標(biāo)棋局如圖，定義啟發(fā)函數(shù)h（x）表示某狀態(tài)下與目標(biāo)數(shù)碼不同的位置個(gè)數(shù)，用全局擇優(yōu)法畫出搜索的過(guò)程。（8分）初始狀態(tài)：，目標(biāo)狀態(tài)：解：4、試實(shí)現(xiàn)一個(gè)“大學(xué)教師”的框架，大學(xué)教師類屬于教師，包括以下屬性：學(xué)歷（學(xué)士、碩士、博士）、專業(yè)（計(jì)算機(jī)、電子、自動(dòng)化、……）、職稱（助教、講師、副教授、教授）（5分）解：框架名：<大學(xué)教師>類屬：<教師>學(xué)歷：(學(xué)士、碩士、博士)專業(yè)：（計(jì)算機(jī)、電子、自動(dòng)化、…..）職稱：（助教、講師、副教授、教授）四、應(yīng)用題：（2小題，共30分）1.張某被盜，公安局派了五個(gè)偵察員去調(diào)查。研究案情時(shí)，偵察員Ａ說(shuō)：“趙與錢中至少有一人作案”；偵察員Ｄ說(shuō)：“錢與孫至少有一人作案”；偵察員Ｃ說(shuō)：“孫與李中至少有一個(gè)作案”；偵察員Ｄ說(shuō)“趙與孫至少一個(gè)與案無(wú)關(guān)”；偵察員Ｅ說(shuō)“錢與李中至少有一人與此案無(wú)關(guān)”。如果這五個(gè)偵察員的話都是可信的，試用消解原理推理求出誰(shuí)是盜竊犯。（15分）解：設(shè)用T(x)表示x是作案者，則偵察員A的話可表示：T(趙)T(錢)偵察員B的話可表示：T(錢)T(孫)偵察員C的話可表示：T(孫)T(李)偵察員D的話可表示：T(趙)T(孫)偵察員E的話可表示：T(錢)T(李)上面五個(gè)組成子句集S，求誰(shuí)是作案者，把T(x)ANSWER(x)并入S1得到。即比S1多出如下一個(gè)子句：T(x)ANSWER(x)然后利用消解原理對(duì)S1進(jìn)行消解可得答案：錢和孫是作案者。2.某企業(yè)欲招聘一個(gè)JAVA程序員，定義如下產(chǎn)生式規(guī)則(要求)：r1:IF有工作經(jīng)驗(yàn)or(本科以上學(xué)歷and有相關(guān)知識(shí)背景then錄用（r2:IF工作兩年以上and作過(guò)相關(guān)工作then有工作經(jīng)驗(yàn)（）r3:IF學(xué)過(guò)數(shù)據(jù)結(jié)構(gòu)and學(xué)過(guò)JAVAand學(xué)過(guò)數(shù)據(jù)庫(kù)and學(xué)過(guò)軟件工程then有相關(guān)知識(shí)背景r4:學(xué)過(guò)數(shù)據(jù)結(jié)構(gòu)（相關(guān)課程的成績(jī)/100）r5:學(xué)過(guò)JAVA（相關(guān)課程的成績(jī)/100）r6:學(xué)過(guò)數(shù)據(jù)庫(kù)（相關(guān)課程的成績(jī)/100）r7:學(xué)過(guò)軟件工程（相關(guān)課程的成績(jī)/100）r8:做過(guò)相關(guān)工作：JAVA程序員：1，項(xiàng)目經(jīng)理：1，數(shù)據(jù)庫(kù)開發(fā)工程師：，數(shù)據(jù)庫(kù)管理員：,網(wǎng)絡(luò)管理員：，客服人員：設(shè)有一本科畢業(yè)生甲，其相關(guān)課程的成績(jī)?yōu)閿?shù)據(jù)結(jié)構(gòu)=85,JAVA=80,數(shù)據(jù)庫(kù)=40,軟件工程=90另有一社會(huì)招聘人員乙，參加工作三年，曾做過(guò)數(shù)據(jù)庫(kù)管理員和數(shù)據(jù)庫(kù)開發(fā)人員根據(jù)確定性理論，問(wèn)該公司應(yīng)該招聘誰(shuí)如果你是該本科生，為了能在招聘中勝出，你應(yīng)該加強(qiáng)哪門課程，并使該門課程的成績(jī)至少達(dá)到多少（15分）解：（1）對(duì)于本科畢業(yè)生，由r4，r5，r6，r7：CF（學(xué)過(guò)數(shù)據(jù)結(jié)構(gòu)）=CF（學(xué)過(guò)JAVA）=CF（學(xué)過(guò)數(shù)據(jù)庫(kù)）=CF（學(xué)過(guò)軟件工程）=由r3，CF（有相關(guān)知識(shí)背景）=*min{,,,}=CF（本科學(xué)歷）=1由r1，CF（錄用）=*min{，1}=（2）對(duì)于社會(huì)招聘人員，由r8，CF（相關(guān)工作）=CF（工作兩年以上）=1由r2，CF（有工作經(jīng)驗(yàn)）=*min{1，}=由r1，CF（錄用）=*=所以，該公司應(yīng)錄用社會(huì)招聘人員乙。（3）可以看出，應(yīng)該加強(qiáng)數(shù)據(jù)庫(kù)的學(xué)習(xí)，并使該門課程達(dá)到80分以上。工智能試卷十九一、選擇題(每題1分，共15分)1、人工智能是一門A)數(shù)學(xué)和生理學(xué) B)心理學(xué)和生理學(xué) C)語(yǔ)言學(xué)D)綜合性的交叉學(xué)科和邊緣學(xué)科2、語(yǔ)義網(wǎng)絡(luò)表達(dá)知識(shí)時(shí)，有向弧AKO鏈、ISA鏈?zhǔn)怯脕?lái)表達(dá)節(jié)點(diǎn)知識(shí)的（）。A)無(wú)悖性 B)可擴(kuò)充性 C)繼承性3、(A->B)∧A=>B是A)附加律 B)拒收律 C)假言推理 D)US4、命題是可以判斷真假的A)祈使句 B)疑問(wèn)句 C)感嘆句 D)陳述句5、僅個(gè)體變?cè)涣炕闹^詞稱為A)一階謂詞B)原子公式C)二階謂詞D)全稱量詞6、MGU是A)最一般合一B)最一般替換C)最一般謂詞D)基替換最一般合一7、下列不在人工智能系統(tǒng)的知識(shí)包含的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)語(yǔ)義圖 C)博亦圖 D)狀態(tài)圖10、不屬于人工智能的學(xué)派是A)符號(hào)主義 B)機(jī)會(huì)主義 C)行為主義 D)連接主義。11、所謂不確定性推理就是從()的初始證據(jù)出發(fā)，通過(guò)運(yùn)用()的知識(shí)，最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結(jié)論的思維過(guò)程。A)不確定性,不確定性 B)確定性,確定性C)確定性,不確定性 D)不確定性確定性12.要想讓機(jī)器具有智能，必須讓機(jī)器具有知識(shí)。因此，在人工智能中有一個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（）。A)專家系統(tǒng) B)機(jī)器學(xué)習(xí) C)神經(jīng)網(wǎng)絡(luò) D)模式識(shí)別13、下列哪部分不是專家系統(tǒng)的組成部分（）A.）用戶 B）綜合數(shù)據(jù)庫(kù) C）推理機(jī) D）知識(shí)庫(kù)14、產(chǎn)生式系統(tǒng)的推理不包括（）A）正向推理 B）逆向推理 C）雙向推理 D）簡(jiǎn)單推理15、C(B|A)表示在規(guī)則A->B中，證據(jù)A為真的作用下結(jié)論B為真的A)可信度 B)信度 C)信任增長(zhǎng)度 D)概率二、填空題(每空分，共30分)1、不確定性類型按性質(zhì)分：，，，。2、在刪除策略歸結(jié)的過(guò)程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。3、對(duì)證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關(guān)系：CF（~A）=、CF（A1∧A2）=、CF（A1∨A2）=4、圖：指由和組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為和。5、合一算法：求非空有限具有相同謂詞名的原子公式集的6、產(chǎn)生式系統(tǒng)的推理過(guò)程中，從可觸發(fā)規(guī)則中選擇一個(gè)規(guī)則來(lái)執(zhí)行，被執(zhí)行的規(guī)則稱為。7、P(B|A)表示在規(guī)則中，證據(jù)A為真的作用下結(jié)論B為真的。8、人工智能的遠(yuǎn)期目標(biāo)是，近期目標(biāo)是。三、簡(jiǎn)答及計(jì)算題1、將下列自然語(yǔ)言轉(zhuǎn)化為謂詞表示形式：所有的人都是要呼吸的。每個(gè)學(xué)生都要參加考試。(3)任何整數(shù)或是正的或是負(fù)的。（12分）2、人工智能主要有哪幾種研究途徑和技術(shù)方法，簡(jiǎn)單說(shuō)明之。（8分）答：（１）符號(hào)智能：主要以符號(hào)知識(shí)為基礎(chǔ)，通過(guò)符號(hào)推理進(jìn)行問(wèn)題求解而實(shí)現(xiàn)的智能，主要包括知識(shí)工程和符號(hào)處理技術(shù)；（２）計(jì)算智能：是以數(shù)據(jù)計(jì)算為基礎(chǔ)，通過(guò)數(shù)值計(jì)算進(jìn)行問(wèn)題求解而實(shí)現(xiàn)的智能，包括人工神經(jīng)網(wǎng)絡(luò)，進(jìn)化計(jì)算，模糊技術(shù)等。3、設(shè)已知:(1)能閱讀者是識(shí)字的;(2)海豚不識(shí)字;(3)有些海豚是聰明的;求證:有些聰明者并不能閱讀.(10分)下列謂詞公式分別化成相應(yīng)的子句集。(10分)x(yP(x,y)→～y(Q(x,y)→R(x,y)))5、某企業(yè)欲招聘一個(gè)JAVA程序員，定義如下產(chǎn)生式規(guī)則(要求)：r1:IF有工作經(jīng)驗(yàn)or(本科以上學(xué)歷and有相關(guān)知識(shí)背景then錄用（r2:IF工作兩年以上and作過(guò)相關(guān)工作then有工作經(jīng)驗(yàn)（）r3:IF學(xué)過(guò)數(shù)據(jù)結(jié)構(gòu)and學(xué)過(guò)JAVAand學(xué)過(guò)數(shù)據(jù)庫(kù)and學(xué)過(guò)軟件工程then有相關(guān)知識(shí)背景r4:學(xué)過(guò)數(shù)據(jù)結(jié)構(gòu)（相關(guān)課程的成績(jī)/100）r5:學(xué)過(guò)JAVA（相關(guān)課程的成績(jī)/100）r6:學(xué)過(guò)數(shù)據(jù)庫(kù)（相關(guān)課程的成績(jī)/100）r7:學(xué)過(guò)軟件工程（相關(guān)課程的成績(jī)/100）r8:做過(guò)相關(guān)工作：JAVA程序員：1，項(xiàng)目經(jīng)理：1，數(shù)據(jù)庫(kù)開發(fā)工程師：，數(shù)據(jù)庫(kù)管理員：,網(wǎng)絡(luò)管理員：，客服人員：設(shè)有一本科畢業(yè)生甲，其相關(guān)課程的成績(jī)?yōu)閿?shù)據(jù)結(jié)構(gòu)=85,JAVA=80,數(shù)據(jù)庫(kù)=40,軟件工程=90另有一社會(huì)招聘人員乙，參加工作三年，曾做過(guò)數(shù)據(jù)庫(kù)管理員和數(shù)據(jù)庫(kù)開發(fā)人員根據(jù)確定性理論，問(wèn)該公司應(yīng)該招聘誰(shuí)如果你是該本科生，為了能在招聘中勝出，你應(yīng)該加強(qiáng)哪門課程，并使該門課程的成績(jī)至少達(dá)到多少（15分）解：（1）對(duì)于本科畢業(yè)生，由r4，r5，r6，r7：CF（學(xué)過(guò)數(shù)據(jù)結(jié)構(gòu)）=CF（學(xué)過(guò)JAVA）=CF（學(xué)過(guò)數(shù)據(jù)庫(kù)）=CF（學(xué)過(guò)軟件工程）=由r3，CF（有相關(guān)知識(shí)背景）=*min{,,,}=CF（本科學(xué)歷）=1由r1，CF（錄用）=*min{，1}=（2）對(duì)于社會(huì)招聘人員，由r8，CF（相關(guān)工作）=CF（工作兩年以上）=1由r2，CF（有工作經(jīng)驗(yàn)）=*min{1，}=由r1，CF（錄用）=*=所以，該公司應(yīng)錄用社會(huì)招聘人員乙。（3）可以看出，應(yīng)該加強(qiáng)數(shù)據(jù)庫(kù)的學(xué)習(xí)，并使該門課程達(dá)到80分以上。答案：一、1、D 2、C 3、C 4、D 5、A 6、A 7、D 8、C 9、D 10、B 11、A 12、B 13、A. 14、D 15、B二、1、隨機(jī)性，模糊性，不完全性，不一致性2、純文字，永真式，類含3、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)}4、節(jié)點(diǎn)，有向邊，或圖，與或圖5、最一般合一（MGU）6、被觸發(fā)規(guī)則7、A→B，概率8、制造智能機(jī)器，實(shí)現(xiàn)機(jī)器智能三、簡(jiǎn)答及計(jì)算題1、將下列自然語(yǔ)言轉(zhuǎn)化為謂詞表示形式：所有的人都是要呼吸的。每個(gè)學(xué)生都要參加考試。(3)任何整數(shù)或是正的或是負(fù)的。（12分）解：設(shè)M(x)：x是人，H(x)：x要呼吸。P(x)：x是學(xué)生，Q(x)：x要參加考試。J(x)：x是整數(shù)，R(x)：x是正數(shù)，N(x)：x是負(fù)數(shù)。則上述三題就記為：(1)V-x(M(x)→H(x))(2)V-x(P(x)→Q(x))(3)V-x(I(x)→R(x)∨N(x)))2、人工智能主要有哪幾種研究途徑和技術(shù)方法，簡(jiǎn)單說(shuō)明之。（8分）答：（１）符號(hào)智能：主要以符號(hào)知識(shí)為基礎(chǔ)，通過(guò)符號(hào)推理進(jìn)行問(wèn)題求解而實(shí)現(xiàn)的智能，主要包括知識(shí)工程和符號(hào)處理技術(shù)；（２）計(jì)算智能：是以數(shù)據(jù)計(jì)算為基礎(chǔ)，通過(guò)數(shù)值計(jì)算進(jìn)行問(wèn)題求解而實(shí)現(xiàn)的智能，包括人工神經(jīng)網(wǎng)絡(luò)，進(jìn)化計(jì)算，模糊技術(shù)等。3、設(shè)已知:(1)能閱讀者是識(shí)字的;(2)海豚不識(shí)字;(3)有些海豚是聰明的;求證:有些聰明者并不能閱讀.(10分)證:定義如下命題:R(x):x能閱讀;L(x):x識(shí)字;I(x):x是聰明的;D(x):x是海豚;把已知條件及求證結(jié)論翻譯成謂詞公式為x(R(x)→L(x))...已知x(D(x)→～L(x))...已知x(D(x)∧I(x))...已知x(I(x)∧～R(x))...求證結(jié)論將已知條件,求證結(jié)論的反化成子句集①～R(x)∨L(x)②～D(y)∨～L(y)③D(a)④I(a)⑤～I(xiàn)(z)∨R(z)⑥～L(a)......2,3歸結(jié)｛a/y｝⑦～R(a)......1,6歸結(jié)｛a/x｝⑧R(a)......4,5歸結(jié)｛a/z｝⑨□......7,8歸結(jié)得證.下列謂詞公式分別化成相應(yīng)的子句集。(10分)（1）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)))5、某企業(yè)欲招聘一個(gè)JAVA程序員，定義如下產(chǎn)生式規(guī)則(要求)：r1:IF有工作經(jīng)驗(yàn)or(本科以上學(xué)歷and有相關(guān)知識(shí)背景then錄用（r2:IF