题目内容

鲁宾逊归结原理中,设 C1 与 C2 是子句集 S 中的两个子句, C12 是它们的归结式,若把 C12 加入 S 中,得到新子句集 S2,则 S 与 S2 是等价的。( )

查看答案
更多问题

鲁宾逊归结原理中空子句是不可满足的,若一个子句集包含空子 句集,则这个子句集一定是不可满足的。( )

博弈树的每个结点表示一个动作。

不确定性推理是建立在经典逻辑基础上的一种推理,它是对不确定性知识的运用和处理。 ( )

不确定性推理指推理所使用的知识和推出的结论可以是不确定的。 所谓不确定性是真值为假。( )

答案查题题库