已知两子句L1∨α和～L2∨β,如果L1和L2具有最一般合一者σ，那么通过消解可以从这两个父辈子句推导出一个新子句βσ。-无忧在线题库-无忧题库

已知两子句L1∨α和～L2∨β,如果L1和L2具有最一般合一者σ，那么通过消解可以从这两个父辈子句推导出一个新子句βσ。

判断题

2018-08-11 23:06:56

0380

A.错误
B.正确
参考答案：……

查看答案

科目：人工智能

学科：计算机科学与技术

感兴趣题目

诊断专家系统通过对过去和现在已知状况的分析，推断未来可能发生的情况。

人工智能的一般研究目标是创造有用的灵巧程序和更好地理解人类智能。

在遗传算法中，用选择操作评价个体的好坏程度。

工作存储器是基于规则的专家系统可有可无的模块。

专家系统把其应用领域的问题求解知识单独组成一个实体，即为知识库。

在启发式搜索中，定义估计函数时可以参考的思路有一个结点到目标结点的某种距离或差异的度量、一个结点处在最佳路径上的概率和根据经验主观打分。

规则评价次序的编排应该使不论采取什么次序，都得到相同的结论。

计算智能系统的典型特点是需要的存储空间小。

遗传算法的特点是对参数集合的编码进行进化、从问题解的编码组开始开始搜索、利用导数信息来指导搜索、利用选择、交叉、变异等算子进行随机操作。

机器学习是一种同人类学习完全相同的方法。

20世纪30年代和40年代，博弈和关于计算本质的新思想对人工智能的形成产生了重要影响。

消解反演证明定理的思路是，给定一个公式集S（前提条件）和目标公式L（结论），通过反演来求证目标公式L，其证明过程包括()。

相关题目: 以下哪项不属于申请ICP许可证的条件（）; 在理论上，加密能够在OSI模型的任何一层上实现，但是实际上最适合加密的有三层，它们是____; 安装WUS服务器对磁盘分区的要求是（）。; 下列关于组织单位的说法，正确的是（）。; 从出现的先后顺序来划分，出现了第五媒体的说法，指的是（）。; 以下函数的返回结果是（）intfunction(char*x){ char*p=x;while(*p++);return(p-x-1); }; 以下叙述正确的是(); 阅读下列代码publicclassTest2005{publicstaticvoidmain(Stringargs[]){Strings=″Test″；Switch(s){case″Java″：System.out.print(″Java″)；break；case″Language″：System.out.print(″Language″)；break；case″Test″：System.out.print(″Test″)；break；}}}其运行结果是_________。; 扩展名为mnx的文件是(); 下述关于数据库系统的正确叙述是____; 在FoxPro中，执行下列命令后，输出的结果是____。　　　A=SPACE（3）　　　B＝“456”＋A＋“123” 　　　？LEN（B）; 一旦URL映射到一个指定的文件，那么通常使用（）协议来检索相应的资源; 要想合并两个单元格，应该使用（）属性; 在同一站点中的网页之间建立的链接是()。; 目前在Internet上应用最为广泛的服务是FTP服务。

这里可作为广告区域

专业远程教育题库

无忧题库

微信扫码关注无忧题库公众号