人工智能原理習(xí)題庫【選擇+填空版】

《人工智能導(dǎo)論》試卷庫《人工智能導(dǎo)論》試卷庫一、填空：人工智能的爭論途徑有心理模擬、生理模擬和行為模擬。任意列舉人工智能的四個(gè)應(yīng)用性領(lǐng)域難題求解、定理證明、智能掌握、機(jī)器翻譯。人工智能的根本技術(shù)包括搜尋技術(shù)、推理技術(shù)、學(xué)問表示和學(xué)問庫技術(shù)歸納技術(shù)、聯(lián)想技術(shù)。謂詞規(guī)律中，重言式〔tautlogy〕的值是真。謂詞公式G是不行滿足的，當(dāng)且僅當(dāng)對全部的解釋G都為假。謂詞公式與其子句集的關(guān)系是包含。利用歸結(jié)原理證明定理時(shí)，假設(shè)得到的歸結(jié)式為空集，則結(jié)論成立。C1=┐P∨Q，C2=P∨┐QC1C2R〔C1，C2〕=┐P∨P┐Q∨Q。9.C1=P(x)∨Q(x)，C2=┐P(a)∨R(yC1C2的歸結(jié)式R〔C1，C2〕=Q〔a〕∨R〔y〕有子句集SP(x),P(y，其MGU{y/x}。在歸結(jié)原理中，幾種常見的歸結(jié)策略并且具有完備性的是刪除策略支持集策略線性歸結(jié)策略廣度優(yōu)先搜尋算法中，OPEN表的數(shù)據(jù)構(gòu)造實(shí)際是一個(gè)二叉樹，深度優(yōu)先搜尋算法中，OPEN單鏈表。產(chǎn)生式系統(tǒng)有三局部組成綜合數(shù)據(jù)庫，學(xué)問庫和推理機(jī)。其中推理可分為正向推理和反向推理。專家系統(tǒng)的構(gòu)造包含人機(jī)界面、學(xué)問庫，推理機(jī)，動(dòng)態(tài)數(shù)據(jù)庫，學(xué)問庫答理系統(tǒng)和解釋模塊。在MYCIN推理中，對證據(jù)的可信度CFACFA、C〔A〕之間，規(guī)C~~C〔CAAmin{C〔A1C〔A2}，CF〔A∨A〕max{CF〔A1，CF〔A2〕?！度斯ぶ悄軐?dǎo)論》試卷庫開發(fā)專家系統(tǒng)所要解決的根本問題有三個(gè)，那就是學(xué)問的獵取、學(xué)問的表示和學(xué)問的運(yùn)用，學(xué)問表示的方法主要有規(guī)律表示法〔謂詞表示法架，產(chǎn)生式和語義網(wǎng)絡(luò)等，在語義網(wǎng)絡(luò)表示學(xué)問時(shí)，所使用的推理方法有AKOISA機(jī)器學(xué)習(xí)的含義是指機(jī)器面對自行為的修正或性能的改善和機(jī)器對客觀規(guī)律和進(jìn)展。自然語言理解不僅包括計(jì)算機(jī)能正確理解人們用自然語言輸入的信息，能正確答復(fù)輸入信息中的有關(guān)問題，而且還包括語法分析、語用分析、語句分析。人工智能三大學(xué)派是符號(hào)主義、聯(lián)結(jié)主義、行為主義化成子句形式為：。從事實(shí)動(dòng)身，通過規(guī)章庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是正向推理AIArtificalInteligence轄域，而在一個(gè)量詞的轄域中與該量詞的指導(dǎo)變元一樣的變元稱為約束變元，其他變元稱為自由變元假言推理〔AB〕AB，假言三段論〔AB〕〔BC〕AC幾種常用的歸結(jié)策略：刪除策略、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元?dú)w結(jié)策略在諸如走迷宮、下棋、八數(shù)碼玩耍等玩耍中，常用到的一種人工智能的核心技術(shù)稱為圖搜尋技術(shù)，解這類問題時(shí)，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢用圖來表，這種圖稱為狀態(tài)空間圖〔或狀態(tài)圖〕在啟發(fā)式搜尋當(dāng)中，通常用啟發(fā)函數(shù)《人工智能導(dǎo)論》試卷庫《人工智能導(dǎo)論》試卷庫在二人博弈問題中，最常用的一種分析技術(shù)是極大微小分析法，這種方法的思想是先生成一棵博弈樹，然后再計(jì)算其倒推值。但它的效率較低，因此人們在此根底上，又提出了-剪枝技術(shù)〔xx，則前件是A〔x，后件是B〔x〕在框架和語義網(wǎng)絡(luò)兩種學(xué)問表示方法中框架適合于表示構(gòu)造性強(qiáng)的學(xué)問，而語義網(wǎng)絡(luò)則適合表示一些簡單的關(guān)系和聯(lián)系的學(xué)問。面對對象不僅僅是一種學(xué)問表示方法，也是一種流行的軟件設(shè)計(jì)和開發(fā)技術(shù)。不確定性類型按性質(zhì)分：隨機(jī)性，模糊性，不完全性，不全都性。在刪除策略歸結(jié)的過程中刪除以下子句純文字的子句;含有永真式的類含C〔AC〔A1CF〔A2〕之間，規(guī)定如下關(guān)系：CF〔~A〕-CF(A)、CF〔A1A2〕min{CF(A1),CF(A2)}、CF〔A1∨A2〕=max{CF(A1),CF(A2)}合一算法：求非空有限具有一樣謂詞名的原子公式集的最一般合一產(chǎn)生式系統(tǒng)的推理過程中，從可觸發(fā)規(guī)章中選擇一個(gè)規(guī)章來執(zhí)行，被執(zhí)行的規(guī)章稱為被觸發(fā)規(guī)章。P(B|AA→B中，證據(jù)A為真的作用下結(jié)論B概率。常用的二種盲目搜尋方法是隨機(jī)碰撞式搜尋和完全式搜尋；引入啟發(fā)式學(xué)問來指導(dǎo)OPEN表中節(jié)點(diǎn)的排序可劃分為二種方式全局擇優(yōu)搜尋和局部擇優(yōu)搜尋。產(chǎn)生式系統(tǒng)的推理可以分為正向推理和_反向推理兩種根本方式。人工智能的表現(xiàn)形式至少有智能機(jī)器人幾種。目前所用的學(xué)問表示形式有框架語義網(wǎng)絡(luò)面對對象等?？蚣芟到y(tǒng)的特性繼承功能可通過組合應(yīng)用槽的三個(gè)側(cè)面來敏捷實(shí)現(xiàn)，它們是_Default_、_If-Needed_和_If-Added_。產(chǎn)生式系統(tǒng)是由綜合數(shù)據(jù)庫、學(xué)問庫和推理機(jī)三局部組成的._識(shí)別框架_就是所考察推斷的事物或?qū)ο蟮募?，記為_Ω_。它的子集構(gòu)成_求解問題的解答_。證據(jù)理論是經(jīng)典概率論的一種擴(kuò)大形式，構(gòu)成這一理論的函數(shù)有根本概念全分函數(shù)、信任函數(shù)和似真函數(shù)。對于模糊不確定性，一般承受模糊集合或模糊規(guī)律來刻劃。歸結(jié)法中，可以通過修改證明樹的方法得到問題的解答。從事實(shí)動(dòng)身，通過規(guī)章庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是正向推理人工智能的遠(yuǎn)期目標(biāo)是制造智能機(jī)器，近期目標(biāo)是實(shí)現(xiàn)機(jī)器智能。利用歸結(jié)原理證明定理時(shí)，假設(shè)得到的歸結(jié)式為空集，則結(jié)論成立。在啟發(fā)式搜尋當(dāng)中，通常用啟發(fā)函數(shù)來表示啟發(fā)性信息。二、選擇題〔13小題，共13分〕人工智能的含義最早由一位科學(xué)家于1950測試模型，請問這個(gè)科學(xué)家是〔C。明斯基B.扎德C.圖靈D.馮.諾依曼以下哪個(gè)不是人工智能的爭論領(lǐng)域〔D〕機(jī)器證明模式識(shí)別C.人工生命D.編譯原理神經(jīng)網(wǎng)絡(luò)爭論屬于以下〔B〕學(xué)派A.符號(hào)主義B.連接主義C.行為主義D.都不是初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€(gè)子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是學(xué)問表示法叫〔B〕狀態(tài)空間法B.問題歸約法C.謂詞規(guī)律法D.語義網(wǎng)絡(luò)法在公式中yxp(x,y))，存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依靠于y值。令這種依靠關(guān)系明顯地由函數(shù)所定義，它把每個(gè)y值映射到存在的那個(gè)x。這種函數(shù)叫做〔B〕依靠函數(shù)B.SkolemC.打算函數(shù)D.多元函數(shù)子句~PQ和P〔B〕A.PB.QC.~PD.PQ7,8.〔BA稱為〔~~B稱為〕A.結(jié)合律B.安排律C.吸取律D.摩根律9,10〔〕必定可以得到該最優(yōu)解，〔D〕可以認(rèn)為是“智能程度相比照較高”的算法。廣度優(yōu)先搜尋深度優(yōu)先搜尋有界深度優(yōu)先搜尋啟發(fā)式搜尋產(chǎn)生式系統(tǒng)的推理不包括〔D〕A.正向推理B.逆向推理C.雙向推理D.簡潔推理以下哪局部不是專家系統(tǒng)的組成局部〔A〕A.用戶B.綜合數(shù)據(jù)庫C.推理機(jī)《人工智能導(dǎo)論》試卷庫《人工智能導(dǎo)論》試卷庫D.學(xué)問庫域，主要爭論計(jì)算機(jī)如何自動(dòng)獵取學(xué)問和技能，實(shí)現(xiàn)自我完善，這門爭論分支學(xué)科叫B。A.專家系統(tǒng)B.機(jī)器學(xué)習(xí)C.神經(jīng)網(wǎng)絡(luò)D.模式識(shí)別！14、AIBA)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation15、反演歸結(jié)〔消解〕證明定理時(shí)，假設(shè)當(dāng)前歸結(jié)式是〔C〕時(shí)，則定理得證。A)永真式 B)包孕式〔subsumed〕 C)空子句16、從事實(shí)動(dòng)身，通過規(guī)章庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是〔A〕A)正向推理 B)反向推理 C)雙向推理1、語義網(wǎng)絡(luò)表達(dá)學(xué)問時(shí)，有向弧AKO鏈ISA鏈?zhǔn)怯脕肀磉_(dá)節(jié)點(diǎn)學(xué)問的A)無悖性 B)可擴(kuò)大性 C)繼承性18、(A→B)∧A=>BCA)附加律 B)拒收律 C)假言推理 D)US19、命題是可以推斷真假的DA)祈使句 B)疑問句 C)感慨句 D)陳述句20、僅個(gè)體變元被量化的謂詞稱為AA)一階謂詞 B)原子公式C)二階謂詞D)全稱量詞21、MGU是AA)最一般合一 B)最一般替換C)最一般謂詞D)基替換2、1997年５月，著名的“人機(jī)大戰(zhàn)3.5比2.5國際象棋棋王卡斯帕羅夫擊敗，這臺(tái)計(jì)算機(jī)被稱為〔A〕A〕深藍(lán) B〕IBM C〕深思 D〕藍(lán)天23、以下不在人工智能系統(tǒng)的學(xué)問包含的4個(gè)要素中DA)事實(shí) B)規(guī)章 C)掌握和元學(xué)問 D)關(guān)系24、謂詞規(guī)律下，子句,C1=L∨C1‘,C2=?L∨C2‘,假設(shè)σ是互補(bǔ)文字的〔最一般〕合一置換，則其歸結(jié)式C=〔A〕A)C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’∧C2’25、或圖通常稱為DA〕框架網(wǎng)絡(luò) B)語義圖 C)博亦圖 D)狀態(tài)圖26、不屬于人工智能的學(xué)派是BA)符號(hào)主義 B)時(shí)機(jī)主義 C)行為主義 D)連接主義。27、人工智能是一門DA)數(shù)學(xué)和生理學(xué) B)心理學(xué)和生理學(xué) C)語言學(xué)D)綜合性的穿插學(xué)科和邊緣學(xué)科D28、以下不在人工智能系統(tǒng)的學(xué)問包含的4個(gè)要素中DA)事實(shí) B)規(guī)章 C)掌握 D)關(guān)系29、當(dāng)前歸結(jié)式是〔C〕時(shí)，則定理得證。A)永真式 B包孕式〔subsumed〕 C)空子句30、或圖通常稱為DA〕框架網(wǎng)絡(luò) B)語義圖 C)博亦圖 D)狀態(tài)圖31(B有肯定程度的不確定性但卻是合理或者近乎合理的結(jié)論的