知识库中近似推理命题的Fuzzy表达及其求值

面向知识的计算机处理,关键在探求对包含主观不确定性命题的表达和求值。本文根据Zadeh的近似推理理论,给出在含有语言信息的知识库查询中,以一种可表达思维模糊特征的Fuzzy零函数Z(s)作为执行Fuzzy程序的可优化判据,并给出著名Fuzzy谓词“a few”的解。     

试论假言连锁推理的完善体系

对现行高等院校形式逻辑学的假言连锁推理体系做了进一步具有探索性的研究，补充完善了假言连锁推理体系。     

充要条件假言命题也可作二难推理的前提

现行普通逻辑理论把二难推理的假言前提局限于充分条件假言判断和必要条件假言判断，而把充要条件假言判断排除在外，从而遗漏了一部分有效式，本文在这方面作一定的探讨，并总结出了二难推理的全部有效式。     

假言推理研究的进程与展望

假言推理是前提中有一个为假言命题,并且根据假言命题前件与后件之间的关系而推出结论的推理。假言推理研究的进程大致可分为两个阶段：第一阶段是从20世纪60年代至70年代末——问题提出阶段,第二阶段是从80年代初至现在——理论发展阶段。纵观假官推理研究的进程,可以发现以往的研究存在着一些缺陷或不足,这是今后关于假言推理研究应该着重关注和解决的问题。     

基于案例推理的知识库系统设计

基于案例推理技术是近年出现的具有一定的代表性的推理技术,利用这种技术进行知识库系统设计可简化问题,提高效率。从基于案例推理机制入手,阐述了基于案例推理知识库系统的工作过程和原理,提出了系统设计的方法。     

窥探充分条件假言命题及其推理的思维张力

充分条件假言命题是从类似如果……那么……作为连接词的复句中提炼出的思维结构。该结构刻画着人们思维中常见的蕴涵关系,即一种情况存在蕴涵另一种事物情况存在的关系。以这种关系为基础构成了人们常用的充分条件假言推理。充分条件假言命题及其推理与思维实际充分结合,就充分彰显人类思维张力,并给予我们巨大的逻辑力量。     

设计与实现计算机推理软件的研究

计算机专家系统是计算机推理软件的典型代表 .本文提出了一种设计与实现计算机推理软件的方法 .该方法将领域理论、知识、经验转换成计算机能够存储、表示和应用的知识库 ,该知识库的内容通过知识转换器完成对知识的识别、分析、数据收集、编码处理、地址分配等 ,随后转换产生用于逻辑推理数据形式的知识规则库文件 .在知识规则库文件的基础上建立一个独立的推理执行系统 ,它采用精确推理的方法 ,依据由知识转换器产生的知识规则库文件 ,实现相应的推理结构确定的逻辑控制 .论述了计算机推理软件的设计思想、总体设计及其特点 ,并介绍了采用计算机编程语言的实现方法     

设计与实现计算机推理软件的研究

计算机专家系统是计算机推理软件的典型代表.本文提出了一种设计与实现计算机推理软件的方法.该方法将领域理论、知识、经验转换成计算机能够存储、表示和应用的知识库,该知识库的内容通过知识转换器完成对知识的识别、分析、数据收集、编码处理、地址分配等,随后转换产生用于逻辑推理数据形式的知识规则库文件.在知识规则库文件的基础上建立一个独立的推理执行系统,它采用精确推理的方法,依据由知识转换器产生的知识规则库文件,实现相应的推理结构确定的逻辑控制.论述了计算机推理软件的设计思想、总体设计及其特点,并介绍了采用计算机编程语言的实现方法.     

基于索引表的专家系统知识库表示与推理应用

知识表示是构造专家系统重要的环节之一.现给出基于索引表的专家系统知识库模型及通用表示格式,同时介绍了满足这种表达方式的推理机制,并将其应用到辣椒营养诊断专家系统中,增强知识库的可维护性和扩展性.     

石油蒸馏故障诊断专家系统知识获取与管理

提出了一种用于石油蒸馏过程故障诊断专家系统的知识获取方法———基于深层知识学习模型，该模型可使专家系统知识库不断自动地趋于完善。同时研究了如何将获得的知识存入知识库中，即对知识库内的知识进行管理。提出了一种基于结点规则的相关矩阵的构造规则间层级关系的知识管理方法，该方法可使知识库避免冗余和矛盾     

用计算机试验获取知识以建立加速器故障诊断原型专家系统

开发的合肥同步辐射加速器故障诊断专家系统（ＨＳＤＥＳ）原型为产生式系统，由人机界面、时序分析器、知识库、“黑板”、推理机、解释子系统和知识获取子系统构成。该原型系统在过去３年已用来处理加速器调试、运行期间记录的与真空有关的故障数据。该原型系统知识库中的部分故障知识是借助于蒙特卡罗模拟、用计算机试验代替物理实验获得的──目前，这些知识从专家和书本都无法获得。     

浮选厂自学习咨询控制专家系统知识库设计

分析了影响浮选厂生产过程各因素的因果关系．根据浮选知识的特性提出了规则／框架表示法，设计了相应的知识库．该方法能自然、完整地表示浮选过程的知识，又便于知识库的维护