人工智能複習題庫(PDF 21頁)

內容摘要
一、填空：
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. 利用歸結原理證明定理時，若得到的歸結式為 空集，則結論成立。

..............................