人工智能教程习题及答案习题参考解答.docVIP

人工智能教程习题及答案习题参考解答 第三章确定性推理方法习题参考解答 3.1练习题 什么是命题？请写出3个真值为T及真值为F的命题。 什么是谓词？什么是谓词个体及个体域？函数与谓词的区别是什么？ 谓词逻辑和命题逻辑的关系如何？有何异同？ 什么是谓词的项？什么是谓词的阶？请写出谓词的一般形式。 什么是谓词公式？什么是谓词公式的解释？设D={1,2},试给出谓词公式 (x)(y)(P(x,y)Q(x,y)) 的所有解释，并且对每一种解释指出该谓词公式的真值。 对下列谓词公式分别指出哪些是约束变元？哪些是自由变元？并指出各量词的辖域。 (1)(x)(P(x,y)(y)(Q(x,y)R(x,y)))