网友您好， 请在下方输入框内输入要搜索的题目：

题目内容 （请给出正确答案）

基于规则的正向演绎系统的子句形式（）

  • A、子句的合取式（合取范式）
  • B、子句的析取式（析取范式）
  • C、文字的析取式
  • D、文字的合取式

参考答案

更多 “基于规则的正向演绎系统的子句形式（）A、子句的合取式（合取范式）B、子句的析取式（析取范式）C、文字的析取式D、文字的合取式” 相关考题
考题 求取子句集的步骤包括以下步骤:消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词。() 此题为判断题(对，错)。
查看答案
考题 举例说明合取概念、析取概念和关系概念的含义。
查看答案
考题 消解是一种可用于一定的（）的重要推理规则。A、子句B、双条件C、合取公式D、蕴含公式
查看答案
考题 反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A、永真式B、包孕式C、空子句
查看答案
考题 子句是由文字的（）组成的公式A、析取B、合取C、蕴含D、双条件
查看答案
考题 求取子句集的步骤包括以下步骤,（）、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。A、消去“蕴含”连结词B、减少“非”连结词的辖域C、对变量标准化D、消去存在量词
查看答案
考题 基于规则的逆向演绎系统的使用条件（）A、事实表达式是文字合取形式B、事实表达式是任意形式C、规则形式为：W→L或W→L1∧L2其中L为单文字，W为任意形式。D、目标公式是任意形式
查看答案
考题 基于规则的正向演绎系统的使用条件（）A、事实表达式是任意形式B、规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式C、目标公式为文字析取形D、目标公式是任意形式
查看答案
考题 基于规则的正向演绎系统的的子集形式（）A、子句的合取式（合取范式）B、子句的析取式（析取范式）C、文字的析取式D、文字的合取式
查看答案
考题 在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。
查看答案
考题 根据反映事物属性的数量及其相互关系把概念分为合取概念、析取概念和关系概念。铅笔、毛笔、钢笔属于下面的哪种概念（）A、关系概念B、具体概念C、合取概念D、析取概念
查看答案
考题 概念原则是指具体整合这些定义特征的规则，包括（）A、肯定B、否定C、关系D、合取E、析取
查看答案
考题 or也叫（）命题A、合取B、分取C、或者D、析取
查看答案
考题 SQL基本表的创建中是通过哪个子句实现参照完整性规则的（）。A、外键子句B、主键子句C、检查子句
查看答案
考题 SQL的全局约束是指基于元祖的检查子句和（）。A、非空值约束B、域约束子句C、断言D、外键子句
查看答案
考题 单选题SQL基本表的创建中是通过哪个子句实现参照完整性规则的（）。A 外键子句B 主键子句C 检查子句
查看答案
考题 单选题子句是由文字的（）组成的公式A 析取B 合取C 蕴含D 双条件
查看答案
考题 多选题概念原则是指具体整合这些定义特征的规则，包括（）A肯定B否定C关系D合取E析取
查看答案
考题 单选题消解是一种可用于一定的（）的重要推理规则。A 子句B 双条件C 合取公式D 蕴含公式
查看答案
考题 单选题基于规则的正向演绎系统的子句形式（）A 子句的合取式（合取范式）B 子句的析取式（析取范式）C 文字的析取式D 文字的合取式
查看答案
考题 单选题SQL的全局约束是指基于元组的检查子句和( )。A 非空值约束B 域约束子句C 断言D 外键子句
查看答案
考题 多选题基于规则的正向演绎系统的使用条件（）A事实表达式是任意形式B规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式C目标公式为文字析取形D目标公式是任意形式
查看答案
考题 单选题基于规则的正向演绎系统的的子集形式（）A 子句的合取式（合取范式）B 子句的析取式（析取范式）C 文字的析取式D 文字的合取式
查看答案
考题 多选题基于规则的逆向演绎系统的使用条件（）A事实表达式是文字合取形式B事实表达式是任意形式C规则形式为：W→L或W→L1∧L2其中L为单文字，W为任意形式。D目标公式是任意形式
查看答案
考题 填空题在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。
查看答案
考题 多选题求取子句集的步骤包括以下步骤：消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、（）。A将母式化成合取范式B消去全称量词C消去合取连结词D更改变量名
查看答案
考题 单选题根据反映事物属性的数量及其相互关系把概念分为合取概念、析取概念和关系概念。铅笔、毛笔、钢笔属于下面的哪种概念（）A 关系概念B 具体概念C 合取概念D 析取概念
查看答案
热门标签
最新试卷