填空题合一算法：求非空有限具有相同谓词名的原子公式集的（）

题目
填空题
合一算法：求非空有限具有相同谓词名的原子公式集的（）
相似考题

1.测量6岁儿童200名，求平均身高宜选用的公式是

2.归结方法将所有的谓词公式均化简为子句,致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。()此题为判断题(对，错)。

3.仅个体变元被量化的谓词称为()A.一阶谓词B.原子公式C.二阶谓词D.全称量词

4.利用几何级数求末项的公式推算若干年后的总人数，这是人口总数预测方法中的（ ）。A．直接推算法B．间接推算法C．要素推算法D．因素推算法

参考答案和解析
正确答案： 最一般合一（MGU）
解析： 暂无解析
更多“合一算法：求非空有限具有相同谓词名的原子公式集的（）”相关问题

  • 第1题：

    霍夫曼算法是求具有最【 】带权外部路径长度的扩充二叉树的算法。


    正确答案：小
    小 解析：霍夫曼算法是用来求具有最小带权外部路径长度的扩充二叉树的算法。

  • 第2题：

    补充程序Ccon0310.C,使其实现用递归算法求平方根。求平方根的迭代公式如下:


    /**/doublemysqrt（double，double）；/**/
    X1=/**/（x0+a/x0）/2；/**/
    Ymysqrt（/**/a，x1/**/）；

  • 第3题：

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


    正确答案:正确

  • 第4题：

    在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。


    正确答案:辖域

  • 第5题：

    合一算法：求非空有限具有相同谓词名的原子公式集的（）


    正确答案:最一般合一（MGU）

  • 第6题：

    利用几何级数求末项的公式推算若干年后的总人数，这是人口总数预测方法中的（）。

    • A、直接推算法
    • B、间接推算法
    • C、要素推算法
    • D、因素推算法

    正确答案:A

  • 第7题：

    用退算法求鱼类以往各龄生长情况的公式为（）。


    正确答案:Ln=RnL/R

  • 第8题：

    求合力的方法有图解法和公式计算法两种。


    正确答案:正确

  • 第9题：

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

    对

    B

    错


    正确答案： 错
    解析： 暂无解析

  • 第10题：

    单选题
    仅个体变元被量化的谓词称为（）
    A

    一阶谓词

    B

    原子公式

    C

    二阶谓词

    D

    全称量词


    正确答案： B
    解析： 暂无解析

  • 第11题：

    填空题
    谓词公式与其子句集的关系是（）。

    正确答案： 包含
    解析： 暂无解析

  • 第12题：

    填空题
    合一算法：求非空有限具有相同谓词名的原子公式集的（）。

    正确答案： 最一般合一
    解析： 暂无解析

  • 第13题：

    数据结构被形式地定义为(K，R)，其中K是( )的有限集，R是K上的关系有限集。

    A．算法

    B．数据元素

    C．数据操作

    D．逻辑结构


    正确答案：B

  • 第14题：

    基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。


    正确答案:错误

  • 第15题：

    仅个体变元被量化的谓词称为（）

    • A、一阶谓词
    • B、原子公式
    • C、二阶谓词
    • D、全称量词

    正确答案:A

  • 第16题：

    谓词公式与其子句集的关系是（）。


    正确答案:包含

  • 第17题：

    稳定流时用什么公式求流量？非稳定流流量一定时用什么公式求流量？第一类越流系统地下水流向承压完整井的非稳定运动用什么公式求流量？ 


    正确答案: （1）裘布依公式。
    （2）泰斯公式。
    （3）汉土斯公式。

  • 第18题：

    具有相同属性的实体必然具有共同的特征和性质，用实体名及其属性名的集合来抽象和刻画同类实体，称为（）

    • A、实体型
    • B、实体集
    • C、码
    • D、属性

    正确答案:A

  • 第19题：

    下列关于Averagea函数，说法正确的是（）

    • A、求单元格中所有非空数据的平均值
    • B、求单元格中所有非空数据的和
    • C、求单元格中数字的算数平均值
    • D、求单元格中数字的和

    正确答案:A

  • 第20题：

    问答题
    稳定流时用什么公式求流量？非稳定流流量一定时用什么公式求流量？第一类越流系统地下水流向承压完整井的非稳定运动用什么公式求流量？

    正确答案： （1）裘布依公式。
    （2）泰斯公式。
    （3）汉土斯公式。
    解析： 暂无解析

  • 第21题：

    填空题
    在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。

    正确答案： 辖域
    解析： 暂无解析

  • 第22题：

    判断题
    基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
    A

    对

    B

    错


    正确答案： 对
    解析： 暂无解析

  • 第23题：

    单选题
    具有相同属性的实体必然具有共同的特征和性质，用实体名及其属性名的集合来抽象和刻画同类实体，称为（）
    A

    实体型

    B

    实体集

    C

    码

    D

    属性


    正确答案： A
    解析： 暂无解析

  • 第24题：

    单选题
    下列关于Averagea函数，说法正确的是（）
    A

    求单元格中所有非空数据的平均值

    B

    求单元格中所有非空数据的和

    C

    求单元格中数字的算数平均值

    D

    求单元格中数字的和


    正确答案： A
    解析： 暂无解析

相关内容