扩充逻辑程序设计的R－演算──知识库维护的操作方法

本文首先介绍了知识库维护过程中诸如知识库序列、新规则、用户反驳以及重构等概念；然后给出了一个扩充逻辑程序设计的框架，在这一框架下，每个逻辑程序等价于一个知识库；进一步定义了一个转换系统，称为扩充逻辑程序设计的Ｒ－演算，对一个给定的知识库和用户反驳，此演算可以导出知识库的最佳修正；同时证明了该演算的可靠性和完备性；另外，对本文的工作与其他相关工作进行了比较；最后，给出了本文的结论．     

扩充逻辑程序设计的R—演算—知识库维护的操作方法

本文首先介绍了知识库维护过程中诸如知识库序列、新规则、用户反驳以及重构等概念；然后给出了一个扩充逻辑程序设计的框架，在这一框架下，每个逻辑程序等价于一个知识库；进一步定义了一个转换系统，称为扩充逻辑程序设计的Ｒ－演算，对一个给定的知识库和用户反驱，此演算可以导出知识库的最佳修正；同时证明了该演算的可靠性和完备性；另外，对本文的工作与其他相关工作进行了比较；最后，给出了本文的结论。     

一种基于关系型构造的知识库协调性维护方法——序化分析法

本文提出了一种基于关系型构造的知识库协调性维护方法：序化分析法。这种方法可以在训管理层次上对推理知识进行知识冗余、矛盾和蕴涵等语义检查，并在工程知识处理平台ＲＥＫＰ上实现，在较大范围内处理了知识库的协调性问题。     

知识库系统的原理与应用

本文简要概述了基于“产生式规则”,“逻辑”和“框架”的知识库系统的原理,结构及其应用问题。     

KBASE—P知识库系统的设计与实现

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中。ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言。ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行Ｉ／Ｏ和ＤＢ更新操作（用扩充的内部谓词）。由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小。因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言。ＫＢＡ     

KBASE－P知识库系统的设计与实现

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中．ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行１／Ｏ和ＤＢ更新操作（用扩充的内部谓词）．由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小．因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ系统支持逻辑程序设计语言（ＫＢＡＳＥ－Ｐ语言）的程序开发，提供了文本编辑、文件管理、谓词管理、事实操作、Ｄａｔａｌｏｇ查询、ＳＱＬ查询等功能．本文详细介绍了ＫＢＡＳＥ－Ｐ系统的设计和实现．     

专家系统中知识库的维护

从添加规则、修改规则、删除规则等方面提出了知识库的维护方法,给出了知识库中冗余规则、矛盾规则、循环规则和孤立规则的检测方法。     

基于知识库的IFC模型检查方法研究

随着建筑信息模型(BIM)技术在国内外建筑领域的发展,工业基础类(IFC)作为BIM开放数据标准得到了广泛应用。IFC模型的几何与语义表示方式较为复杂,而且模型规模逐渐增大。现有的基于内存或固定路径查询的模型自动检查方法面临着时间、空间效率与查询复杂度的挑战。为此,提出一种基于知识库的IFC模型检查方法,通过将IFC模型解析与建模为属性标签图(LPG),并存储入图数据库,形成了可推理与灵活查询的结构化知识;依托知识库的建立,提出了基于属性链路推理与剪枝的IFC语义信息检查算法和相关几何信息检查算法,开发了IfcGraph自动化检查系统,实现了模型高效存储、灵活检查,提高了模型自动检查的效率与易用性。最后,通过实际工程项目对提出的方法与相应系统进行了可行性的验证。     

知识库的一致性问题和检查方法

知识库中存在的不一致性是影响整个系统性能的重要因素之一。在系统建立初期,由于知识库比较小,内容也比较简单,只要设计人员或知识工程师对初始知识模型进行反复推敲和精心构造,这类问题还是比较容易防止的。但是随着时间的推移,人们对知识库在最初设计阶段的种种考虑逐渐淡漠,同时由于知识库中新的知识不断加入,知识库越来越大,内容也越来越丰富复杂,这时知识库中各知识单元之间的相互影响和相互联系就随之变得复杂,难以跟踪和捉摸了。在这种情况下,知识库中的不一致性检测、识别和纠正显得更为重要。1、知识库的一致性问题知识库系统的组织按其结构可以划分为事实性知识(领域知识)和控制性知识,它     

用于一致性检查的知识库Petri网模型

知识库是一致性是决定专家系统效率及求解正确性的关键因素。本文以Ｐｅｔｒｉ网为工具对知识库进行模拟分析，把知识库一致性的检查化简为线性代数问题，把这一方法应用于分布式知识库系统，首次得到了检查其一致性的形式方法。本文最后给出了一致性检查的充分必要条件，为建立（分布式）知识库的自动维护系统打下了基础。     

一种检查层次式有穷状态机一致性的方法

本文介绍了一种层次式有穷状态机（HFSM）的代数表示,并在此基础之上提出了HFSM的一致性检查方法。这种检查方法主要用于检测HFSM中的不确定性状态转换和不可达状态。     

一种基于Petri网思想的知识库的动态维护方法

本文研究了基于规则的专家系统知识库的维护问题，在添加一条新规则后，知识库可能出现矛盾规则，循环规则，冗余规则，从属规则等。文中详细给出了基于Ｐｅｔｒｉ网思想的对知识库进行维护的算法，进而决定是否添加该规则，从而保证了知识库的一致性，为专家系统进行正确推理，提高推理速度打下了坚实的基础。     

AN APPROACH TOWARD CONSISTENCY DEGREES OF FUZZY THEORIES

In fuzzy logic-in wider, but also in narrow sense-the problem of consistency has been discussed more or less occasionally from different points of view. Up to now, however, it has usually not been taken as really important. This may be partly caused by a rather restricted understanding of what is to be meant by consistency or inconsistency in fuzzy logic in the wider sense-e.g. in fuzzy control as one of the main applicational fields of fuzzy logic.

In this paper we deal with fuzzy theories in the realm of the fuzzy logic in narrow sense. Based on the fact that usually an "interactive", r-norm based conjunction is considered together with the min-based conjunction one has in a natural way two different consistency condition. We look here at the weaker one.     

HIERARCHICAL ARC CONSISTENCY FOR DISJOINT REAL INTERVALS IN CONSTRAINT LOGIC PROGRAMMING

There have been many proposals for adding sound implementations of numeric processing to Prolog. This paper describes an approach to numeric constraint processing which has been implemented in Echidna, a new constraint logic programming (CLP) language. Echidna uses consistency algorithms which can actively process a wider variety of numeric constraints than most other CLP systems, including constraints containing some common nonlinear functions. A unique feature of Echidna is that it implements domains for real-valued variables with hierarchical data structures and exploits this structure using a hierarchical arc consistency algorithm specialized for numeric constraints. This gives Echidna two advantages over other systems. First, the union of disjoint intervals can be represented directly. Other approaches require trying each disjoint interval in turn during backtrack search. Second, the hierarchical structure facilitates varying the precision of constraint processing. Consequently, it is possible to implement more effective constraint processing control algorithms which avoid unnecessary detailed domain analysis. These advantages distinguish Echidna from other CLP systems for numeric constraint processing.     

R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance

Sme concepts used in knowledge base maintenace,such as sequence,new law,user‘s rejection and reconstructions of a knowledge base,are first introduced,and then a framework for extended logic programming(ELP)is given,where an extended logic program is equivalent to a knowledge base.A transition system called R-calculus for ELP is provided.For a given knowledge base and a user‘s rejection,the R-calculus for ELP will deduce best revisions of the base.The soundness and the completeness of the R-calculus for ELP are proved,and the R-calculus for ELP is implemented in Prolog.In addition,the research is compared with other relevant work.