版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
、填空:
1.人工智能的研究途徑有心理模擬、生理模擬和行為模擬。
2.任意列舉人工智能的四個應(yīng)用性領(lǐng)域難題求解、定理證明、智能控
機(jī)器翻譯。
3.人工智能的基本技術(shù)包括搜索技術(shù)、推理技術(shù)、知識表示和知識庫技
術(shù)歸納技術(shù)、聯(lián)想技術(shù)。
4.謂詞邏輯是一種表達(dá)能力很強(qiáng)的形式語言,其真值的特點和命題邏輯
的區(qū)別是(10)。
5.謂詞邏輯中,重言式()的值是真。
6.設(shè)P是謂詞公式,對于P的任何論域,存在P為真的情況,則稱P
為永真式。
7.在著名的醫(yī)療專家系統(tǒng)中規(guī)定,若證據(jù)A的可信度(A)=0,則意味
著無關(guān),(A)1,則意味著假,(A)=1,則意味著直。
8.謂詞公式G是不可滿足的,當(dāng)且僅當(dāng)對所有的解釋G都為假。
9.謂詞公式與其子句集的關(guān)系是上宣。
10.利用歸結(jié)原理證明定理時,若得到的歸結(jié)式為至集,則結(jié)論成立。
11.若Cl=-|PVQ,C2VnQ,貝ijCl和C2的歸結(jié)式R(Cl,C2);iP
VP^-iQVQo
12.若Cl(x)VQ(x),C2=-|P(a)VR(y),則Cl和C2的歸結(jié)式R(C1,
C2);(20)Q(a)VR(y)
13.有謂詞公式G,置換6,貝l)G-£二(21),6?e=(22)
14.有子句集(P(x)(y)},其{}。
15.在歸結(jié)原理中,幾種常見的歸結(jié)策略并且具有完備性的是刪除
策略支持集策略線性歸結(jié)策略
16.狀態(tài)圖啟發(fā)式搜索算法的特點是(27)。
17.廣度優(yōu)先搜索算法中,表的數(shù)據(jù)結(jié)構(gòu)實際是一個二叉樹,深度優(yōu)
先搜索算法中,表的數(shù)據(jù)結(jié)構(gòu)實際是一個單鏈表。
18.產(chǎn)生式系統(tǒng)有三部分組成綜合數(shù)據(jù)庫,知識庫和推理機(jī)。其中
推理可分為正向推理和反向推理。
19.專家系統(tǒng)的結(jié)構(gòu)包含人機(jī)界面、知識庫,推理機(jī),動態(tài)數(shù)據(jù)
殳,知識庫答理系統(tǒng)和解釋模塊。
20.在推理中,對證據(jù)的可信度(A)、(Al)、(A2)之間,規(guī)定如下關(guān)
系:O=(A),(A1AA2):{(Al),(A2)},(A1VA2):{(A1),
(A2)}o
21.開發(fā)專家系統(tǒng)所要解決的基本問題有三個,那就是知識的獲取、
知識的表示和知識的運(yùn)用,知識表示的方法主要有邏輯表示法(謂
詞表示法),框架,產(chǎn)生式和語義網(wǎng)絡(luò)等,在語義網(wǎng)絡(luò)表示知識
時,所使用的推理方法有—和—
22.系統(tǒng)中使用不確定推理,規(guī)則A-B由專家指定其可信度(B,A),
若A真支持B真,則指定(B,A)(與零比較)應(yīng)(47);若A
真不支持B真,則指定(B,A)應(yīng)(48)。
23.機(jī)器學(xué)習(xí)的含義是指機(jī)器面對自行為的修正或性能的改善和機(jī)
器對客觀規(guī)律和發(fā)展。
24.自然語言理解不僅包括計算機(jī)能正確理解人們用自然語言輸入的
信息、,能正確回答輸入信息中的有關(guān)問題,而且還包括語法分析、
語用分析、語句分析。
25.設(shè){},{},{},m(A)=0.6,m(U)=0.4,U的其它子集的基本概率
分配函數(shù)m值均為0,則(A):(53),(B)=(54)。
26.證據(jù)理論中集合A的信任區(qū)間為[1,1],則其語意解釋為(55)。
27.人工智能三大學(xué)派是符號主義、聯(lián)結(jié)主義、行為主義
28.(Wx)(Wy)(On(x,y)fAbwe(x,y))化成子句形式為:
On(x,y)vAbove(x,y)o
29.從已知事實出發(fā),通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式
是正向推理____________________
30.的英文縮寫是_________________________
31.在謂詞公式中,緊接于量詞之后被量詞作用的謂詞公式稱為該量
詞的轄域,而在一個量詞的轄域中與該量詞的指導(dǎo)變元相同的變
元稱為約束變元,其他變元稱為自由變元
32.假言推理(AB)AB假言三段論(AB)(BC)
AC
33.幾種常用的歸結(jié)策略:刪除策略、支持集策略、線形歸結(jié)策
略、輸入歸結(jié)策略、單元歸結(jié)策略
34.在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中,常用到的一種人工
智能的核心技術(shù)稱為圖搜索技術(shù),解這類問題時,常把在迷宮的
位置、棋的布局、八數(shù)碼所排成的形勢用圖來表,這種圖稱為狀態(tài)
空間圖(或狀態(tài)圖)
35.在啟發(fā)式搜索當(dāng)中,通常用啟發(fā)函數(shù)來表示啟發(fā)性信息。。
36.在二人博弈問題中,最常用的一種分析技術(shù)是極大極小分析
此,這種方法的思想是先生成一棵博弈樹,然后再計算其倒推值。
但它的效率較低,因此人們在此基礎(chǔ)上,又提出了-剪枝技術(shù)
37.某產(chǎn)生式系統(tǒng)中的一條規(guī)則:A(x)B(x),則前件是A(x),
后件是B(x)________
38.在框架和語義網(wǎng)絡(luò)兩種知識表示方法中,框架適合于表示結(jié)
構(gòu)性強(qiáng)的知識,而語義網(wǎng)絡(luò)則適合表示一些復(fù)雜的關(guān)系和聯(lián)系
的知識。面向?qū)ο蟛粌H僅是一種知識表示方法,也是一種流行的
軟件設(shè)計和開發(fā)技術(shù)。
39.不確定性類型按性質(zhì)分:隨機(jī)性,模糊性,不完全性,不一
致性。
40.在刪除策略歸結(jié)的過程中刪除以下子句:含有純文字的子
句;含有永真式的子句;子句集中被別的子句類含的子句。對證
據(jù)的可信度(A)、(Al)、(A2)之間,規(guī)定如下關(guān)系:()=_(A)_.
(A1AA2):{(A1)(A2)}、(A1VA2)={(Al)(A2)}
41.合一算法:求非空有限具有相同謂詞名的原子公式集的最一般合
42.產(chǎn)生式系統(tǒng)的推理過程中,從可觸發(fā)規(guī)則中選擇一個規(guī)則來執(zhí)行,
被執(zhí)行的規(guī)則稱為被觸發(fā)規(guī)則。
43.P0表示在規(guī)則AfB中,證據(jù)A為真的作用下結(jié)論B為真的概
4。
44.常用的二種盲目搜索方法是隨機(jī)碰撞式搜索和完全式搜索;引入
啟發(fā)式知識來指導(dǎo)表中節(jié)點的排序可劃分為二種方式全局擇優(yōu)搜索
和局部擇優(yōu)搜索。
45.產(chǎn)生式系統(tǒng)的推理可以分為正向推理和反向推理兩種基本方式。
46.知識表示的性能應(yīng)從以下二個方面評價:和;后者又分二個方面
和O
47.人工智能的表現(xiàn)形式至少有智能軟件智能系統(tǒng)智能設(shè)備W
能設(shè)備智能網(wǎng)絡(luò)幾種。
48.目前所用的知識表示形式有框架語義網(wǎng)絡(luò)面向?qū)ο蟮取?/p>
49.框架系統(tǒng)的特性繼承功能可通過組合應(yīng)用槽的三個側(cè)面來靈活實
現(xiàn),它們是、和。
50.產(chǎn)生式系統(tǒng)是由綜合數(shù)據(jù)庫知識庫和推理機(jī)三部分組成的.
51.就是所考察判斷的事物或?qū)ο蟮募希洖?。它的子集?gòu)成。
52.證據(jù)理論是經(jīng)典概率論的一種擴(kuò)充形式,構(gòu)成這一理論的函數(shù)有基本
概念全分函數(shù)_、信任函數(shù)和似真函數(shù)。
53.對于模糊不確定性,一般采用模糊集合或模糊邏輯來刻劃。
54.歸結(jié)法中,可以通過修改證明樹的方法得到問題的解答。
55.從已知事實出發(fā),通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式
是正向推理
56.人工智能的遠(yuǎn)期目標(biāo)是制造智能機(jī)器,近期目標(biāo)是實現(xiàn)機(jī)
器智能
57.利用歸結(jié)原理證明定理時,若得到的歸結(jié)式為空集,則結(jié)論
成立。
58.在啟發(fā)式搜索當(dāng)中,通常用啟發(fā)函數(shù)來表示啟發(fā)性信息。
二、簡答題
1.將下列自然語言轉(zhuǎn)化為謂詞表示形式:
(1)所有的人都是要呼吸的。
(2)每個學(xué)生都要參加考試。
(3)任何整數(shù)或是正的或是負(fù)的。
解:設(shè)M(x):x是人(x):x要呼吸。
P(x):x是學(xué)生,Q(x):x要參加考試。
J(x):x是整數(shù),R(x):x是正數(shù),N(x):x是負(fù)數(shù)。
則上述三題就記為:
(1)(M(x)fH(x))
⑵(P(x)-Q(x))
(3)(J(x)-R(x)VN(x)))
2.何謂“圖靈實驗”?簡單描述之
答:所謂“圖靈實驗”,是為了判斷一臺機(jī)器是否具備智能的實驗。實驗由
三個封閉的房間組成,分別放置主持人、參與人和機(jī)器。主持人向參與人
和機(jī)器提問,通過提問的結(jié)果來判斷誰是人,誰是機(jī)器。如果主持人無法
判斷誰是人,誰是機(jī)器,則這臺機(jī)器具備智能,即所謂的“智能機(jī)器”。
3.寫出圖中樹的結(jié)點兩個訪問序列,要求分別滿足以下兩個搜索策略:
(1)
⑵
解:(1)深度優(yōu)先搜索:
1一2一5一6一10-11—3一7-12-13一4一8一9
(2)廣度優(yōu)先搜索:
1一2一3一4一5一6一7一8一9一10-11—12-13-14
4.試實現(xiàn)一個“大學(xué)教師”的框架,大學(xué)教師類屬于教師,包括以下屬性:
學(xué)歷(學(xué)士、碩士、博士)、專業(yè)(計算機(jī)、電子、自動化、……)、職稱
(助教、講師、副教授、教授)
解:框架名:〈大學(xué)教師》
類屬:(教師》
學(xué)歷:(學(xué)士、碩士、博士)
專業(yè):(計算機(jī)、電子、自動化
職稱:(助教、講師、副教授、教授)
5.用謂詞邏輯形式化下列描述
“不存在最大的整數(shù)”
解:定義謂詞G(x):x為整數(shù)
D():x大于y
形式化為:
~/Bx(G(x)AVy(G(y)fD(x,y)))
或者X/x(G(x)T為(G(y)AD(y,尤)))
6.用語義網(wǎng)絡(luò)表示“蘋果”知識。
辛一口
7.什么是產(chǎn)生式?產(chǎn)生式規(guī)則的語義是什么?
答:產(chǎn)生式規(guī)則基本形式:P-Q或者PQ
P是產(chǎn)生式的前提(前件),用于指出該產(chǎn)生式是否可用的條件
Q是一組結(jié)論或操作(后件),用于指出當(dāng)前提P所指示的條件滿足時,
應(yīng)該得出的結(jié)論或應(yīng)該執(zhí)行的操作
產(chǎn)生式規(guī)則的語義:如果前提P被滿足,則可推出結(jié)論Q或執(zhí)行Q所規(guī)
定的操作
8.謂詞公式G通過8個步驟所得的子句集合S,稱為G的子句集。請寫出
這些步驟。
答:(1)消去蘊(yùn)含式和等價式一,(2)縮小否定詞的作用范圍,直到
其作用于原子公式:(3)適當(dāng)改名,使量詞間不含同名指導(dǎo)變元和約束變
元。(4.)消去存在量詞(形成標(biāo)準(zhǔn)型)(5)消去所有全稱量詞(6)化成
合取范式(7).適當(dāng)改名,使子句間無同名變元(8).消去合取詞八,用逗
號代替,以子句為元素組成一個集合S
9.(1)已知{P(f(x)(y))(f(x)(x))},求
(2)已知{P(f(()))(f())},求
解:(1)00;60二£0不是單元素集,求得差異集D0={},其中y是變元,z
是項,且y不在z中出現(xiàn)。1=1
有6{}=£?{}={},
S10-{)={P(f(x)(z))(f(x)(x))}1不是單元素集,
求得差異集Dl={}1=2;52=51-{}={},
S21?{}={P(f(z)(z)))是單元素集。
根據(jù)求算法,52=(}
(2)00;50=£0不是單元素集,求得差異集D0二{g()}},其中z是變元,
g()是項,且z不在g()中出現(xiàn)。1=1
有61=60?(g())=E?(g())={g()},
S10-{g()}={P(f(())())}l是單元素集。
根據(jù)求算法,51=(g()}
10.(1)證明G是否是F的邏輯結(jié)論;
八Vx(尸⑺AQ3)VQ(%))
G:Bx(P(x)^Q(x))
證:①P(X)...從F變換
②Q(②VQ(x)...從F變換
③1P(y)V-iQ(y).?.結(jié)論的否定
④1Q(x)...①③歸結(jié),{}
⑤口...②④歸結(jié),置換{}
得證。
(2)證明G是否是Fl、F2的邏輯結(jié)論;
Fl:Vx(P(x)T(Q(x)AR(x))
F2:玉(P(x)人S(x))
G:3x(S(x)Al?(x))
證:①1P(x)VQ(x)...從Fl變換
②lP(y)VR(y)'.?.從Fl變換
③P(a)...從F2變換
?S(a)...從F2變換
⑤1S(z)R(z)...結(jié)論的否定
結(jié)
?R歸
{}
結(jié)
歸
()
結(jié)
□歸
得證.
11.1、用語義網(wǎng)絡(luò)表示下列信息:
⑴胡途是思源公司的經(jīng)理,他35歲,住在飛天胡同68號
飛天胡同68
■'居住千
(3)清華大學(xué)與北京大學(xué)進(jìn)行藍(lán)球比賽,最后以89:102的比分結(jié)束。
比賽
清華大學(xué)
林大學(xué)
(3)將命題:“某個學(xué)生讀過三國演義”分別用謂詞公式和語義網(wǎng)絡(luò)表示
答:謂詞公式表示:
一((x)A(x,三國演義))
語義網(wǎng)絡(luò)表示如圖:
⑷把語句“每個學(xué)生都喜歡老師上的一門課。”表示為語義網(wǎng)絡(luò)。
x((x)
(5)請把下列命題表示的事實用一個語義網(wǎng)絡(luò)表示出來。
1)樹和草都是植物;
2)樹和草都是有根有葉的;
3)水草是草,且長在水中;
4)果樹是樹,且會結(jié)果;
5)櫻桃樹是一種果樹,它結(jié)櫻桃。
ISA----------樹<-AKO—果樹<-Ako—櫻桃樹
植物
(6)用語義網(wǎng)絡(luò)表示下列事實
姚明是一位年近半百的男教師,中等身材,他在本學(xué)年第二學(xué)期給計算機(jī)
專業(yè)學(xué)生講授“人工智能”課程。該課程是一門選修課,比較難。
13.圖示博弈樹,其中末一行的數(shù)字為假設(shè)的估值,請利用aB剪枝技術(shù)
剪去不必要的分枝。(在節(jié)點及邊上直接加注釋)
14.設(shè)有如下關(guān)系:(1)如果x是y的父親,y又是z的父親,貝I)x是z的
祖父;
(2)老李是大李的父親;(3)大李是小李的父親;問上述人員中誰和誰是
祖孫關(guān)系?
解:現(xiàn)定義如下謂詞
F()x是y的父親;
G()x是y的祖父;
用謂詞邏輯表示已知與求解:
(1)F()AFO-GO
(2)F()
(3)F()
(4)GO?
其中表示老李表示大李表示小李。
先證存在祖孫關(guān)系
①?F()V?F()VG()...從(1)變換
②F().?.從(2)變換
③F()從(3)變換
④?G()結(jié)論的否定
⑤?F()VG()...①②歸結(jié),置換{}
@GO...③⑤歸結(jié),置換{)
⑦口.??④⑥歸結(jié),置換{}
得證,說明存在祖孫關(guān)系。
為了求解用一個重言式④
④?G()VG()...用重言式代替結(jié)論的否定,重言式恒為真
⑤?F()VG()...①②歸結(jié),置換{}
@GO...③⑤歸結(jié),置換{)
⑦G()...④⑥歸結(jié),置換{}
得結(jié)果是X的祖父,即老李是小李的祖父。
15解釋下列模糊性知識:
1)張三,體型,(胖,0.9))。
2)(患者,癥狀,(頭疼,0.95))A(患者,癥狀,(發(fā)燒,1.1))一(患
者,疾病,(感冒,1.2))
答:(1)表示:命題”張三比較胖"(2)解釋為:如果患者有些頭疼并
且發(fā)高燒,則他患了重感冒。
16.簡單闡述產(chǎn)生式系統(tǒng)的組成。
答:(1)產(chǎn)生式規(guī)則庫:描述相應(yīng)領(lǐng)域知識的產(chǎn)生式規(guī)則集
(2)數(shù)據(jù)庫:(事實的集合)存放問題求解過程中當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu)(初
始事實、外部數(shù)據(jù)庫輸入的事實、中間結(jié)果事實和最后結(jié)果事實)
(3)推理機(jī):(控制系統(tǒng))是一個程序,控制協(xié)調(diào)規(guī)則庫與數(shù)據(jù)庫的運(yùn)行,
包含推理方式和控制策略。
17.試用線性消解策略證明:子句集{PVQ,-PVR,-QVR,}是可
消解的。
18、廣度優(yōu)先搜索與深度優(yōu)先搜索各有什么特點?
、深度優(yōu)先搜索所遵循的搜索策略是盡可能“深”地搜索圖。在深度優(yōu)
先搜索中,對于最新發(fā)現(xiàn)的結(jié)點,如果它還有以此為起點而未搜過的邊,
就沿著邊繼續(xù)搜索下去。當(dāng)結(jié)點V的所有邊都已被探尋過,搜索將回溯到發(fā)
現(xiàn)結(jié)點V有那條邊的始結(jié)點。這一過程一直進(jìn)行到已發(fā)現(xiàn)從源結(jié)點可達(dá)的所
有結(jié)點為止。如果還存在未被發(fā)現(xiàn)的結(jié)點,則選擇其中一個作為源結(jié)點并
重復(fù)以上過程,整個過程反復(fù)進(jìn)行直到所有結(jié)點都被發(fā)現(xiàn)為止。
二、寬度優(yōu)先搜索算法(又稱廣度優(yōu)先搜索算法)是最簡單的圖的搜索算
法之一,這一算法也是很多重要的圖的算法的原型。單源最短路徑算法和
最小生成樹算法都采用了與寬度優(yōu)先搜索類似的思想。
寬度優(yōu)先搜索的核心思想是:從初始結(jié)點開始,應(yīng)用算符生成第一層
結(jié)點,檢查目標(biāo)結(jié)點是否在這些后繼結(jié)點中,若沒有,再用產(chǎn)生式規(guī)則將
所有第一層的結(jié)點逐一擴(kuò)展,得到第二層結(jié)點,并逐一檢查第二層結(jié)點中
是否包含目標(biāo)結(jié)點。若沒有,再用算符逐一擴(kuò)展第二層所有結(jié)點……,如
此依次擴(kuò)展,直到發(fā)現(xiàn)目標(biāo)結(jié)點為止。
19.語義網(wǎng)絡(luò)可以表達(dá)事物之間的哪些關(guān)系?
類屬關(guān)系、包含關(guān)系、屬性關(guān)系、時間關(guān)系、位置關(guān)系、相近關(guān)系、推論
關(guān)系等。
20.假設(shè)已知下列事實:
(1)超市()賣()的商品()便宜()。
(2)王O買()需要的O便宜商品。
(3)自行車()是商品且超市賣自行車。
(4)王需要自行車。
(5)趙()跟隨王買同樣的商品。
請應(yīng)用歸結(jié)反演證明方法回答以下問題:
(1)王買自行車嗎?
(2)趙買什么商品?
21.已知一個使用可信度方法的推理網(wǎng)絡(luò)如圖所示,其證據(jù)的可信度均標(biāo)示
在圖中。推理規(guī)則的可信度分別為:AAB-H,0.7CVD-H,0.9
E-H,0.3
試按照可信度方法的求解步驟計算每個證據(jù)節(jié)點對假設(shè)H推理的可信度,并
據(jù)此推算全部證據(jù)(復(fù)合證據(jù))對于H推理的可信度。
22.求子句R(x,y)V-Q(B,y)VW(x,f(y))和R(x,C)VQ(y,0的歸
結(jié)式。
23.何謂估價函數(shù)?啟發(fā)式圖搜索的A算法和A*算法最顯著的區(qū)別是什
么?
24.什么是置換?置換是可交換的嗎?
答:通常用有序?qū)Φ募蟬={til,t22,…,}來表示任一置換,置換集的
元素的含義是表達(dá)式中的變量處處以項來替換,用s對表達(dá)式E作置換后
的例簡記為。
一般來說,置換是不可交換的,即兩個置換合成的結(jié)果與置換使用的次序
有關(guān)。
25.給1?9九個數(shù)字排一個序列,使得該序列的前9)個數(shù)字組
成的整數(shù)能被n整除。
(1)、討論哪些知識可以幫助該問題的求解。
(2)、用產(chǎn)生式系統(tǒng)描述該問題.
答;如下的知識可以幫助求解該問題:
(1)序列中,偶數(shù)在偶數(shù)位置,奇數(shù)在奇數(shù)位置;
(2)第五個數(shù)為5。
綜合數(shù)據(jù)庫:
用一個1到9的序列表示:N={x},其中x為1到9的數(shù)字之一。
規(guī)則集:
rl:(N)=4{x}U{5}
r2:(N)為偶數(shù)(1,3,7,9){x}U{n}
r3:(N)為奇數(shù)(2,4,6,8){x}U{n}
其中(N)為求序列的長度,(a,b,c,d)為取a、b、c、d之一。
初始狀態(tài):{}
結(jié)束條件:得到的序列N前i個數(shù)組成的整數(shù)能被i整除
26..a—B剪枝的條件是什么?
答:a剪枝:若任一極小值層節(jié)點的B值小于或等于它任一先輩極大值節(jié)
點的a值,即a(先輩層)(后繼層),則可中止該極小值層中這個
節(jié)點以下的搜索過程。這個節(jié)點最終的倒推值就確定為這個B值。
B剪枝:若任一極大值層節(jié)點的a值大于或等于它任一先輩極小值層節(jié)點
的8值,即a(后繼層)(先輩層),則可以中止該極大值層中這個
節(jié)點以下的搜索過程。這個節(jié)點的最終倒推值就確定為這個a值。
28、人工智能主要有哪幾種研究途徑和技術(shù)方法,簡單說明之。
答:(1)符號智能:主要以符號知識為基礎(chǔ),通過符號推理進(jìn)行問題求解
而實現(xiàn)的智能,主要包括知識工程和符號處理技術(shù);
(2)計算智能:是以數(shù)據(jù)計算為基礎(chǔ),通過數(shù)值計算進(jìn)行問題求解而實
現(xiàn)的智能,包括人工神經(jīng)網(wǎng)絡(luò),進(jìn)化計算,模糊技術(shù)等。
三、1、(1)將下列謂詞公式化成子句集
BxVy(Vz(F(z)A~Q(x,z))fR(x,y,/(?)))
答:3%Vy(Vz(P(z)A~Q(x,z))TR(x,y,/(a)))
3xVy(-|Vz(P(z)A-IQx,z))vR(x,y,f(a)))
3xVy(Bz(~P(z)vQ(x,z))vR(x,y,f(a)))
Vy(Bz(~P(z)vQ(b,z))vR(b,y,f(a)))
Vy((~P(g(y))vQ(b,g(y)))vR(b,y,f(a)))
{~P(g(y))vQ(b,g(y))vR(b,y,f(a))}
(2)把下列謂詞公式分別化成相應(yīng)的子句集:x(()一?
y(Q()-R()))
解:Vx(V()-?Vy(Q()-R()))〉VxC()-my-(~Q()VR()))
>Vx(V(Ty(Q()八?R()))
Wx(?V(My(Q()八?R()))
>Vx(3y_p()V3y(Q()A-R()))........改名)
>Vx0y?P(Mz(Q()八?R()))
>Vx0y?p()Vmz(Q()八?R()))(x)(x)消去存在量詞
Nx(?P((x))V(Q((x))A?R((x))))
Wx(?八(?P((x))▽?R((x))))
從而謂詞公式的子句集是
{-P((x))V(Q((x),?P((x))V?R((x)))
2.若謂詞公式式y(tǒng))),置換si-(f()},s2={},求E(si?s2),E(s2,sl)0
3.用加權(quán)圖的啟發(fā)式搜索算法(不能用算法)求解下列問題:下圖是一個
交通圖,設(shè)A是出發(fā)地,E是目的地,邊上的數(shù)字表示兩城市之間的交通費(fèi)。
求從A到E最小費(fèi)用的旅行路線,畫出搜索樹,畫出表和表的變化過程。
4.用標(biāo)準(zhǔn)邏輯(經(jīng)典邏輯,謂詞邏輯)的子句集表示下述刑偵知識,并用
反演歸解的線性策略證明結(jié)論
現(xiàn)定義如下謂詞(其項變量X,Y,Z,皆為全稱量詞)。
(X)某人X是賊;
()某人X喜歡某物Y;
()某人X可能會偷竊某物Y。
5.用子句集表達(dá)下述刑偵知識:
I.是賊。
.喜歡酒O
.(也)喜歡奶酪()
.如果喜歡某物則也喜歡某物。
V.如果某人是賊,而且他喜歡某物,則他就可能會偷竊該物。
6.求證結(jié)論可能會偷竊了什么?即求證目標(biāo):(),?(要求將求證目標(biāo)作為
頂子句,按線性策略進(jìn)行歸結(jié)推理,注明每次求歸結(jié)式所進(jìn)行的置換及其
父子句的編號)
7.(1)已知一組規(guī)則和證據(jù)(事實):
RI:Al—Bl(Bl,A1)=0.8
R2:A2fBi(Bl,A2)=0.5
R3:B1AA3->B2,(B2,B1AA3)=0.8
初始證據(jù)Al,A2,A3,并且(Al)(A2)(A3)=l,并且初始時對Bl,B2一
無所知。根據(jù)的確定性理論(可信度方法),求證據(jù)Bl,B2的可信度在執(zhí)
行規(guī)則RI,R2,R3后的更新值(Bl)(B2)。
(2)已知有如下不確定推理規(guī)則:
rl:C11VC12DHl0.7;
r2:HlH0.5;
r3:C21AC22DH-0.6;
r4:(C31AC32)VC33H0.8;
(Cll):0.8,(C12)=0.9,(C21)=0.3,(C22)=0.6,
(C31)=0.9,(C32)=0.5,(C33)=0.7;
請應(yīng)用的確定性方法求出(H)。
8.設(shè)有A,B,C三人中有人從不說真話,也有人從不說假話,某人向這三
人分別提出同一個問題:誰是說謊者?A答:“B和C都是說謊者";B答:
“A和C都是說謊者”;C答:“A和B中至少有一個是說謊者"。求誰是
老實人,誰是說謊者?(15分)
解:設(shè)用T(x)表示x說真話。
如果A說的是真話,則有
T(A)TT(B)ArT(C)
如果A說的是假話,則有:
rT(A)TT(B)vT(C)
對B和C說的話作相同的處理,可得:
T(B)-rT(A)八rT(C)
rT(B)fT(A)VT(C)
T(C)TrT(A)VrT(B)
rT(C)7T(A)vT(B)
把上面這些公式化成子句集,得到S:
(1)rT(A)VrT(B)
(2)-,T(A)V-,T(B)
(3)T(A)vT(B)vT(C)
(4)rT(B)VrT(C)
(5)->T(A)VrT(B)vrT(C)
(6)T(A)vT(C)
(7)T(B)vT(C)
下面首先求誰是老實人。把JRx)vANSWER^)并入S得到&。即1比S
多如下一個子句:
(8)-nT(x)vANSWER(x)
應(yīng)用消解原理對s1進(jìn)行消解:
(9)rT(A)vT(C)⑴與⑺消解
(10)T(C)⑹與(9)消解
(11)ANSWERC)(8)與(10)消解
所以,C是老實人,即C從不說假話
除此之外,無論如何對0進(jìn)行消解,都推不出(B)和(A)。
下面來證明A和B不是老實人。
設(shè)A不是老實人,則有力⑹把它否定并入S中,得到子句集$2,即之比
S多如下一個子句:
(8)r(rT(A))即T(A)
應(yīng)用消解原理對s2進(jìn)行消解:
(9)rT(A)vT(C)⑴與⑺消解
(10)-nT(A)(2)與⑼消解
(11)NIL(8)與(10)消解
所以,A不是老實人。
同理,可以證明B也不是老實人。
9.1)設(shè)已知:
(1)能閱讀者是識字的;
(2)海豚不識字;
(3)有些海豚是聰明的;
求證:有些聰明者并不能閱讀.
證:定義如下命題:
R(x)能閱讀;
L(x)識字;
I(x)是聰明的;
D(x)是海豚;
把已知條件及求證結(jié)論翻譯成謂詞公式為
Xx(R(x)fL(x)).已州
?/L點)).一4知
3x(I(x)八?R(x))...條證結(jié)論
將已知條件,求證結(jié)論的反化成子句集
①?R(x)VL(x)
②?D(y)V?L(y)
③D(a)
④I(a)
⑤?I(z)VR(z)
⑥?L(a)..........2,3歸結(jié){}
⑦?R(a)..........1,6歸結(jié){}
⑧R(a).....4,5歸結(jié){}
⑨口.....7,8歸結(jié)
得證.
2)利用謂詞邏輯表示下列知識(包括已知和結(jié)論),然后化成子句集:
(1)凡是清潔的東西就有人喜歡;
(2)人們都不喜歡蒼蠅
求證:蒼蠅是不清潔的。
證:現(xiàn)定義如下謂詞
L()某人x喜歡某物y;
P(y)某物y是清潔的東西
(1)V3(P(y)-L0)>-IP(y)VL(f(y))
(2)vx(nL())>-|L()
(3)P()...結(jié)論的反
(4)L(f(),)...(1)(3)歸結(jié),置換。
⑸口...(2)(4)歸結(jié),任()}
得證。
10.八數(shù)碼游戲,初始棋局和目標(biāo)棋局如圖,定義啟發(fā)函數(shù)h(x)表示某
狀態(tài)下與目標(biāo)數(shù)碼不同的位置個數(shù),用全局擇優(yōu)法畫出搜索的過程。
初出國…B
解:
8
765
11.張某被盜,公安局派了五個偵察員去調(diào)查。研究案情時,偵察員A說:
“趙與錢中至少有一人作案”;偵察員D說:“錢與孫至少有一人作案”;
偵察員C說:“孫與李中至少有一個作案”;偵察員D說“趙與孫至少一
個與案無關(guān)”;偵察員E說“錢與李中至少有一人與此案無關(guān)”。如果這
五個偵察員的話都是可信的,試用消解原理推理求出誰是盜竊犯。
解:設(shè)用T(x)表示x是作案者,則
偵察員A的話可表示:T(趙)/(錢)
偵察員B的話可表示:T(錢)/(孫)
偵察員C的話可表示:T(孫)/(李)
偵察員D的話可表示:「T(趙)v]T(孫)
偵察員E的話可表示:「T(錢)v]T(李)
上面五個組成子句集S,求誰是作案者,把」(x)v(x)并入,得到。即
比Si多出如下一個子句:-T(x)v(x)
然后利用消解原理對Si進(jìn)行消解可得答案:錢和孫是作案者。
12.某企業(yè)欲招聘一個程序員,定義如下產(chǎn)生式規(guī)則(要求):
rl:有工作經(jīng)驗(本科以上學(xué)歷有相關(guān)知識背景錄用(0.9)
r2工作兩年以上作過相關(guān)工作有工作經(jīng)驗(0.8)
r3學(xué)過數(shù)據(jù)結(jié)構(gòu)學(xué)過學(xué)過數(shù)據(jù)庫學(xué)過軟件工程有相關(guān)知識背景
(0.9)
r4:學(xué)過數(shù)據(jù)結(jié)構(gòu)(相關(guān)課程的成績/100)
r5:學(xué)過(相關(guān)課程的成績/100)
r6:學(xué)過數(shù)據(jù)庫(相關(guān)課程的成績/100)
r7:學(xué)過軟件工程(相關(guān)課程的成績/100)
r8:做過相關(guān)工作:
程序員:1,項目經(jīng)理:1,數(shù)據(jù)庫開發(fā)工程師:0.9,數(shù)據(jù)庫管理員:
0.7,網(wǎng)絡(luò)管理員:0.6,客服人員:0.4
設(shè)有一本科畢業(yè)生甲,其相關(guān)課程的成績?yōu)閿?shù)據(jù)結(jié)構(gòu)=8580,數(shù)據(jù)庫=40,軟
件工程;90
另有一社會招聘人員乙,參加工作三年,曾做過數(shù)據(jù)庫管理員和數(shù)據(jù)庫開
發(fā)人員
根據(jù)確定性理論,問該公司應(yīng)該招聘誰?如果你是該本科生,為了能在招
聘中勝出,你應(yīng)該加強(qiáng)哪門課程,并使該門課程的成績至少達(dá)到多少?
解:(1)對于本科畢業(yè)生,由r4,r5,r6,r7:
(學(xué)過數(shù)據(jù)結(jié)構(gòu))=0.6
(學(xué)過)=0.8
(學(xué)過數(shù)據(jù)庫)=0.4
(學(xué)過軟件工程)=0.9
由r3,
(有相關(guān)知識背景)=0.9*{0.85,0.8,0,4,0.9)=0.36
(本科學(xué)歷)=1
由rl,
(錄用)=0.9*{0.36,1}=0.324
(2)對于社會招聘人員,由r8,
(相關(guān)工作)=0.9
(工作兩年以上)=1
由r2,
(有工作經(jīng)驗)=0.8*{1,0.9}=0.72
由rl,
(錄用)=0.9*0.72=0.648
所以,該公司應(yīng)錄用社會招聘人員乙。
(3)可以看出,應(yīng)該加強(qiáng)數(shù)據(jù)庫的學(xué)習(xí),并使該門課程達(dá)到80分以上。
13.某問題由下列公式描述:
(D~P(a)
⑵(Wx)(Yy)[~P(y)f氯比齊雙y))]
(3)(Vx)[P(f(x))]
(4)(Vx)[P(x)AQ(b,c,X)TRXX))]
(5)(Vx)(Vy)[Q(b,區(qū)y)TQ(b,x.fty))]
試用歸結(jié)法證明(3X)R(x);
⑴?Ra)
(2"Wx)(Wy)[?Ry)一氯b,&x,y))]
=>(Vx)(Vy)[P(y)VQ(b,x,g(x,y))]
=>P(y)VQ(b,x,g(x,y))
(3)(Vx)[P(f(x))]
=>P8x》
(4)(Vx)[P(x)AQ(b,c,(TRXX))]
=>(Vx)HP(x)AQ(b,c,x))VR(h(x))]
=>(Vx)[-P(x)V-Q(b,c,x)VR(h(x))]
=>~Rx)V~Q(b,c,x)VR(h(匈)
(5)(Vx)(Vy)[Q(b,《y)^Q(b,x,())]
=>“雙Wy)[~Q(b,x,y)VQ(b,x,f(y))]
=>~QQ,x,y)VQ(b,x,f(y))
目標(biāo)求反:
Y&)Wx)
=>(Vx)-R(x)
=>~R(x)
變量換名后,得子句集:
(-P(a),P(yl)VQ(b,xl,g(xl,yl)),
P(f(x2)),-P(x3)V-Q(b,c,x3)VR(h(x3)),
~Q(b,x4,y4)VQ(b,x4,電4)),~R(x))
14.下圖所示博弈樹,按從左到右的順序進(jìn)行a-B剪枝搜索,試標(biāo)明各
生成節(jié)點的到推值,何處發(fā)生剪枝,及應(yīng)選擇的走步。10分
23-4102578-5105-6T-21-25636-44-34
15.剪枝方法只是極小極大方法的一種近似,剪枝可能會遺漏掉最佳走步。
這種說法是否正確?
不正確。一剪枝方法利用已經(jīng)搜索的信息,剪掉哪些對于搜索最佳走步
沒有意義的分枝,其找到的最佳走步與極小極大方法找到的結(jié)果是一樣的。
而且搜索效率有很大提高。
1.什么是人工智能?人工智能與計算機(jī)程序的區(qū)別?
答:是研究如何制造人造的智能機(jī)器或智能系統(tǒng)來模擬人類智能活動的
能力以延伸人類智能的科學(xué),它與計算機(jī)程序的區(qū)別是:
令研究的是符號表示的知識而不是數(shù)值數(shù)據(jù)為研究對象
令采用啟發(fā)式搜索方法而不是普通的算法
令控制結(jié)構(gòu)與知識是分離的
令允許出現(xiàn)不正確的答案
2.化下列邏輯表達(dá)式為不含存在量詞的前束范式
(axXvr)[(vz)p(x,z)-R(X,y,/(?))]
答:(axXvy)[az(p(x,z)R(X,Y,/(?)))]
Gx)(vy)日z(?p(x,z)vR(X,y,/(a)))]
axvraz[~P(X,z)vR(X,y,/(?))]
VY3Z[~p(b,z)^K(b,Y,f(a))]
VY[~P(b,f(Y))vR(b,Y,f(a)J]
3.求下列謂詞公式的子句集
VxVy((尸(x,y)v(Q(x,y)fR(x,y)))
答.VxVy(?(P(x,y)v(Q(x,y)vR(x,y)))
VxVj((~P(x,J)A?(Q(x,y))vR(x,y)))
VxVy((~P(尤,y)vR(尤,y))A(~Q(X,y)vR(x,y)))
所以子句集為:
{~P(x,y)vR(x,y),~Q(x,y)vR(x,y)}
4.若有梯形,將其中的若干定理形式化即定義一些謂詞公式,然后利用歸
結(jié)原理證明內(nèi)錯角NABD=/CDB
證明:設(shè)梯形頂點依次為,定義謂詞:
T():表示為上底為下底的梯形.
P():表示
£()表示//,問題的描述和相應(yīng)的子句集為
[T()-P()]...梯形上下底平行
子句:?T()VP()
[P()fE()]...平行則內(nèi)錯交相等
子句:
T()...已知
子句:T()
E()...要證明的結(jié)論
子句:?E()
子句集S為
?T()VP()
?P()VE()
TO
?E()
下面利用歸結(jié)原理證明
P()(1)和(3)歸結(jié),置換{}
E0(2)和(5)歸結(jié),置換{}
(4)和(6)歸結(jié)
根據(jù)歸結(jié)原理得證。
5.求子句集5={p(xaf(g(y))P(zh(z,u),f(u))}的
解:00;60=e0不是單元素集,求得差異集D0={},其中z是變元,
是項,且z不在a中出現(xiàn)。1=1
有61=50?{}=£?{}={},
S10-O={P((g(y))(()(u)))l不是單元素集,
求得差異集Dl={()}1=2;32=31?{h()}={()},
S21?{h()}={P(0(g(y))(()(u))),
S2不是單元素集,求得差異集D2={g(y)}1=3
63=62?{g(y)}={()}?{g(y))={((y))(y)}
S32?{g(y)}={P(((y))(g(y)))}是單元素集。
根據(jù)求算法,63={((y))(y)}
6.用代價優(yōu)先算法求解下圖的旅行推銷員問題,請找一條從北京出發(fā)能遍
歷各城市的最佳路徑(旅行費(fèi)最少),每條弧上的數(shù)字表示城市間的旅行
費(fèi)用。并用表記錄遍歷過的結(jié)點,表記錄待遍歷的結(jié)點。畫出和表的變
化過程,然后根據(jù)表找出最佳路徑。
上海
解:A(0)
表
B(31)A
擴(kuò)展節(jié)父節(jié)點
C(28)A
點
D(43)B
A(0)
C(54)B
C(28)A
E(38)D
E(29)C
C(59)D
D(38)E
C(27)E
B(43)D
A(51)E
A(31)B
7.用框架表示下述報導(dǎo)的沙塵暴災(zāi)害事件
[虛擬新華社3月16日電]連旦,沙塵暴襲擊韓國漢
城,機(jī)場與高速公路被迫關(guān)閉,造成的損失不詳。
韓國官方示,如果需要直接損失情況,可待一周后
的官方公布的字。此次沙塵暴起因中日韓專家認(rèn)為
是由于中國內(nèi)蒙古區(qū)過分墾牧破壞植被所致。
提示:分析概括用下劃線標(biāo)出的要點,經(jīng)過概念化形成槽O并擬出槽
的名稱,選填側(cè)面O值。側(cè)面包含“值O”,“默認(rèn)值O”,“如果需
要值O”,“如果附加值()”幾個方面,用不到的側(cè)面值可刪除。
:
1:2:3:
解:
:沙塵暴
1:時間2:地點3:損失4:起因
:3月15:韓國漢城:不詳:中國內(nèi)蒙
日古區(qū)
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025年度美容院客戶服務(wù)與投訴處理合同4篇
- 二零二五版水利工程招標(biāo)代理合同書3篇
- 2025版二零二五年度小青瓦屋頂維修與屋頂光伏發(fā)電合同2篇
- 2024版外墻真石漆承包合同范本
- 二零二五年度新能源汽車充電站承包合同范本4篇
- 二零二五年度大閘蟹產(chǎn)業(yè)大數(shù)據(jù)分析與應(yīng)用合同3篇
- 2025年度三人合伙知識產(chǎn)權(quán)共同開發(fā)協(xié)議3篇
- 二零二五年度大米加工廠節(jié)能減排改造合同4篇
- 2025年度智慧交通系統(tǒng)承包協(xié)議建議書3篇
- 二零二五年度航空航天電纜系統(tǒng)升級改造合同范本4篇
- 《色彩基礎(chǔ)》課程標(biāo)準(zhǔn)
- 人力資源 -人效評估指導(dǎo)手冊
- 大疆80分鐘在線測評題
- 2023年成都市青白江區(qū)村(社區(qū))“兩委”后備人才考試真題
- 2024中考復(fù)習(xí)必背初中英語單詞詞匯表(蘇教譯林版)
- 《現(xiàn)代根管治療術(shù)》課件
- 肩袖損傷的護(hù)理查房課件
- 2023屆北京市順義區(qū)高三二模數(shù)學(xué)試卷
- 公司差旅費(fèi)報銷單
- 2021年上海市楊浦區(qū)初三一模語文試卷及參考答案(精校word打印版)
- 八年級上冊英語完形填空、閱讀理解100題含參考答案
評論
0/150
提交評論