基于高阶逻辑的双基融合机制

随着知识库规模的扩大及结构的日趋复杂,一阶逻辑表达能力有限的问题暴露得越来越严重,基于高阶逻辑的知识表示显得尤为必要.原有基于KDK和KDK*的研究必然导致向高阶逻辑研究的拓展.首先概述了基于知识库的知识发现,然后介绍了高阶逻辑知识表示语言Escher、双基融合机制KDK和KDK*,最后在高阶逻辑背景下,扩展双基融合机制的内涵,给出了面向高阶逻辑的KDK*过程模型逻辑等价定理.

专家系统中基于认知的知识自动获取机制

针对专家系统中知识自动获取的瓶颈问题,从专家系统自身的潜在规律(机理)出发来改变知识发现的固有流程、形成新的知识发现过程模型和构建基于认知的知识自动获取机制,并利用T型协调器,根据基础知识库中的'知识短缺'自动地启发定向挖掘知识的途径,有效地克服领域专家的自身局限,而且做到只对那些有可能成为新知识的假设进行评价,最大限度地减少评价工作量,由此形成知识自动获取机制。这一机制在很大程度上解决了智能系统中的知识自动获取的瓶颈问题。

面向复杂系统的知识发现过程模型KD(D&K)及其应用

为适麻复杂系统的知识发现的需要,在双库协同机制及其诱导的KDD过程模型,双基融合机制及其诱导的KDK过程模型的基础上,借鉴协同原理,提出了将KDD与KDK有机地融合在一起的、双库协同机制与双基融合机制协同工作的知识发现过程模型KD(D&K);描述了KD(D&K)的总体流程、动态知识库系统及其特征;并在农业施肥和植保领域的应用过程中得到验证．

基于内在认知机理的知识发现理论及其应用

介绍了基于内在认知机理的知识发现理论KDTIM这一新框架,主要内容包括:3个奠基性的机制——双库协同机制、双基融合机制、信息扩张机制;由此诱导出的5种新知识发现过程模型,派生出的9种新的技法,引发出的4类新型实用智能系统．基于KDTIM开发的知识发现软件系统ICCKDSS,及其典型应用．并对KDTIM与相关工作进行了比较．

基于知识发现创新技术的专家系统新构造

为解决“知识匮乏”这一专家系统中的瓶颈问题,提出了基于数据库与知识库协同机制的综合过程模型KD(D&K)及其相关的创新技术,进而提出了基于知识发现的专家系统ESKD新构造.作为ESKD的核心知识获取构件KD(D&K)由KDD*和KDK*两部分组成,对基于双库协同机制的KDD*过程模型和基于双基融合机制的KDK*过程模型分别做了介绍;给出了ESKD的总体框架;并讨论了ESKD的一些子系统和动态知识库系统;最后,在农业真实数据库上验证了ESKD的有效性和先进性.ESKD有望把专家系统推向新阶段.