首页/ 题库 / [填空题]

合一算法:求非空有限具有相同谓词的答案

合一算法:求非空有限具有相同谓词名的原子公式集的()

填空题
2022-04-19 08:06
查看答案

正确答案
最一般合一(MGU)

试题解析

感兴趣题目
谓词公式与其子句集的关系是()。
设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式∃x(P(x)∨Q(x))在哪个个体域中为真?(  )
归结方法将所有的谓词公式均化简为子句,致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
基于规则的演绎系统将所有的谓词公式均化简为子句,致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
合一算法:求非空有限具有相同谓词名的原子公式集的()
由计算机技术引起了人工智能问题
具有相同属性的实体必然具有共同的特征和性质,用实体名及其属性名的集合来抽象和刻画同类实体,称为()
下面的排序算法中,初始数据集的排列顺序对算法的性能无影响的是()
下面排序算法中,初始数据集的排列顺序对算法的性能无影响的是()
在计算机科学领域中,算法分为两类:数值型算法和非数值型算法。下面的算法,属于数值算法类的是(46)。
机器翻译是计算语言学的一个分支,是人工智能的终极目标之一,具有重要的科学研究价值。()
()是一个具有大量的专门知识与经验的程序系统,它应用人工智能技术和计算机技术,根据某领域一个或多个专家提供的知识和经验,进行推理和判断,模拟人类专家的决策过程,以便解决那些需要人类专家处理的复杂问题
相关题目

18.计算机、原子能和空间新技术引发军事变革,标志着当代军事新发展。

You can _____ some bottles of wine, or some chocolates, or a bunch of flowers.

A campus emergency ______ occur at any time of the day or night, weekend, or holiday, with little or no warning.

下列原子或离子中,具有与Ar原子相同电子构型的是( )
设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式 x(P(x)Q(x)在哪个个体域中为真 ( )
设G、H是一阶逻辑公式,P是一个谓词,G=xP(x), H=xP(x),则一阶逻辑公式GH是( ).
91下列原子或离子中,具有与Ar原子相同电子构型的是( )
人工智能就是计算机科学的运用。
病例对照研究进行统计性推断时不匹配分层资料总的OR值计算公式是
谓词公式与其子句集的关系是()。
人工智能是计算机科学的一门研究领域,请问什么是人工智能?
目前,智能化技术主要侧重于研究智能计算机和人工智能等问题。
通信技术、计算机技术及人工智能技术是整个信息技术的核心。
设P是谓词公式,对于P的任何论域,存在P为真的情况,则称P为()。
信息技术以微电子技术为基础,包括通信技术、自动化技术、微电子技术、光电子技术、光导技术、计算机技术和人工智能技术等。
信息技术以微电子技术为基础,包括通信技术、自动化技术、微电子技术、光电子技术、光导技术、计算机技术和人工智能技术。()
信息化社会的显著特征是计算机、互联网、物联网技术发展,人工智能技术进步。
在谓词公式中,紧接于量词之后被量词作用的谓词公式称为该量词的()。

合一算法:求非空有限具有相同谓词名的原子公式集的()

合一算法:求非空有限具有相同谓词名的原子公式集的()。
广告位招租WX:84302438

免费的网站请分享给朋友吧