AI習題及思考題福州大學數(shù)學與計算機學院陳昭炯10-Aug-23第一頁，共二十二頁。3.6(1)有的人喜歡梅花，有的人喜歡菊花，有的人既喜歡梅花又喜歡菊花典型錯誤：答案：第二頁，共二十二頁。3.6(2)他每天下午都去打籃球典型錯誤：答案：第三頁，共二十二頁。3.6(3)西安市的夏天既炎熱又干燥錯誤：第四頁，共二十二頁。答案：第五頁，共二十二頁。3.6(4)并不是人人都喜歡吃臭豆腐錯誤：答案：第六頁，共二十二頁。3.6(5)喜歡讀《三國演義》的人必讀《水滸》錯誤：答案：第七頁，共二十二頁。3.6(6)欲窮千里目，更上一層樓錯誤：答案：第八頁，共二十二頁。關于一階謂詞邏輯的若干問題：分清蘊涵與合取的區(qū)別：1）蘊涵的前提可以不發(fā)生，且前提不為真時蘊涵式仍能成立2）合取表示的是已經(jīng)發(fā)生或存在的事實3）蘊含通常與全稱量詞相關聯(lián)，是它的自然聯(lián)接符；蘊涵符若與存在量詞合用易導致過弱表示，即未能充分表示有用的信息。4）合取符通常與存在量詞相關聯(lián)，是它的自然聯(lián)接符；合取符若與全稱量詞合用易導致過強表示。5）逆否命題第九頁，共二十二頁。表達過程中能關聯(lián)的謂詞盡可能關聯(lián)，便于后續(xù)的推理推理時應根據(jù)需要補充默認的事實適當設置謂詞項的數(shù)目，不可太籠統(tǒng)，不便推理在一階謂詞邏輯中，謂詞本身不可作為另一謂詞的項區(qū)分函數(shù)與謂詞的不同，謂詞的值是“真”或“假”，函數(shù)是一個個體域到另一個體域一種映射，其值是某個個體域的個體充分利用函數(shù)進行表達，可簡化。和可相互轉化，和也可相互轉化；盡管如此語句的可讀性比精簡更重要語義是什么？語氣，情態(tài)的謂詞表達？第十頁，共二十二頁。1.設F（x）表示x是火車，G（x）表示x是汽車，H（x，y）表示x比y快，命題“某些汽車比所有火車慢”的符號化公式是（）

A．（y）（G（y）→（x）（F（x）∧H（x，y）））

B．（y）（G（y）∧（x）（F（x）→H（x，y）））

C．（x）（y）（G（y）→（F（x）∧H（x，y）））

D．（y）（G（y）→（x）（F（x）→H（x，y）））用一階謂詞邏輯表示下列語句：1.有的實數(shù)不是有理數(shù)，但所有的有理數(shù)都是實數(shù)。

2.任意兩個實數(shù)x和y之間必可找到另一個實數(shù)z。

3.除0之外，每個自然數(shù)有且僅有一個相繼前元（論域已設定為自然數(shù)集）。4.條條大路通羅馬

第十一頁，共二十二頁。3.13設有如下問題：（1）在一個3×3的方框內(nèi)放有8個編號的小方塊（2）緊鄰空位的小方塊可以移入到空位上（3）通過平移小方塊可將某一布局變換為另一布局請用產(chǎn)生式規(guī)則表示移動小方塊的操作2831647512384765沖突消解：順序；搜索：深度，廣度，啟發(fā)等第十二頁，共二十二頁。3.14設有如下問題：（1）有5個相互可直達且距離已知的城市A，B，C，D，E（2）某人從A地出發(fā)，去其它4個城市各參觀一次后回到A（3）找一條最短的旅行路線DB：按序存放行走路線；move(x):走向城市x請用產(chǎn)生式規(guī)則表示旅行過程第十三頁，共二十二頁。沖突消解，搜索策略：最鄰近法，深度優(yōu)先，排除法等最短路徑：每產(chǎn)生出一條路徑就對L進行比較第十四頁，共二十二頁。附加題1：計算機系課程的框架表示框架名：<計算機系課程>課程編號：課程名稱：總學時：理論學時：實踐學時：學分：＝[總學時/18]課程類型：授課專業(yè)：中文名：英文名：Value:缺?。?6If-Needed:理論學時＋實踐學時If-Added:學分＝[總學時/18]范圍（公共基礎課，專業(yè)基礎課，專業(yè)課，專業(yè)選修課）缺?。汗不A課范圍（計算機應用，軟件，系統(tǒng)結構，網(wǎng)絡，信息安全）缺省：計算機應用第十五頁，共二十二頁?？己朔绞剑合刃拚n程：教材：參考資料：課程內(nèi)容：任課教師：開課學年：開課學期：周學時：范圍（開卷，閉卷）缺?。洪]卷范圍（第一學期，第二學期）缺?。旱谝粚W期范圍（第一～第四學年）缺?。旱谝粚W年第十六頁，共二十二頁。實例：框架名：<人工智能>繼承：<計算機系課程>課程編號：@@10309課程名稱：理論學時：30實踐學時：6課程類型：專業(yè)必修課授課專業(yè)：計算機應用，軟件，系統(tǒng)結構，網(wǎng)絡，信息安全考核方式：開卷先修課程：<離散數(shù)學>,<高級語言程序設計>，<概率>教材：參考資料：課程內(nèi)容：任課教師：<陳昭炯>中文名：人工智能英文名：ArtificialIntelligence開課學年：第三學年開課學期：第二學期周學時：3第十七頁，共二十二頁。4.16設已知（1）如果x是y的父親，y是z的父親，則x是z的祖父（2）每個人都有一個父親試用歸結演繹推理證明：對于某人u，一定存在一個人v，v是u的祖父。錯誤（1）第十八頁，共二十二頁。答案：{x/v,a/z}{f(w)/y,a/w}→{f(a)/y,a/w}{f(w)/x,f(a)/w}→{f(f(a))/x,f(a)/w}第十九頁，共二十二頁。4.20原題如下：（1）Whoevercanreadisliterate（2）Dolphinsarenotliterate（3）SomeDolphinsareintelligentProve:Somewhoareintelligen