学习资料---人工智能复习题库.docVIP

填空： 人工智能的研究途径有 心理模拟 、 生理模拟 和行为模拟。 任意列举人工智能的四个应用性领域难题求解 、定理证明 、智能控制 、机器翻译 。 人工智能的基本技术包括搜索技术、推理技术、知识表示和知识库技术归纳技术、联想技术。 谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（10）。 谓词逻辑中，重言式（tautlogy）的值是 真 。 设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为永真式。 在著名的医疗专家系统MYCIN中规定，若证据A的可信度CF（A）=0，则意味着 无关，CF（A）=-1，则意味着假，CF（A）=1，则意味着真。 谓词公式G是不可满足的，当且仅当对所有的解释G都为假。 谓词公式与其子句集的关系是 包含。 利用归结原理证明定理时，若得到的归结式为 空集，则结论成立。 若C1=┐P∨Q，C2=P∨┐Q，则C1和C2的归结式R（C1，C2）= ┐P∨P或┐Q∨Q。 若C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，则C1和C2的归结式R（C1，C2）= （20）Q（a）∨R（y） 有谓词公式G，置换δ，则G·ε= （21） ，δ·ε= （22） 。 有子句集S=｛P(x),P(y)｝，其MGU= {y/x} 。 在归结原理中，几种常见的归结策略并且具有完备性的是 删除策略 支持集策略 线性归结策略