精选优质文档-倾情为你奉上一、 填空：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=PQ，C2=PQ，则C1和C2的归结式R（C1，C2）= PP或QQ。12. 若C1=P(x)
