鲁滨逊归结原理可以分为命题逻辑归结原理和()归结原理。 A.谓词逻辑B.限制逻辑C.删除逻辑D.线性输入

鲁滨逊归结原理可以分为命题逻辑归结原理和()归结原理。

A.谓词逻辑

B.限制逻辑

C.删除逻辑

D.线性输入

相关考题：

什么是法律责任的归结？试述公正归结原则的含义和要求。

查看答案

在中国开展地方政府原理研究的目的可以归结为()。A、服务于当前的改革B、寻求未来发展模式C、提高地方政府活动的社会效益D、维护中央集权体制

查看答案

尽管套利的种类有很多’，但其基本的操作原理是相似的，都可以归结为买进套利和卖出套利两大类。（）

查看答案

欧美企业文化可以归结为灵性主义，日本、华人企业文化可以归结为理性主义。A对B错

查看答案

10、下列说法正确的是（）A．归结原理是一种基于归纳法的自动定理证明技术B．应用归结原理不能判定命题逻辑公式不成立C．吴方法是一种基于代数计算的自动定理证明方法D．无

查看答案

归结演绎推理是一种基于鲁宾逊归结原理的机器推理技术。利用逻辑“（）”把关于永真性的证明转化为关于不可满足性的证明。A．反证法B．综合法C．分析法D．归纳法

查看答案

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

查看答案

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

查看答案

1、下列说法正确的是（）A．归结原理是一种基于归纳法的自动定理证明技术B．应用归结原理不能判定命题逻辑公式不成立C．吴方法是一种基于代数计算的自动定理证明方法D．（无）

查看答案

热门标签