参考答案和解析
正确答案:包含
更多“谓词公式与其子句集的关系是（）。”相关问题
-
第1题：
基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
正确答案:错误 -
第2题：
仅个体变元被量化的谓词称为（）
- A、一阶谓词
- B、原子公式
- C、二阶谓词
- D、全称量词
正确答案:A -
第3题：
谓词公式与其子句集的关系是（）。
正确答案:包含 -
第4题：
谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。
正确答案:假 -
第5题：
子句集的化简的步骤？‘
正确答案:（1）消去连接词“→”和“↔”（2）减少否定符号的辖域（3）对变元标准化（4）化为前束范式（5）消去存在量词（6）化为Skolem标准形（7）消去全称量词（8）消去合取词（9）更换变量名称 -
第6题：
试述在SQL语句的WHERE条件子句中谓词ALL和ANY有何异同？
正确答案:在SQL语句的WHERE条件子句中谓词ALL和ANY都是为了指定查询范围，ANY可以指定子查询结果中的某个值，而ALL则指定子查询结果的全部值。 -
第7题：
下列的哪个子句在SELECT语句中用于排序结果集？（）
- A、Having子句
- B、Where子句
- C、From子句
- D、Order by子句
正确答案:D -
第8题：
单选题下列的哪个子句在SELECT语句中用于排序结果集？（）AHaving子句
BWhere子句
CFrom子句
DOrder by子句
正确答案： C解析： 暂无解析 -
第9题：
填空题合一算法：求非空有限具有相同谓词名的原子公式集的（）正确答案： 最一般合一（MGU）解析： 暂无解析 -
第10题：
单选题为了避免在嵌套的if-else语句中产生二义性，C语言规定与else子句配对是（ ）。A与其在同一行上的if子句
B在其之后最近的不带else的if子句
C与其缩排位置相同的if子句
D在其之前最近的不带else的同层if子句
正确答案： D解析：
if总是与它上面最近的、未配对的else配对。答案选择D选项。 -
第11题：
单选题仅个体变元被量化的谓词称为（）A一阶谓词
B原子公式
C二阶谓词
D全称量词
正确答案： B解析： 暂无解析 -
第12题：
填空题在查询操作中，将查询结果按指定表达式进行分组的子句是（）；对查询的结果集进行排序的子句是（）。正确答案： group by,order by解析： 暂无解析 -
第13题：
归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
正确答案:正确 -
第14题：
在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。
正确答案:辖域 -
第15题：
合一算法：求非空有限具有相同谓词名的原子公式集的（）
正确答案:最一般合一（MGU） -
第16题：
权集合即权重系数集合，简称权集，是描述各指标重要程度的关系集，反映了每个因素与其它因素间的关系。
正确答案:正确 -
第17题：
在SELECT语句中，用来限制查询结果集行数的谓词是（）。
- A、SUM
- B、TOP
- C、COUNT
- D、BOTTOM
正确答案:B -
第18题：
在查询操作中，将查询结果按指定表达式进行分组的子句是（）；对查询的结果集进行排序的子句是（）。
正确答案:group by；order by -
第19题：
问答题子句集的化简的步骤？‘正确答案： （1）消去连接词“→”和“↔”（2）减少否定符号的辖域（3）对变元标准化（4）化为前束范式（5）消去存在量词（6）化为Skolem标准形（7）消去全称量词（8）消去合取词（9）更换变量名称解析： 暂无解析 -
第20题：
填空题谓词公式与其子句集的关系是（）。正确答案： 包含解析： 暂无解析 -
第21题：
判断题归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。A对
B错
正确答案： 错解析： 暂无解析 -
第22题：
填空题在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。正确答案： 辖域解析： 暂无解析 -
第23题：
问答题试述在SQL语句的WHERE条件子句中谓词ALL和ANY有何异同？正确答案： 在SQL语句的WHERE条件子句中谓词ALL和ANY都是为了指定查询范围，ANY可以指定子查询结果中的某个值，而ALL则指定子查询结果的全部值。解析： 暂无解析 -
第24题：
判断题基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。A对
B错
正确答案： 对解析： 暂无解析