基于模糊数学的不精确推理及其实现

探讨基于模糊数学的不精确推理,论述了基于单纯模糊截集的知识表示方法,研究了基于变形空间的模糊推理,引出了一种把产生式规则的所有条件看作一个整体进行处理的新方法,在专家系统开发工具ADEST中实现了这种方法。     

RIF2Jess:应用Jess实现RIF规则推理

在分析W3C推荐标准规则交换格式(RIF)的基础上研究对其推理实现,提出使用通用规则推理引擎Jess实现对RIF格式规则的推理,给出了RIF规则到Jess格式的转换算法及正确性证明,设计了RIF2Jess系统,该系统可以完成RIF规则到Jess格式的转换并调用Jess推理引擎推理出结果.实验结果表明,RIF2Jess可以准确完成转换并推理得到正确结果.     

基于主观Bayes方法的甲状腺专家系统模型

研究并实现了一个基于主观Bayes方法的甲状腺专家系统模型 ,讨论了主观Bayes方法的数学基础 ,给出了不确定性推理网络的算法描述 ,并且将理论研究的结果运用于甲状腺专家系统的设计和实现 ,举例说明了网络推理过程 ,对不确定性推理的应用进行了有益的探讨 .     

城市公共交通智能调度专家系统的研究

根据城市公共交通调度、专家系统知识及模糊控制理论建立了公交智能调度专家系统。该系统采用案例与规则两级推理机制,通过产生式规则实现对知识的表达,应用关系型数据库实现对知识的管理与操作。案例推理中设计了代码与属性两层匹配的推理策略,针对实际调度中的不精确判断,根据模糊控制与模糊推理的思想设计了模糊规则与模糊推理策略实现了基于规则的推理。该系统对实现公交系统智能化、提高公交调度的质量和效率具有重要的意义。     

基于推理控制的数据库隐私保护

文章综述了基于推理控制的数据库隐私保护技术,分析了常见的数据库推理通道,归纳了推理控制的常用方法,举例说明了推理控制在隐私保护中的应用,展望了数据库推理控制与隐私保护技术研究的发展方向.研究认为,推理控制是实现数据库隐私保护的有效手段,权衡安全性和可用性两方面的合理需求是构建隐私保护数据库的技术关键.     

二维基本矩形主方向关系的原关系推理

为了实现二维基本矩形主方向关系的原关系自动推理,进一步提高对空间方向关系的智能推理与预测,给出了二维基本矩形主方向关系的原关系推理规则,并对其正确性进行了证明。进而,提出了一个二维矩形主方向关系的原关系推理算法,该算法借助队列对解空间进行搜索和剪枝,实现了方向关系矩阵模型下二维矩形主方向关系原关系的自动推理与计算。理论分析和实验验证的结果表明:该算法是正确的、完备的;该算法有效地解决了二维基本矩形主方向关系原关系的自动推理问题,避免了复杂、烦琐的手工推理,增强了模型的自动计算与推理能力,为实现二维基本主方向关系的复合、反关系推理及一致性检验等问题的自动推理与分析奠定了基础,完善和提高了空间数据库对空间方向关系的智能分析与处理能力。     

合成推理的插值实现

在对采用合成推理规则进行模糊推理的机制进行分析的基础上 ,给出了利用插值法也可以得到相同结果的原理 .在此基础上用实际例子说明了采用插值法实现合成推理的方法 ,结果表明采用插值法可以等效地实现合成推理 .     

基于主观Bayes方法的不确定推理算法实现

不确定推理是指建立在不确定性知识和论据基础上的推理。本文设计了基于主观Bayes方法的不确定性推理算法,通过实验结果比较了结论不确定的合成算法与更新算法的一致性,实现了不确定推理问题求解的自动化。     

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

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

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

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

情态演算在行动推理中的应用

情态演算是专门设计来表示动态变化世界的一个二阶多类语言，它可作为描述动态系统的一个工具，在行动推理的应用中显示出其强大的表示能力和实现能力．在情态演算中，可以对行动进行公理化，可以描述行动的时间性、并发性及agent的信念和知识，可用Prolog实现在开放世界中带有感知行动的规划．讨论并介绍与这些应用有关的基本概念、思想，方法和最新的一些研究成果。     

Fuzzy推理的Mamdani算法

研究Fuzzy推理的Mamdani算法,包括简单Fuzzy推理的Mamdani算法,多维Fuzzy推理的Mamdard算法,多重Fuzzy推理的Mamdani算法,多维多重Fuzzy推理的Mamdani算法等。     

DFL在股利分配决策支持系统中的应用

介绍了基于DFL的股利分配决策支持系统的体系结构、功能模块及其实现技术和方法,实现了股利分配决策中动态模糊数据的表示、处理,提出了动态模糊逻辑的算法和推理过程,并成功设计实现了股利分配决策支持系统,初步得到应用,取得一定的社会和经济效益,为人们用计算机处理这类问题提供借鉴.     

步进电动机的故障诊断及其实现

针对步进电动机运行中的某些主要故障，设计了ＦＮＮ模糊神经网络故障理机及其单片机实现，提出随机寻优训练算法，并对此对该ＦＮＮ进行了训练，仿真结果表明，该处 仅计算速度快、推理精度高，而且具有工程应用的价值。     

Fuzzy推理的各种模型算法

Fuzzy推理是Fuzzy控制技术的数学核心,本文研究Fuzzy推理的各种模型,包括简单Fuzzy推理模型,多维Fuzzy推理模型及其Zadeh法,Tsukamoto法,Sugeno-Takagi法,多重Fuzzy推理模型及其FITA,FATI,点法法,多维多重Fuzzy推理模型,以及多维多重多输出Fuzzy推理模型等.     

体质评价专家系统的设计研究

体质评价专家系统是为推动我国全民健身计划的实施,以及解决我国目前体质监测中心不能满足社会需求的矛盾而构建.系统实现了在充分利用专家知识的前提下,针对不确定或不完整的事实,根据不同可信度进行推理的全过程.使全民体质评估常规化、生活化成为可能.文章论述了以专家系统的构建思想为基础的设计理念、方法以及关键技术.     

An Interactive Assembly Process Planner

This paper describes the implementation and performance of the virtual assembly support system (VASS), a new system that can provide designers and assembly process engineers with a simulation and visualization environment where they can evaluate the assemblability/disassemblability of products, and thereby use a computer to intuitively create assembly plans and interactively generate assembly process charts. Subassembly planning and assembly priority reasoning techniques were utilized to find heuristic information to improve the efficiency of assembly process planning. Tool planning was implemented to consider tool requirements in the product design stage. New methods were developed to reduce the computation amount involved in interference checking. As an important feature of the VASS, human interaction was integrated into the whole process of assembly process planning, extending the power of computer reasoning by including human expertise, resulting in better assembly plans and better designs.     

Application of Uncertainty Reasoning Theory to satellite Fault Detection and Diagnosis

Reasoning theories are divided into certainty reasoning theories and uncertainty reasoning theories.Now,only certainty reason-ing theories use to deitcs are used to detect and diagnose satellite faults.However,in practice,it is difficult to detect and diagnose some faults of the satellite autiomatically only by use of ccrtainty.Fortunately.uncerlainty Reasoning theories are applied to detect and diagnose satellite faults.Uncertainty reasoning theories include several kinds of theories,such as inclusion degree theory,rough set theory,evidence reasoning theory,probabilisticresoning theory,fuzzy,fuzzy reasoningteory,and so on.Inclusion degree theory.rough set theory and evidence reasoning theory are three advanced ones,Based on these three theories respectively.the audhor introduces three new methods to detect and diagnose satellite faults in this paper.It is shown that the methods,suitable for detecting and diagnosing satellite faults,especially uncertainty faults,can remedy the defects of the current methods.     

用概念图表示规则及其推理方法

利用概念结构理论，将概念图的知识表示方法与规则的知识表示方法结合起来，提出了用概念图表示规则，并讨论了这种知识表示下的推理方法。