A.谓词逻辑
B.限制逻辑
C.删除逻辑
D.线性输入
第1题:
10、下列说法正确的是()
A.归结原理是一种基于归纳法的自动定理证明技术
B.应用归结原理不能判定命题逻辑公式不成立
C.吴方法是一种基于代数计算的自动定理证明方法
D.无
第2题:
归结原理实现定理证明基于的是产生式知识表示形式
第3题:
1、下列说法正确的是()
A.归结原理是一种基于归纳法的自动定理证明技术
B.应用归结原理不能判定命题逻辑公式不成立
C.吴方法是一种基于代数计算的自动定理证明方法
D.(无)
第4题:
归结演绎推理是一种基于鲁宾逊归结原理的机器推理技术。利用逻辑“()”把关于永真性的证明转化为关于不可满足性的证明。
A.反证法
B.综合法
C.分析法
D.归纳法
第5题:
归结演绎推理中的限制策略是通过对参加归结的子句进行种种限制,尽可能减小归结的盲目性, 使其尽快的归结出亲本子句。