题目内容

下列说法不正确的是_______。

A. 永真性:如果谓词公式P对个体域D上的任何一个解释都取得真值T,则称P在D上是永真的
B. 可满足性: 对于谓词公式P,如果至少存在一个解释使得公式P在此解释下的真值为T,则称公式P是可满足的
C. 永真性:如果谓词公式P在个体域D上,存在一个解释都取得真值T,则称P在D上是永真的
D. 不可满足性:如果谓词公式P对于个体域D上的任何一个解释都取得真值F,则称P在D上是永久假的,如果P在每个非空个体域上均永假,则称P永假

查看答案
更多问题

下列选项中那一种情况 不是发生冲突_______。

A. 已知事实能与知识库中的任何知识匹配成功;
B. 已知事实不能与知识库中的任何知识匹配成功;
C. 已知事实恰好只与知识库中的一个知识匹配成功;
D. 已知事实可以与知识库中的多个知识匹配成功; 或者有多个(组)已知事实都可与知识库中的一个知识匹配成功;或者有多个(组)已知事实可与知识库中的多个知识匹配成功

人工智能是智能计算机系统,即人类智慧在机器上的模拟,或者说 是人们使机器具有类似于人的智慧 (对语言能理解、能学习、能推理)

A. 对
B. 错

鲁宾逊归结原理中空子句是不可满足的,若一个子句集包含空子 句集,则这个子句集一定是不可满足的。

A. 对
B. 错

数据流图建模应遵循( )的原则

A. 自顶向下、从具体到抽象
B. 自顶向下,从抽象到具体
C. 自底向上,从具体到抽象
D. 自底向下,从抽象到具体

答案查题题库