知识库维护过程中检查其协调性的有效方法

来源 :软件学报 | 被引量 : 0次 | 上传用户：romeolg

【摘要】

：

本文首先描述了知识库维护过程中的协调怀问题，然后给出了扩充逻辑程序设计的框架，在此框架下，每个逻辑程序等价于一个知识库，为了检查知识库的协调性，本文为知识库中的推理规则构

【作者】

：

沈宁川龙翔

【机构】

：

北京航空航天大学计算机系

【出处】

：

软件学报

【发表日期】

：

1997年1期

【关键词】

：

知识库协调性扩充逻辑程序设计 Knowledge base consistency checking extended logic programmi

【基金项目】

：

国家863高科技项目基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文首先描述了知识库维护过程中的协调怀问题，然后给出了扩充逻辑程序设计的框架，在此框架下，每个逻辑程序等价于一个知识库，为了检查知识库的协调性，本文为知识库中的推理规则构造了正支持集和负支持集，并给出了一定定义；基于这些概念和定义，提出了知识库维护过程中检查知识库协调性的一种有效方法，并证明相关的定量；基于此方法，实现了一个算法ＣＨＩＭＥ，并给出了用ＣＨＩＭＥ分析一些库的实验结果，本文还提出了一些

其他文献

三维表面模型的快速切割算法

讨论了一个三维表面模型的快速切割算改进的ＭＣ的方法抽取，构成了连工面的分组信息以及构成曲面的三角面片的层次包围盒信息，并利用记录了上术空话Ｂ＋树型，完成了三维表面模型的快速切

期刊

三维表面模型快速切割医学图象髋关节手术D surface model hierarchical bounding boxes 3D coherenc

体重曲线偏离243例分析

<正> 生长监测是世界卫生组织(WHO)向发展中国家推荐的一种较好的儿保措施,目前已在世界上80多个国家推广使用。通过对小儿体重的连续测量观察,可及早发现小儿体重不增、下降

期刊

体重曲线偏离生长儿童

神经网络学习中“附加样本”的技术

本文将网络的先验知识和网络的样本集知识有机结合起来，提出“附加样本”的神经网络新学习算法，其计算复杂性仅为多项式，用该算法可以设计出性能更好的神经网络，本文第１节简单介绍

期刊