论文部分内容阅读
专家系统知识库中的知识可看作为一个推理网络。推理网络可以分解为若干个与或图。本文以与或图为基本考察对象,采用割集概念和布尔运算给出知识检验的方法。可对知识库知识进行一致性和完备性检验。
专家系统中知识一致性和完备性检验
【摘 要】
：
专家系统知识库中的知识可看作为一个推理网络。推理网络可以分解为若干个与或图。本文以与或图为基本考察对象,采用割集概念和布尔运算给出知识检验的方法。可对知识库知识
【机 构】
：
西安交通大学,西安交通大学
【出 处】
：
计算机工程与应用
【发表日期】
：
1989年9期
其他文献
以研究性学习理论为指导,利用地区历史资源拓展高中历史教学活动,转变传统教学方式和学习方式,为学生构建开放式学习环境.拓展历史教学的形式和渠道,积极开发地方和校本课程,
小样本数据不能对分类器进行充分的训练。传统的分类器方法一旦设计好,再也不会有任何改进.本文将人工智能的思想、方法应用于分类器设计中,提出了智能分类器概念。智能分类
社会称谓语在交际中使用的范围很广和频率也很高，对于留学生而言，要想熟练地运用汉语进行交际，离不开社会称谓语的使用。语言与文化是密切联系的，针对韩国留学生的社会称谓语教学
通过对农村公路通达深度的分析,提出了农村公路近期发展规模和资金需求预测,为指导农村路网规划提出参考依据.
本文全面分析了dBASEⅢ中的数据库DBF文件和SQL/DS的数据库表文件,并提出了一种把微机dBASE—Ⅲ中的文件装入到IBM4381机中的SQL/DS表文件的方法。
在Visual FoxPro 6.0中可利用DLL API来扩展其功能,介绍在Visual FoxPro 6.0中调用DLL API的方法.
知识经济时代的到来，计算机和信息技术的飞速发展，使企业也迎来了新的信息时代。会计作为经济管理的重要组成部分、社会经济计量的支柱，从内容到形式总是体现着各个时代经济发展
<正> 一、美国两大微处理器厂商的研制计划 Intel公司90年代的微处理器战略进入90年代以后,美国Intel公司即先声夺人地提出了一个将设计理论、制造工艺,批量生产技术相互融合
5.1 引言 关于程序正确性证明这一领域目前已进行了大量的研究。这里,为了便于讨论,我们把这些研究分成如下几方面: 1.关于证明(部分)正确性和终止的证明技术。 2.有关程序正
期刊