人工智能習(xí)題和答案

第第頁人工智能習(xí)題和答案人工智能的習(xí)題和答案

AI習(xí)題及思索題

福州高校數(shù)學(xué)與計(jì)算機(jī)學(xué)院陳昭炯2022/12/27

人工智能的習(xí)題和答案

3.6(1)有的人喜愛梅花，有的人喜愛菊花，有的人既喜愛梅有的人喜愛梅花，有的人喜愛菊花，有的人喜愛梅花花又喜愛菊花典型錯(cuò)誤：典型錯(cuò)誤：*(Man(*)→Like(*,梅花))

*(Like(Man(*),梅花))

答案：答案：*(Person(*)∧Like(*,梅花))y(Person(y)∧Like(y,菊花))z(Person(z)∧Like(z,梅花)∧Like(z,菊花))

人工智能的習(xí)題和答案

3.6(2)他每天下午都去打籃球他每天下午都去打籃球典型錯(cuò)誤：典型錯(cuò)誤：

*Afternoon(*)→yPlay(He(y),basketball)

答案：答案：Plays(*,y,z):*在z時(shí)段playsyPlays(他，籃球，每天下午)Plays(*,y,z):*在z時(shí)段playsy;s(*):*的下午Plays(他，籃球，s(每天))

人工智能的習(xí)題和答案

3.6(3)西安市的夏天既酷熱又干燥西安市的夏天既酷熱又干燥錯(cuò)誤：錯(cuò)誤：

**iansummer(*)→Hot(*)∧Dry(*)Summer(*):*的夏天；City(*):*是城市；Dry(*):*天氣干燥；Hot(*):*天氣酷熱*Summer(西安)∧City(西安)→Dry(西安)∧Hot(西安)Summer(y):y是夏天；City(*):*是城市；Dry(*):*天氣干燥；Hot(*):*天氣酷熱ySummer(y)∧City(西安)→Dry(y)∧Hot(y)Time(*):*是夏天；Dry(*):*天氣干燥；Hot(*):*天氣酷熱**ian(Time(*))→Dry(*)∧Hot(*)

人工智能的習(xí)題和答案

答案：答案：Summer(*):*地的夏天；Dry(*):*干燥；Hot(*):*酷熱Dry(Summer(西安))∧Hot(Summer(西安))Have(*,y):*具有氣候特征y;Summer(*):*地的夏天；Have(Summer(西安),dry)∧Have(Summer(西安),hot)

人工智能的習(xí)題和答案

3.6(4)并不是人人都喜愛吃臭豆腐并不是人人都喜愛吃臭豆腐錯(cuò)誤：錯(cuò)誤：

*(Man(*)∧Like(*))

(*)Like(人，臭豆腐)(*)(Man(*)→Like(*,臭豆腐))答案：答案：Person(*):*是人；Like(*,y):*喜愛吃y*(Person(*)→Like(*,臭豆腐))

人工智能的習(xí)題和答案

3.6(5)喜愛讀《三國(guó)演義》的人必讀《水滸》喜愛讀《三國(guó)演義》的人必讀《水滸》喜愛讀錯(cuò)誤：錯(cuò)誤：

*(Man(*)∧Sanguo(*)→Shuihu(*))R(*):*讀《水滸》;Like(*,P(*)):*喜愛P(*);P(*):*讀《三國(guó)演義》*(Man(*)→Like(*,P(*))∧R(*)

*(Man(*)→L(*,三國(guó)演義))→L(*,水滸)Re答案：答案：Person(*):*是人；ad(*,y):*讀y;*(Person(*)∧Read(*,三國(guó)演義)→Read(*,水滸))

Person(*):*是人；Enjoyread(*,y):*喜愛讀y;ad(*,y):*讀y;Re*(Person(*)∧Enjoyread(*,三國(guó)演義)→Read(*,水滸))*y(Enjoyread(*,y)→Read(*,y))

人工智能的習(xí)題和答案

3.6(6)欲窮千里目，更上一層樓欲窮千里目，欲窮千里目錯(cuò)誤：錯(cuò)誤：Climb(*,y):*爬上了y;N(*):*是人；More(*,y):y比*多；See(*,y):*看

到y(tǒng)*(N(*)∧Climb(*,hill)→See(*,thing)∧More(unclimb,climbed))

Look(*):*欲窮千里目；Step(*):*更上一層樓；Man(*):*是人；*Man(*)(Look(*)→Step(*))*Step(*)→Look(*)答案：答案：Look(*,y):*窮盡y;Go-upon(*,y):*更上y;Person(*):*是人；*(Person(*)∧Go-upon(*,一層樓)→Look(*,千里目))

人工智能的習(xí)題和答案

關(guān)于一階謂詞規(guī)律的假設(shè)干問題：關(guān)于一階謂詞規(guī)律的假設(shè)干問題：的區(qū)分：分清蘊(yùn)涵→與合取∧的區(qū)分：1)蘊(yùn)涵的前提可以不發(fā)生，且前提不為真時(shí)蘊(yùn)涵式仍能成立)蘊(yùn)涵的前提可以不發(fā)生，2)合取表示的是已經(jīng)發(fā)生或存在的事實(shí))3)蘊(yùn)含通常與全稱量詞相關(guān)聯(lián)，是它的自然聯(lián)接符；蘊(yùn)涵符)蘊(yùn)含通常與全稱量詞相關(guān)聯(lián)，是它的自然聯(lián)接符；假設(shè)與存在量詞合用易導(dǎo)致過弱表示，假設(shè)與存在量詞合用易導(dǎo)致過弱表示，即未能充分表示有用的信息。信息。4)合取符通常與存在量詞相關(guān)聯(lián)，是它的自然聯(lián)接符；合取)合取符通常與存在量詞相關(guān)聯(lián)，是它的自然聯(lián)接符；符假設(shè)與全稱量詞合用易導(dǎo)致過強(qiáng)表示。符假設(shè)與全稱量詞合用易導(dǎo)致過強(qiáng)表示。5)逆否命題)

人工智能的習(xí)題和答案

表達(dá)過程中能關(guān)聯(lián)的謂詞盡可能關(guān)聯(lián)，表達(dá)過程中能關(guān)聯(lián)的謂詞盡可能關(guān)聯(lián)，便于后續(xù)的推理推理時(shí)應(yīng)依據(jù)需要補(bǔ)充默認(rèn)的事實(shí)適當(dāng)設(shè)置謂詞項(xiàng)的數(shù)目，不可太籠統(tǒng)，適當(dāng)設(shè)置謂詞項(xiàng)的數(shù)目，不可太籠統(tǒng)，不便推理在一階謂詞規(guī)律中，在一階謂詞規(guī)律中，謂詞本身不可作為另一謂詞的項(xiàng)區(qū)分函數(shù)與謂詞的不同，謂詞的值是“真”或“假”,區(qū)分函數(shù)與謂詞的不同，謂詞的值是“函數(shù)是一個(gè)個(gè)體域到另一個(gè)體域一種映射，函數(shù)是一個(gè)個(gè)體域到另一個(gè)體域一種映射，其值是某個(gè)個(gè)體域的個(gè)體充分利用函數(shù)進(jìn)行表達(dá)，可簡(jiǎn)化。充分利用函數(shù)進(jìn)行表達(dá)，可簡(jiǎn)化。∧和可相互轉(zhuǎn)化，和∨也可相互轉(zhuǎn)化；盡管如此語句可相互轉(zhuǎn)化，也可相互轉(zhuǎn)化；

的可讀性比精簡(jiǎn)更重要語義是什么？語氣，情態(tài)的謂詞表達(dá)？語義是什么？語氣，情態(tài)的謂詞表達(dá)？

人工智能的習(xí)題和答案

1.設(shè)F(*)表示是火車，G(*)表示是汽車，H(*,是火車，()表示*是汽車是汽車，(,()表示*是火車y)表示比y快，命題“某些汽車比全部火車慢”的符號(hào))表示*比快命題“某些汽車比全部火車慢”化公式是(化公式是()A.(y)((y)→(*)((*)∧H(*,y))))(G()()(.()((,))))(F()B.(y)((y)∧()(F(*)→H(*,y))).()(G()*)(()(,))))()(C.()(y)((y)→(F(*)∧H(*,y))))(G

()(().(*)()((,))))(F()D.(y)((y)→(*)((*)→H(*,y))))(G()()(.()((,)))用一階謂詞規(guī)律表示以下語句：用一階謂詞規(guī)律表示以下語句：以下語句1.有的實(shí)數(shù)不是有理數(shù)，但全部的有理數(shù)都是實(shí)數(shù)。有的實(shí)數(shù)不是有理數(shù)，但全部的有理數(shù)都是實(shí)數(shù)。2.任意兩個(gè)實(shí)數(shù)和y之間必可找到另一個(gè)實(shí)數(shù)。任意兩個(gè)實(shí)數(shù)*和之間必可找到另一個(gè)實(shí)數(shù)之間必可找到另一個(gè)實(shí)數(shù)z。3.除0之外，每個(gè)自然數(shù)有且僅有一個(gè)相繼前元(論域已每個(gè)自然數(shù)有且僅有一個(gè)相繼前元(之設(shè)定為自然數(shù)集)。設(shè)定為自然數(shù)集)。4.條條大路通羅馬條條大路通羅馬

人工智能的習(xí)題和答案

3.13設(shè)有如下問題：設(shè)有如下問題：設(shè)有如下問題的方框內(nèi)放有8個(gè)編號(hào)的小方塊(1)在一個(gè)3的方框內(nèi)放有個(gè)編號(hào)的小方塊)在一個(gè)3的方框內(nèi)放有(2)緊鄰空位的小方塊可以移入到空位上)(3)通過平移小方塊可將某一布局變換為另一布局)請(qǐng)用產(chǎn)生式規(guī)章表示移動(dòng)小方塊的操作沖突消解：順次；搜尋：深度，廣度，啟發(fā)等沖突消解：順次；搜尋：深度，廣度，28316475

12384765

r1:IFaij=φ∧i≤2THENaijai+1,j,ai+1,jφ(上移)r2:IFaij=φ∧j≤2THENaijai,j+1,ai,j+1φ(左移)r3:IFaij=φ∧i≥2THENaijai1,j,ai1,jφ(下移)r4:IFaij=φ∧j≥2THENaijai,j1,ai,j1φ(右移)

人工智能的習(xí)題和答案

3.14設(shè)有如下問題：設(shè)有如下問題：設(shè)有如下問題個(gè)相互可直達(dá)且距離已知的城市A,,,,(1)有5個(gè)相互可直達(dá)且距離已知的城市，B,C,D,E)個(gè)相互可直達(dá)且距離已知的城市地出發(fā)，個(gè)城市各參觀一次后回到A(2)某人從地出發(fā)，去其它個(gè)城市各參觀一次后回到)某人從A地出發(fā)去其它4個(gè)城市各參觀一次后回到(3)找一條最短的旅行路徑請(qǐng)用產(chǎn)生式規(guī)章表示旅行過程)DB:按序存放行走路徑；move(*):走向城市：按序存放行走路徑；走向城市*走向城市T,當(dāng)*未訪問過T,當(dāng)已遍歷全部節(jié)點(diǎn)notvisit(*)=visitall()=F,elseF,當(dāng)*已訪問過

DB={A};i=1;visitall()=FS0:notvisit(B,C,D,E)=T;notvisit(A)=Fmove(*);notvisit(*)=F;DB=DBU{*}r1:notvisit(*)=Tii+1;i=5?visitall()=T;LL+LDB.i1,*

r2:visitall()=Tmove(A);LL+LDB.5,A;輸出DB,L

人工智能的習(xí)題和答案

沖突消解，搜尋策略：最鄰近法，深度優(yōu)先，沖突消解，搜尋策略：最鄰近法，深度優(yōu)先，摒除法等最短路徑：每產(chǎn)生出一條

路徑就對(duì)L進(jìn)行比較最短路徑：每產(chǎn)生出一條路徑就對(duì)進(jìn)行比較

B107A1075C

101396D8

E

ABC

DE

0751013A071010B069C08D0E

人工智能的習(xí)題和答案

附加題1:附加題：計(jì)算機(jī)系課程的框架表示框架名：計(jì)算機(jī)系課程計(jì)算機(jī)系課程框架名：計(jì)算機(jī)系課程課程編號(hào)：課程編號(hào)：課程名稱：中文名：課程名稱：中文名：英文名：英文名：缺?。嚎倢W(xué)時(shí)：總學(xué)時(shí)：Value:缺省：36If-Needed:理論學(xué)時(shí)+實(shí)踐學(xué)時(shí)理論學(xué)時(shí)+If-Added:學(xué)分=[總學(xué)時(shí)學(xué)分=總學(xué)時(shí)總學(xué)時(shí)/18]

理論學(xué)時(shí)：理論學(xué)時(shí)：實(shí)踐學(xué)時(shí)：實(shí)踐學(xué)時(shí)：學(xué)分：總學(xué)時(shí)總學(xué)時(shí)/18]學(xué)分：=[總學(xué)時(shí)課程類型：范圍(公共基礎(chǔ)課，專業(yè)基礎(chǔ)課，專業(yè)課，專業(yè)選修課)課程類型：范圍(公共基礎(chǔ)課，專業(yè)基礎(chǔ)課，專業(yè)課，專業(yè)選修課)缺省：缺?。汗不A(chǔ)課授課專業(yè)：范圍(計(jì)算機(jī)應(yīng)用，軟件，系統(tǒng)結(jié)構(gòu)，網(wǎng)絡(luò)，信息安全)授課專業(yè)：范圍(計(jì)算機(jī)應(yīng)用，軟件，系統(tǒng)結(jié)構(gòu)，網(wǎng)絡(luò)，信息安全)缺省：缺省：計(jì)算機(jī)應(yīng)用

人工智能的習(xí)題和答案

考核方式：范圍(開卷，閉卷)考核方式：范圍(開卷，閉卷)缺?。喝笔。洪]卷

先修課程：先修課程：教材：教材：參考資料：參考資料：課程內(nèi)容：課程內(nèi)容：任課老師：任課老師：范圍(第一~第四學(xué)年)范圍(第一~第四學(xué)年)開課學(xué)年：缺省：第一學(xué)年開課學(xué)年：缺?。洪_課學(xué)期：范圍(第一學(xué)期，第二學(xué)期)開課學(xué)期：范圍(第一學(xué)期，第二學(xué)期)缺省：缺?。旱谝粚W(xué)期

周學(xué)時(shí)：周學(xué)時(shí)：

人工智能的習(xí)題和答案

實(shí)例：實(shí)例：框架名：人工智能人工智能框架名：人工智能繼承：計(jì)算機(jī)系課程計(jì)算機(jī)系課程繼承：計(jì)算機(jī)系課程課程編號(hào)：課程編號(hào)：@@10309課程名稱：中文名：課程名稱：中文名：人工智能理論學(xué)時(shí)：理論學(xué)時(shí)：30實(shí)踐學(xué)時(shí)：實(shí)踐學(xué)時(shí)：6課程類型：課程類型：專業(yè)必修課授課專業(yè)：計(jì)算機(jī)應(yīng)用，軟件，系統(tǒng)結(jié)構(gòu)，網(wǎng)絡(luò)，授課專業(yè)：計(jì)算機(jī)應(yīng)用，軟件，系統(tǒng)結(jié)構(gòu)，網(wǎng)絡(luò)，信息安全考核方式：考核方式：開卷先修課程：離散數(shù)學(xué)高級(jí)語言程序設(shè)計(jì),概率離散數(shù)學(xué),高級(jí)語言程序設(shè)計(jì)概率先修課程：離散數(shù)學(xué)高級(jí)語言程序設(shè)計(jì)，概率教材：教材：開課學(xué)年：開課學(xué)年：第三學(xué)年參考資料：參考資料：開課學(xué)期：開課學(xué)期：第二學(xué)期課程內(nèi)容：課程內(nèi)容：任課老師：陳昭炯陳昭炯任課老師：陳昭炯周學(xué)時(shí)：周學(xué)時(shí)：3英文名：英文名：ArtificialIntelligence

人工智能的習(xí)題和答案

4.16設(shè)已知設(shè)已知的父親，是的父親的父親，(1)假如是y的父親，y是z的父親，那么*是z的祖父)假如*是的

父親是的祖父(2)每個(gè)人都有一個(gè)父親)試用歸結(jié)演繹推理證明：對(duì)于某人u,肯定存在一個(gè)人v,是試用歸結(jié)演繹推理證明：對(duì)于某人，肯定存在一個(gè)人，v是u的祖父。的祖父。的祖父錯(cuò)誤()錯(cuò)誤(1)y*z(F(*,y)∧F(y,z)→G(*,z))*y(F(*,y)∧F(y,z)→G(*,z))y*F(*,y)∧zyF(y,z)→z*F(*,z)

(2)*yF(*,y);*yF(*,y)子句

(3)uvG(v,u)

Father(y,*)*yFather(y,*)→Father(y,a)G(v,u)子句uvG(v,u)→G(v,f(v))G(g(v),u)

人工智能的習(xí)題和答案

答案：答案：(1)*yz(F(*,y)∧F(y,z)→G(*,z))F(*,y)∨F(y,z)∨G(*,z)化為→F(f(w),w)(2)wtF(t,w)

(3)uvG(v,u)uvG(v,u)化為→G(v,a)

F(*,y)∧F(y,z)∨G(*,z)

G(v,a){*/v,a/z}

F(*,y)∧F(y,a)

F(f(w),w){f(w)/y,a/w}→{f(a)/y,a/w}

F(*,f(a))Nil

F(f(w),w){f(w)/*,f(a)/w}→{f(f(a))/*,f(a)/w}

人工智能的習(xí)題和答案

4.20原題如下：原題如下：原題如下(1)Whoever