具有面向对象特征的知识库系统

本文讨论了具有面向对象特征的知识库系统KBASE~ 的数据模型、语言及实现。KBASE~ 的数据模型可以方便地支持对象标识、类层次、多继承等面向对象概念。描述性查询语言KBL是DATALOG针对于非一范式关系模型的扩充。本文重构了KBL的语义理论框架,提出了通过计算相关类的下确界来解决属性继承中的冲突问题,通过在KBL程序中添加规则来实现实例继承的方案,本文说明了KBL程序可以转换成语义等价的DATALOG程序,描述了这种转换的基本思想,探索了知识库和面向对象数据库有机结合的可行途径。     

专家系统及其实现方法

人类专家具有某领域丰富的学识以及在长期实践中积累起来的专门知识，故能正确和快速地解决专门问题而起重大作用，随着人口高龄化和退休，专家的宝贵经验和知识诀窍需要继承，故没想由计算机软件执行专家工作，象专家一样分析处理问题，这就是专家系统。使没有经验的操作员借专家系统也可以达到专家水平c国际上把人工智能视为本世纪末至下世纪的重大技术，专家系统是人工智能重要的领域，优点很多，成功例子极多，大家都很有兴趣，但要实现好象深不可测，需要建立知识库，研究推理方法，特别困扰的是熟悉生产操作或其他专业知识的领域专家…     

智能化CAPP工艺数据库/知识库的管理

智能化CAPP(Intelligent CAPP,ICAPP)是AI和CAPP技术相结合的综合性研究领域。它将AI的理论和技术用于CAPP之中,使CAPP系统能够在一定程度上具有工艺设计师的智慧和思维方法,具有处理多意性和不确定性问题的能力,可以在一定程度上模拟领域专家进行工艺设计,使工艺设计中的许多模糊问题得以解决。在箱体、壳体类零件的工艺设计中,由于它们结构形状复杂,加工工序多,工艺流程长,而且可能存在多种加工方案,其工艺设计的优劣主要取决于人的经验和智慧。因此,一般CAPP系统很难满足这些复杂零件的工艺设计要求。而ICAPP系统能汇集…     

智能CAD中KBMS与DBMS的组织与界面

本文讨论了智能CAD中图形数据库管理系统DBMS与知识库管理系统KBMS的组织与实现,同时结合火炮设计专家系统GMCADES讨论了DBMS与KBMS的接口问题。     

规则库冗余性控制策略的研究

冗余性控制是研究知识库组织、管理和维护中的一个问题．本文通过对智能型机译系统中规则知识表示方法的分析，提出了将冗余规则划分为显式冗余规则和隐式冗余规则分别予以处理的思想，给出了显式冗余规则的判别算法和部分隐式冗余规则的检测标准，并提出了控制机译系统规则库冗余性的基本原则.     

回转体零件的CAPP专家系统研究

提出了一种基于规则的CAPP专家系统。系统针对回转体零件 ,选择产生式知识表达方法 ;并且根据正向推理的决策机制 ,提出了工艺路线的决策规则和相应的算法。在此基础上 ,建立了系统模型和简单的数据库     

一种应用于飞航导弹测试诊断中的混合逻辑模型

提出了一种飞航导弹测试诊断中故障诊断的模型,并给出了该模型基于飞航导弹无线电高度表的设计实现方法步骤.     

分布式知识库系统研究

分布式知识库系统研究方兴未艾,日益深入。本文提出了一种以知识分布模型为基础的分布式知识库系统的一般体系结构,简要介绍了结合项目投标等应用背景进行的实验系统DKBS/IDKE,同时本文也说明了以此为 Testbod (试验台)开展分布式知识库系统以及相关领域的研究体会和进一步的问题。