简答题

支持集策略对参加归结的子句提出了什么限制?

正确答案

支持集策略要求在每次归结时,亲本子句中至少应有一个是由目标的否定所得到的子句或者它们的后代。

答案解析

相似试题
  • 几种常用的归结策略()策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。

    填空题查看答案

  • 归结策略中,()是完备的。 Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策略

    单选题查看答案

  • 在删除策略归结的过程中删除以下子句:含有()的子句;含有永真式的子句;子句集中被别的子句类含的子句。

    填空题查看答案

  • 归结方法将所有的谓词公式均化简为子句,致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。

    判断题查看答案

  • 在查询操作中,将查询结果按指定表达式进行分组的子句是();对查询的结果集进行排序的子句是()。

    填空题查看答案

  • 什么是归结控制策略?什么样的归结控制策略是完备的?

    简答题查看答案

  • 如果在ASP中使用LIKE子句和星号(*)作为通配符执行SQL语句时ASP脚本根本不接受任何记录集,这可能是什么原因?

    简答题查看答案

  • SELECT语句的FOR XML子句支持几种XML转换模式,分别是什么模式?

    简答题查看答案

  • 求取子句集的步骤包括以下步骤:消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、()。

    多选题查看答案