niusouti.com
参考答案和解析
参考答案:A
更多“鲁滨逊归结原理可以分为命题逻辑归结原理和()归结原理。 ”相关问题
  • 第1题:

    10、下列说法正确的是()

    A.归结原理是一种基于归纳法的自动定理证明技术

    B.应用归结原理不能判定命题逻辑公式不成立

    C.吴方法是一种基于代数计算的自动定理证明方法

    D.无


    滑车、齿条式千斤顶都是利用杠杆原理制成的

  • 第2题:

    归结原理实现定理证明基于的是产生式知识表示形式


    错误

  • 第3题:

    1、下列说法正确的是()

    A.归结原理是一种基于归纳法的自动定理证明技术

    B.应用归结原理不能判定命题逻辑公式不成立

    C.吴方法是一种基于代数计算的自动定理证明方法

    D.(无)


    D

  • 第4题:

    归结演绎推理是一种基于鲁宾逊归结原理的机器推理技术。利用逻辑“()”把关于永真性的证明转化为关于不可满足性的证明。

    A.反证法

    B.综合法

    C.分析法

    D.归纳法


    正确

  • 第5题:

    归结演绎推理中的限制策略是通过对参加归结的子句进行种种限制,尽可能减小归结的盲目性, 使其尽快的归结出亲本子句。