题目内容

从初始证据出发，按某种策略不断运用知识库中的已知知识，逐步推出结论的过程称为推理。

A. 对
B. 错

查看答案

搜索结果不匹配？点我反馈

更多问题

任何文字的合取式称为子句。

A. 对
B. 错

空子句是可以满足的。

A. 对
B. 错

谓词公式不可满足的充要条件是其子句集不可满足。

A. 对
B. 错

李明的父亲是教师，用谓词逻辑可以表示为Teacher（father（Liming））这里father（Liming）是（）次

A. 常量
B. 变元
C. 函数
D. 一元谓词