人工智能複習題庫(DOC 28頁)
人工智能複習題庫(DOC 28頁)內容簡介
內容摘要
一、 填空:
1. 人工智能的研究途徑有 心理模擬 、 生理模擬 和行為模擬。
2. 任意列舉人工智能的四個應用性領域難題求解 、定理證明 、智能控製 、機器翻譯 。
3. 人工智能的基本技術包括搜索技術、推理技術、知識表示和知識庫技術歸納技術、聯想技術。
4. 謂詞邏輯是一種表達能力很強的形式語言,其真值的特點和命題邏輯的區別是(10)。
5. 謂詞邏輯中,重言式(tautlogy)的值是 真 。
6. 設P是謂詞公式,對於P的任何論域,存在P為真的情況,則稱P為永真式。
7. 在著名的醫療專家係統MYCIN中規定,若證據A的可信度CF(A)=0,則意味著 無關,CF(A)=-1,則意味著假,CF(A)=1,則意味著真。
8. 謂詞公式G是不可滿足的,當且僅當對所有的解釋G都為假。
9. 謂詞公式與其子句集的關係是 包含。
10. 利用歸結原理證明定理時,若得到的歸結式為 空集,則結論成立。
11. 若C1=┐P∨Q,C2=P∨┐Q,則C1和C2的歸結式R(C1,C2)= ┐P∨P或┐Q∨Q。
12. 若C1=P(x) ∨Q(x),C2=┐P(a) ∨R(y),則C1和C2的歸結式R(C1,C2)= (20)Q(a)∨R(y)
13. 有謂詞公式G,置換δ,則G?ε= (21) ,δ?ε= (22) 。
14. 有子句集S={P(x),P(y)},其MGU= {y/x} 。
15. 在歸結原理中,幾種常見的歸結策略並且具有完備性的是 刪除策略 支持集策略 線性歸結策略
16. 狀態圖啟發式搜索算法的特點是 (27)。
17. 廣度優先搜索算法中,OPEN表的數據結構實際是一個 二叉樹,深度優先搜索算法中,OPEN表的數據結構實際是一個單鏈表 。
18. 產生式係統有三部分組成 綜合數據庫, 知識庫和推理機。其中推理可分為 正向推理和反向推理。
19. 專家係統的結構包含人機界麵、 知識庫 , 推理機 , 動態數據庫 , 知識庫答理係統 和解釋模塊。
20. 在MYCIN推理中,對證據的可信度CF(A)、CF(A1)、CF(A2)之間,規定如下關係:CF(~A)= ~CF(A) ,CF(A1∧A2 )= min{CF(A1),CF(A2)} ,CF(A1∨A2 )= max{CF(A1),CF(A2)} 。
21. 開發專家係統所要解決的基本問題有三個,那就是知識的獲取、知識的表示和知識的運用,知識表示的方法主要有 邏輯表示法(謂詞表示法) , 框架, 產生式和語義網絡等,在語義網絡表示知識時,所使用的推理方法有 AKO 和 ISA
..............................
一、 填空:
1. 人工智能的研究途徑有 心理模擬 、 生理模擬 和行為模擬。
2. 任意列舉人工智能的四個應用性領域難題求解 、定理證明 、智能控製 、機器翻譯 。
3. 人工智能的基本技術包括搜索技術、推理技術、知識表示和知識庫技術歸納技術、聯想技術。
4. 謂詞邏輯是一種表達能力很強的形式語言,其真值的特點和命題邏輯的區別是(10)。
5. 謂詞邏輯中,重言式(tautlogy)的值是 真 。
6. 設P是謂詞公式,對於P的任何論域,存在P為真的情況,則稱P為永真式。
7. 在著名的醫療專家係統MYCIN中規定,若證據A的可信度CF(A)=0,則意味著 無關,CF(A)=-1,則意味著假,CF(A)=1,則意味著真。
8. 謂詞公式G是不可滿足的,當且僅當對所有的解釋G都為假。
9. 謂詞公式與其子句集的關係是 包含。
10. 利用歸結原理證明定理時,若得到的歸結式為 空集,則結論成立。
11. 若C1=┐P∨Q,C2=P∨┐Q,則C1和C2的歸結式R(C1,C2)= ┐P∨P或┐Q∨Q。
12. 若C1=P(x) ∨Q(x),C2=┐P(a) ∨R(y),則C1和C2的歸結式R(C1,C2)= (20)Q(a)∨R(y)
13. 有謂詞公式G,置換δ,則G?ε= (21) ,δ?ε= (22) 。
14. 有子句集S={P(x),P(y)},其MGU= {y/x} 。
15. 在歸結原理中,幾種常見的歸結策略並且具有完備性的是 刪除策略 支持集策略 線性歸結策略
16. 狀態圖啟發式搜索算法的特點是 (27)。
17. 廣度優先搜索算法中,OPEN表的數據結構實際是一個 二叉樹,深度優先搜索算法中,OPEN表的數據結構實際是一個單鏈表 。
18. 產生式係統有三部分組成 綜合數據庫, 知識庫和推理機。其中推理可分為 正向推理和反向推理。
19. 專家係統的結構包含人機界麵、 知識庫 , 推理機 , 動態數據庫 , 知識庫答理係統 和解釋模塊。
20. 在MYCIN推理中,對證據的可信度CF(A)、CF(A1)、CF(A2)之間,規定如下關係:CF(~A)= ~CF(A) ,CF(A1∧A2 )= min{CF(A1),CF(A2)} ,CF(A1∨A2 )= max{CF(A1),CF(A2)} 。
21. 開發專家係統所要解決的基本問題有三個,那就是知識的獲取、知識的表示和知識的運用,知識表示的方法主要有 邏輯表示法(謂詞表示法) , 框架, 產生式和語義網絡等,在語義網絡表示知識時,所使用的推理方法有 AKO 和 ISA
..............................
用戶登陸
人工智能熱門資料
人工智能相關下載