层叠推理机的设计与实现

在充分理解现有本体推理机的相关技术基础上,提出一种层叠推理机,研究层叠推理机的设计和实现方法。在实验中运用了Pellet推理机和Jena的自定义规则,实现了本体的语义推理。实验结果表明,该方法能够弥补传统推理机中采用单一的语义推理技术所引起的不足,比单一的推理机更有效地挖掘出本体中包含的隐藏信息。     

一种医疗智能诊断推理机的设计与实现

本文根据医学专家对疾病诊断的思维特点,通过对医疗智能诊断推理机的设计与实现方法的探讨,提出了一种利用正、反向推理相结合的方式对疾病进行初步诊断和鉴别诊断的推理策略。     

水稻专家系统推理机的设计

推理机的设计是构建农业专家系统的核心组成部分之一。该文主要介绍推理机的推理方法和控制机制,以及介绍了在水稻水肥调控专家系统的推理机制的设计及实现。     

专家系统推理机在Windows下的实现

本文提出了一种称为“分类产生式规则”的专家系统知识表示方法,该方法实质性地改进行了传统的产生式规划,可有效地解决了基于规则的专家系统存在的知识组合爆炸和搜索匹配费用高的问题,同时,较好地解决了专家系统对数值计算无能为力的问题。采用分类产生式规则,已成功地建造了多个实用专家系统和一个专家系统开发工具。文中主要介绍了这种方法的表示形式、推理控制策略和在ＢｏｒｌａｎｄＣ＋＋ｆｏｒ Ｗｉｎｄｏｗｓ下推理机     

基于多故障诊断专家系统的推理机的实现

根据实际项目的开发，介绍了多故障诊断专家系统知识库的系统结构、知识表达法及推理机制。重点讨论了一种新型的基于产生式规则的推理机制，它能快速有效地解决多故障诊断专家系统中的推理问题。     

基于论据系统的带权定性概率推理机

定性概率推理是不确定性推理领域的一种重要方法。将定性概率推理的论据系统方法和抽象系统方法二者合而为一,在定性概率推理机(QPR)的基础上提出基于论据系统的带权定性概率推理机(WQPR)。首先扩展了带权定性概率网的定义,讨论了带权定性影响的对称性;其次将带权定性概率推理融入到论据系统中,提出WQPR推理系统,相比QPR能够在更精确的尺度进行不确定性推理,并证明了系统的正确性与完备性。     

本体推理机及应用

随着语义web的迅速发展,基于本体的应用越来越多,本体推理机的应用也越来越为重要。本体推理机可用于推理和查询语义,是实现语义Web的关键技术之一。介绍了本体推理机及其分类、结构以及相关技术,介绍了几种典型的本体推理机;分析了本体推理机的应用及其发展的趋势。     

Tuili—Ⅱ里的属性谓词及其实现

Ｔｕｉｌｉ－Ⅱ是一个基于Ｔｕｉｌｉ的知识程序设计语言，属性谓词是其中的一种新的知识表示方法。属性谓词体现了逻辑推理语言Ｔｕｉｌｉ与框架／对象在一定意义下的结合。本文主要介绍属性谓词的提出和基本思想，给出属性谓词说明及其使用的语法定义、语义及解释。讨论了属性谓词的实现思想和主要算法，并给出一个由属性谓词表示分类知识的专家系统原型的例子。     

基于多故障诊断专家系统的推理机的实现

根据实际项目的开发,介绍了多故障诊断专家系统知识库的系统结构、知识表达法及推理机制.重点讨论了一种新型的基于产生式规则的推理机制,它能快速有效地解决多故障诊断专家系统中的推理问题.     

基于医疗智能诊断混合算法的推理机设计

根据医学专家对疾病诊断的思维特点,通过对医疗智能诊断推理机的设计与实现方法的探讨,提出了一种利用正、反向推理相结合的方式对疾病进行初步诊断和鉴别诊断的推理策略。     

模式推理在归纳程序综合中的应用

本文给出了利用模式推理技术检查归纳假设合理性的若干判定条件.由于这种检查属于语法范畴,故能由系统自动完成,从而降低了假设相容性测试的开销,提高了逻辑程序归纳综合的效率.     

基于模糊推理的专家系统设计与实现

用计算机模拟人类不确定性推理的思维过程具有极其重要的理论和实际应用的意义。本文基于模糊推理理论,采用模糊知识表示方法和模糊推理的技术,介绍了一个以法医人体骨骼人识别问题为背景的专家系统的实现方法。     

一个面向对象的推理机OOIE的设计与实现

本文提出了面向对象的推理机的设计思想，并在Ｗｉｎｄｏｗｓ环境下用ＢｏｒｌａｎｄＣ＋＋４．０编程实现，它提供多种推理方法和多种非精确性推理策略，具有定性推理与定量计算相结合的功能，已开发出多个实用专家系统，文中着重讨论了面向对象的推理模型、非精确性推理模型、非精确性推理、模糊矩阵以及利用ＯＷＬ的实现技术。     

模糊智能信息系统的设计与实现

本文介绍了一个基于模糊关系数据库及模糊推理规则概念的原型模糊信息系统，该系统可对非数据２以及知识描述中的不确定性进行有效的处理。系统使用了类Ｐｒｏｌｏｇ模糊模型，具有较强的推理能力。     

PROLOG与DBMS系统连接的实现方法

本文介绍了实现PROLOG-DBMS系统的几种方法,如:解释,编译,半解释和半编译方法.并介绍了各种方法的优点和不足,尤其是半解释方法和半编译方法的优缺点的比较.     

C程序设计自动化逆过程的实现

本文阐述Ｃ程序设计自动化逆过程的实现，即阐述从Ｃ程序设计自动生成用图形语言－ＰＡＤ图表示的设计思想，关键技术，系统特点以及对ＰＡＤ图式的扩充与细化技术。     

多系统通用界面软件的设计与实现

本文从如何提高软件可移植性问题出发，论述了开发多系统通用界面软件的应用需求，软件设计总体目标及其设计思想；程序的结构设计、软件设计和实现中的主要技术关键和难点，以及操作系统原命令语言应用机制和系统库作支撑环境的设计特点。文章最后阐述了人机界面标准化问题的重要性。     

一种快速模糊推理系统

提出一种新的模糊推理系统，其模糊知识库具有紧致模糊规则库，即规则集为仅存储规则后的完全规则集，推理过程中可以根据当前输入信号值直接寻址被激励的模糊规则，从而只是有选择地执行被激励的规则，其优点是可以提高模糊推理速度，减少规则库存储容量，针对模糊芯片的VLSI实现，提出了可以根据输入信号值直接寻址被激励规则的电路。     

模糊控制推理ASIC

模糊逻辑控制（ＦＬＣ）对于复杂的难定义的控制过程，具有简单而有效等许多优越性。近年来已越来越多也得到工业界的重视。本文提出一种模糊控制推理的ＡＳＩＣ方法，具有简单，灵活性和可扩充性特点，然后介绍一个基于ＦＰＧＡ的实验系统ＦＣＩＳ原型。