一、 填空：1. 人工智能的研究途径有 心理 、 生理 和行为模拟。2. 任意列举人工智能的四个应用性领域（3） 、（4） 、（5） 、（6） 。3. 人工智能的基本技术包括 搜索技术、 推理技术 、 知识表示和知识库技术 归纳技术、联想技术。4. 谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（10）。5. 谓词逻辑中，重言式（tautlogy）的值是 真 。6. 设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为可满足式。7. 在着名的医疗专家系统MYCIN中规定，若证据A的可信度CF（A）=0，则意味着 13 ，CF（A）=-1，则意味着（14），CF（A）=1，则意味着（15）。8. 谓词公式G是不可满足的，当且仅当对所有的解释（16）。9. 谓词公式与其子句集的关系是 （17）。10. 利用归结原理证明定理时，若得到的归结式为 空集 ，则结论成立。 12。11. 若C1=PQ，C2=PQ，则C1和C2的归结式R（C1，C2）= 非P V P
