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

〔二〕一、選擇題13小題，共13分〕人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學(xué)家是〔。明斯基扎德圖靈馮.諾依曼以下哪個不是人工智能的爭論領(lǐng)域〔〕機器證明模式識別人工生命編譯原理神經(jīng)網(wǎng)絡(luò)爭論屬于以下〔〕學(xué)派符號主義連接主義行為主義都不是表示法叫〔〕狀態(tài)空間法問題歸約法謂詞規(guī)律法語義網(wǎng)絡(luò)法在公式中yxp(x,y))，存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依靠于y值。令這種依靠關(guān)系明顯地由函數(shù)所定義，它把y值映射到存在的那個x。這種函數(shù)叫做〔〕依靠函數(shù)Skolem函數(shù)打算函數(shù)多元函數(shù)子句~PQ和P經(jīng)過消解以后，得到〔〕PQ~PPQ7,8.BA稱為〔，B~~B稱為〔〕A. 結(jié)合律B.安排律C.吸取律D.摩根律9,10.假設(shè)問題存在最優(yōu)解，則下面幾種搜尋算法中〔〕必定可以得到該最優(yōu)解〔〕可以認(rèn)為是“智能程度相比照較高”的算法。廣度優(yōu)先搜尋深度優(yōu)先搜尋有界深度優(yōu)先搜尋啟發(fā)式搜尋產(chǎn)生式系統(tǒng)的推理不包括〔〕正向推理逆向推理雙向推理簡潔推理以下哪局部不是專家系統(tǒng)的組成局部〔 〕用戶綜合數(shù)據(jù)庫推理機學(xué)問庫要想讓機器具有智能，必需讓機器具有學(xué)問。因此，在人工智能中有一個爭論領(lǐng)域，主要爭論計算機如何自動獵取學(xué)問和技能，實現(xiàn)自我完善，這門爭論分支學(xué)科叫〔。專家系統(tǒng)機器學(xué)習(xí)神經(jīng)網(wǎng)絡(luò)模式識別！二、填空題12小題，共30分〕1. 人工智能三大學(xué)派是 。2. 化成子句形式為： 。從事實動身，通過規(guī)章庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是AI的英文縮寫是 在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞，而在一個量詞的轄域中與該量詞的指導(dǎo)變元一樣的變元稱為 6、假言推理〔AB〕A ，假言三段論〔AB〕〔BC〕 7、幾種常用的歸結(jié)策略： 、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元歸結(jié)策略8、在諸如走迷宮、下棋、八數(shù)碼玩耍等玩耍中，常用到的一種人工智能的核心技術(shù)稱為 技術(shù)，解這類問題時，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢用圖來表，這種圖稱為 在啟發(fā)式搜尋當(dāng)中，通常用 來表示啟發(fā)性信息。在二人博弈問題中最常用的一種分析技術(shù)是 這種方法的思想是先生成一棵博弈樹然后再計算其倒推值但它的效率較低， 某產(chǎn)生式系統(tǒng)中的一條規(guī)章〔〕Bx，則前件 ，后件 在框架和語義網(wǎng)絡(luò)兩種學(xué)問表示方法中， 適合于表示構(gòu)造性強的學(xué)問，而 則適合表示一些簡單的關(guān)系和聯(lián)系的學(xué)問。 不僅僅是一種學(xué)問表示方法，也是一種流行的軟件設(shè)計和開發(fā)技術(shù)。三、簡答題3小題，共27分〕將以下自然語言轉(zhuǎn)化為謂詞表示形式：全部的人都是要呼吸的。每個學(xué)生都要參與考試。任何整數(shù)或是正的或是負(fù)的〔9分〕何謂“圖靈試驗”？簡潔描述之〔5分〕(8分)深度優(yōu)先搜尋1212346789101112135試實現(xiàn)一個“大學(xué)教師”的框架，大學(xué)教師類屬于教師，包括以下屬性：學(xué)歷〔專業(yè)〔職稱〔助教、講師、副教授、教授〔5分〕四、應(yīng)用題2小題，共30分〕設(shè)有A，B，CA答：“B和C都是說謊者”；B答：“A和C都是說謊者”；C答：“A和B中至少有一個是說謊者”。求誰是狡猾人，誰是說謊者？〔15分〕:;(2)海豚不識字;;求證:有些聰明者并不能閱讀(15分)答案：13小題，共13分〕人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學(xué)家是C。明斯基扎德圖靈馮.諾依曼〔D〕機器證明模式識別人工生命編譯原理〔B〕學(xué)派符號主義連接主義行為主義都不是表示法叫〔B〕狀態(tài)空間法問題歸約法謂詞規(guī)律法語義網(wǎng)絡(luò)法在公式中yxp(x,y))，存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依靠于y值。令這種依靠關(guān)系明顯地由函數(shù)所定義，它把y值映射到存在的那個x。這種函數(shù)叫做〔B〕依靠函數(shù)Skolem函數(shù)打算函數(shù)多元函數(shù)子句~PQ和P經(jīng)過消解以后，得到〔B〕PQ~PE. PQ7,8.BA稱為C~B~~B稱為〕B. 結(jié)合律B.安排律C.吸取律D.摩根律9,10.假設(shè)問題存在最優(yōu)解，則下面幾種搜尋算法中〕必定可以得到該最優(yōu)解D〕的算法。廣度優(yōu)先搜尋深度優(yōu)先搜尋有界深度優(yōu)先搜尋啟發(fā)式搜尋〔D〕正向推理逆向推理雙向推理簡潔推理〔A〕用戶綜合數(shù)據(jù)庫推理機學(xué)問庫要想讓機器具有智能，必需讓機器具有學(xué)問。因此，在人工智能中有一個爭論領(lǐng)域，主要爭論計算機如何自動獵取學(xué)問和技能，實現(xiàn)自我完善，這門爭論分支學(xué)科叫B。專家系統(tǒng)機器學(xué)習(xí)神經(jīng)網(wǎng)絡(luò)模式識別！二、填空題12小題，共30分〕3. 人工智能三大學(xué)派是符號主義、聯(lián)結(jié)主義、行為主義。4. 化成子句形式為： 。從事實動身，通過規(guī)章庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是正向推理 AI的英文縮寫是ArtificalInteligence 在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的轄域 ，而在一個量詞的轄域中與該量詞的指導(dǎo)變元一樣的變元稱為約束變元 ，其他變元稱為 自由變元 6、假言推理〔AB〕A B ，假言三段論〔AB〕〔BC〕 AC 7、幾種常用的歸結(jié)策略： 刪除策略、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元歸結(jié)策略8、在諸如走迷宮、下棋、八數(shù)碼玩耍等玩耍中，常用到的一種人工智能的核心技術(shù)稱為 圖搜尋技術(shù)，解這類問題時，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢用圖來表，這種圖稱為 狀態(tài)空間圖〔或狀態(tài)圖〕在啟發(fā)式搜尋當(dāng)中，通常用 啟發(fā)函數(shù)來表示啟發(fā)性信息。在二人博弈問題中，最常用的一種分析技術(shù)是 極大微小分析法，這種方法的思想是先生成一棵博弈樹，然后再計算其倒推值但它的效率較低，因此人們在此根底上，又提出了 -剪枝技術(shù)某產(chǎn)生式系統(tǒng)中的一條規(guī)章〔〕Bx，則前件 〔〕，后件 x〕在框架和語義網(wǎng)絡(luò)兩種學(xué)問表示方法中， 框架適合于表示構(gòu)造性強的學(xué)問，而 語義網(wǎng)絡(luò)則適合表示一些簡單的關(guān)系和聯(lián)系的學(xué)問。 面對對象不僅僅是一種學(xué)問表示方法，也是一種流行的軟件設(shè)計和開發(fā)技術(shù)。三、簡答題3小題，共27分〕將以下自然語言轉(zhuǎn)化為謂詞表示形式：全部的人都是要呼吸的。每個學(xué)生都要參與考試。任何整數(shù)或是正的或是負(fù)的〔9分〕解：設(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))V-x(I(x)→R(x)∨N(x)))何謂“圖靈試驗”？簡潔描述之〔5分〕答：所謂“圖靈試驗參與人和機器提問，通過提問的結(jié)果來推斷誰是人，誰是機器。假設(shè)主持人無法推斷誰是人，誰是機器，則這臺機器具備智能，即所謂的“智(8分)深度優(yōu)先搜尋1212346789101112135〔１〕深度優(yōu)先搜尋：１－２－５－６－１０－１１－３－７－１２－１３－４－８－９〔２〕廣度優(yōu)先搜尋：１－２－３－４－５－６－７－８－９－１０－１１－１２－１３－１４試實現(xiàn)一個“大學(xué)教師”的框架，大學(xué)教師類屬于教師，包括以下屬性：學(xué)歷〔專業(yè)〔、職稱〔助教、講師、副教授、教授〔5分解：<大學(xué)教師>類屬：<教師>)〔〔助教、講師、副教授、教授〕2小題，共30分〕設(shè)有A，B，CA答：“B和C都是說謊者”；B答：“A和C都是說謊者”；C答：“A和B中至少有一個是說謊者”。求誰是狡猾人，誰是說謊者？〔15分〕解：設(shè)用Ｔ(x)表示x假設(shè)Ａ說的是真話，則有假設(shè)Ａ說的是假話，則有：對Ｂ和Ｃ說的話作一樣的處理，可得：把上面這些公式化成子句集，得到Ｓ：下面首先求誰是狡猾人。把應(yīng)用消解原理對Ｓ１進(jìn)展消解：所以，Ｃ是狡猾人，即Ｃ從不說假話

并入Ｓ得到 。即 比Ｓ多如下一個子句：除此之外，無論如何對 進(jìn)展消解，都推不出ANSWER(B)和ANSWER(A)。下面來證明Ａ和Ｂ不是狡猾人。集比Ｓ多如下一個子句：2所以，Ａ不是狡猾人。同理，可以證明Ｂ也不是狡猾人。:;海豚不識字;有些海豚是聰明的;求證:有些聰明者并不能閱讀.(15分)R(x):xL(x):xD(x):x把條件及求證