首页 › 答案 › 题库 › 慕课 › 未分类

合一可理解为是寻找项对变量的置换，使两个谓词公式一致。

合一可理解为是寻找项对变量的置换，使两个谓词公式一致。
A.正确
B.错误
正确答案：正确

标签：用Python学人工智能谓词变量

上一条：置换可以简单的理解为在一个谓词公式中用项去替换变量，项一般用小写字母a、b、c、s、t来表示，变量一般用小写字母x、y、z来表示，置换一般用希腊字母θ、α、λ等来表示。

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