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

在不同谓词公式中，往往会出现谓词名相同但其个体不同的情况，此时推理过程可以直接进行匹配。

在不同谓词公式中，往往会出现谓词名相同但其个体不同的情况，此时推理过程可以直接进行匹配。
A.正确
B.错误
正确答案：错误

标签：用Python学人工智能谓词公式

上一条：自然演绎推理就是从一组已知为真的事实出发，直接运用经典逻辑中的推理规则推出结论的过程。

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