首页
谓词公式不可满足的充要条件是其子句集不可满足。
精华吧
→
答案
→
慕课
→
未分类
谓词公式不可满足的充要条件是其子句集不可满足。
A.正确
B.错误
正确答案：正确
Tag：
人工智能导论
谓词
子句
时间：2022-02-17 19:33:19
上一篇：
空子句是可以满足的。
下一篇：
对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。
相关答案
1.
任何文字的合取式称为子句。
2.
从初始证据出发，按某种策略不断运用知识库中的已知知识，逐步推出结论的过程称为推理。
3.
产生式有固定的格式，每一条产生式规则都由前提与结论（操作）两部分组成。
4.
一个产生式系统由规则库、推理机、综合数据库三部分组成。
5.
框架的槽值或侧面值不能是另一个框架的名字。
6.
产生式系统求解问题的过程是一个反复进行“匹配－－冲突消解－－执行”的过程。
7.
框架表示法不能表示具有因果关系的知识。
8.
产生式是蕴含式。
9.
下列不是框架表示法特点的是（）
10.
不适合用产生式表示法表示的知识是（）
热门答案
1.
一阶谓词逻辑表示法可以表示不确定的知识。
2.
命题逻辑可以把所描述的事物的结构及其逻辑特征反映出来，也能把不同事物间的共同特征表述出来。
3.
一个命题不能同时既为真又为假，但可以在一种条件下为真，在另一种条件为假。
4.
一阶谓词逻辑表示的优点是（）
5.
李明的父亲是教师，用谓词逻辑可以表示为Teacher（father（Liming））这里father（Liming）是（）
6.
电子计算机的诞生为人工智能的研究奠定了物质基础。
7.
一般认为人类智能是知识与智力的总和，其中知识是一切智能行为的基础，而智力是获取知识并应用知识求解问题的能力。
8.
人工智能研究的基本内容包括（）。
9.
人类智能的特征包括（）。
10.
人工智能中通常把（）作为衡量机器智能的准则。