人工智能复习题库(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. 利用归结原理证明定理时，若得到的归结式为 空集，则结论成立。

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