层次化模糊Petri网:形式化定义和推理

针对复杂知识库中知识规则数量多、知识规则的组织及其相互间的逻辑关系难以把握这一特点,在模糊Petri网的基础上给出了层次化模糊Petri网(Hierarchical Fuzzy PetriNets,HFPN)的形式化定义及其知识表示和知识推理。在HFPN中充分利用库所抽象、转换抽象实现了层次化的知识表示和知识推理。通过层次化,可以采用模块化方法设计知识系统,从而降低构建知识库的复杂性,方便知识库的优化和管理。     

烧结过程异常状况诊断专家系统SPADES（Ⅱ）——关键技术

知识库构造和推理机设计是实现专家系统的关键技术,烧结过程异常诊断的知识具有模糊性、不确定性与因果性强,定性知识与定量知识并存的特点,采用模糊逻辑表达烧结过程信息的模糊特性,研究了表达烧结过程异常诊断知识的综合型知识表达方式,短文加的组织包括数据库、事实库、模型库和规则库。规则库中的规则根据用途不同分组存放,同组规则按优先级别排序,这样的知识组织方式为实现高效快速推理奠定了基础;SPADES系统的知识库具有管理与维护功能,知识学习采用专家指导学习方式;烧结过程异常诊断专家系统的推理机采用多级目标推理的混合推理机：总体目标推理采用过程化推理,按异常类型判断、异常原因分析、操作决策顺序进行;烧结过程异常状况的诊断采用模糊诊断确定假定异常集合,再通过反向推理验证假定异常集合中的无素,确定出现的异常类型;异常原因分析和操作决策采用正向推理,对于本系统中模糊规则的模糊性传递问题,采用基于研究因子法的不精确推理策略,以及基于模糊规则的模糊匹配方法。SPADES系统在生产现场的应用结果证明了本系统知识表达方式和推理机可以实现模糊知识的表达和高效推理。     

一种基于粗糙集和模糊推理的生活方式病检查模型

为了实现从大量的医学数据中获取有效的知识并形成规则和做出正确的推理,提出了一种基于粗糙集和距离型模糊推理进行生活方式病检查的模型.采用改进的依赖度属性约简算法研究属性约简,去掉不必要属性,减小规则库规模,提高粗糙集知识发现方法在医疗健康数据上的分类效率和准确性.采用距离型模糊推理方法匹配知识库中已有规则,计算规则和给定事实的距离进行推理检查,构建距离型模糊推理的检查系统.通过实验数据描述了知识库的构建过程,并验证了模型的有效性.     

基于BP网络的汉语句法分析专家系统

提出了一种基于BP网络的汉语句法分析专家系统的设计方案．知识库采用产生式规则的知识表达方式，并将知识二元化存储在神经网络中．推理机采用神经网络进行推理．在论文的结尾给出了系统的运行实例，说明了该系统的有效性．     

本体论知识库推理的自适应学习流程规划

为了自适应提取网络上的学习资源（Learning Resources,LR）,向学习者提供可用的、有价值的LR流程规划,提出了本体论知识库推理的自适应学习流程规划方法.首先,运用知识工程中的本体论技术描述LR领域知识,建立本体论知识库;其次,使用人工智能规划技术对问题进行描述,采用偏序规划算法推理,结合工作流模型技术验证,建立规则式推理机制;最后,通过本体论知识库和规则式推理机制实现对LR的自适应提取和完成LR流程结构.对实例的规划结果表明,该方法是可靠和有效的.     

基于逻辑的乳腺癌诊断与治疗专家系统

本系统收集了天津市领域专家的经验,由编译性人工智能语言TurboProlog实现,共由七个模块-知识率、推理机构、解释机构、半自动人工知识获取、知识库管理、动态数据库和人机接口组成。本系统利用产生式规则表达知识,知识库中有多达1242条规则。在推理机构中,采用两类策略:启发式正向和反向推理方法,并利用黑板结构作为公共动态数据区。。提供了半自动人工知识获取以能获取新知识、丰富和更新知识库。在黑板上保留的推理进程是解释机构的素材。总系统共占用118KB内存,在IBM PC AT微机上运行正常,起到了总结和推广领域专家诊断与治疗乳腺癌经验的作用。     

航海避碰专家系统的设计与实现

介绍了航海避碰专家系统的设计与实现．该系统把产生式规则和面向对象的知识表示方法相结合，构造出系统的知识库，并相应地采用了基于消息驱动的双向推理技术，求出最佳避让行动方案．其中设计并实现了海图矢量搜索算法，以使系统不仅能避让动态目标船，而且还能避让各种危险的静态目标     

可视化教学智能管理系统的技术与实现

以提高教学管理系统的智能化和可视化程度为目标,利用智能工程的思想及方法将模型库、知识库、推理引擎、数据库和计算机图形等技术综合应用于系统.设计了可视化智能系统的结构,建立了教学系统的数据库、产生式规则知识库和模型库,实现了推理机的推理和图形显示功能,并设计了系统中上述各部件接口技术.系统的实施推进了教学过程的信息化管理水平和从数据库中获取知识的能力.     

计算机辅助数控故障诊断系统

目的　对数控系统进行监测和故障诊断． 方法　通过建立专家系统, 利用专家知识库的知识对用户数据进行推理、判断． 结果　建立了一种能够对数控系统进行故障诊断的计算机辅助诊断系统． 结论　提出了利用专家知识库建立计算机辅助数控故障诊断系统的方法, 该系统能够适应不同类型的数控系统, 并能够随专家知识库中知识的不断扩充而提高其诊断的能力．     

燃气轮机故障诊断专家系统的设计与实现

建立了一个适用于燃气轮机的故障诊断专家系统。介绍了该系统的结构、功能、自学能力和知识库的建立及推理机的实现。知识库采用产生式表示法,其组织结构分为三级:大范围经验知识、小范围经验知识和参考解决方案。系统采用双推理机机制,逆向精确推理用于教学和演示,能够查看和解释系统的推理过程;逆向不精确推理用于实际工作场合,提供具有较高可信度的推理结果。     

基于故障树的某型舰炮故障诊断系统的设计与实现

针对某型舰炮随动系统状态异常的现象,设计并实现了一种基于故障树的故障诊断专家系统.首先给出了舰炮故障诊断专家系统的组成,主要介绍知识库、推理机、人机接口模块的设计方法.根据该型舰炮故障的特点构造故障树,完成知识库的建造与更新.推理机采用正向推理和反向推理相结合的推理策略.实践表明,该故障诊断专家系统人机交互界面美观,用户操作方便,故障诊断结果基本可靠,知识库易于扩展.     

大跨空间结构智能选型方案生成系统

将基于实例的推理和数据挖掘技术应用于大跨空间结构的智能选型的方案生成阶段．介绍了基于实例推理系统的基本结构及其四个关键技术,建造了大跨空间结构智能选型方案生成系统．主要实现了以下功能：实例库的建立和维护;人机交互界面的实现;初步完成基于加权检索算法的大跨空间结构选型实例推理;实现了实例关键参数值域分布情况的统计功能;采用数据挖掘算法对实例库进行了关联规则的挖掘,初步挖掘出了实例库中的关联规则,利用决策树和粗糙集的方法产生分类规则,比较了三种数据挖掘方法,给出它们的应用条件,为下一步实现基于知识推理做准备．通过实例演示了该系统的方案生成过程．     

采煤机故障诊断专家系统的知识表示与知识获取

以ＡＭ５００采煤机故障推理网络为对象,讨论采煤机故障诊断专家系统中“规则架＋规则体”的知识表示方法及其知识库内部结构,以及专家系统的知识获取设计。     

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

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

煤测井专家系统的建造及初步运用

煤测井专家系统是基于测井数据边推理、边解释的解释型专家系统。它是将煤测井解释归纳为专家知识，采用规则和静态知识表的知识表达方法，以可能性理论为基础的模糊推理，最终判定岩石类型。该系统由数据库、知识库、推理机、解释器四部分组成     

服装款式智能CAD系统的设计与实现

讨论服装款式智能CAD 系统的设计原理.采用专家系统设计思想,对系统结构作了详细分析.整个系统进程及各子模块的协调由系统控制器控制,对知识库、色彩库、款式库的操作及对当前工作空间的管理,通过库管理及工作空间控制器实现.针对服装款式设计所涉及的知识面广及其多因素性、模糊性等特征,提出按经验性知识、规律性知识、结构性知识的分类描述方法,并采用由信息级、前提级、目标级、解答级四层组成的多级网型逻辑结构的知识库,推理机制设计中,采用有条件推理和形状推理,对款式图形提出了CSG 与BREP 的混合表示法,并给出了款式图形生成的算法和过程.本系统是在APOLLODN-580上用GMR软件实现的.     

数控机床维护及故障分析软件的研究与开发

为了减少数控机床的故障停机时间,提高数控机床的维护水平,自行研制和开发了“数控机床维护及故障分析软件”。该软件采用面向对象的设计方法,建立了生动、活泼、友好的人机界面,实现了文件管理、故障查询,并提供解决方案的技术支持,故障库和知识库的知识的获取,规则库的生成,数控机床日常维护知识、工厂的设备管理、现场的设备维修管理、数控机床电器故障模式和维修时间统计等主要功能。其良好的开放性为进一步的开发利用提供了基础。     

基于语义转换的地理信息建模方法

针对计算机无法准确理解GML文件数据的内涵和知识共享等问题,提出一种基于元模型的由GML文件映射生成地理OWL （GeoOWL）文件的方法（GML2GeoOWL）. 首先构建GML和OWL的元模型元类之间的对应关系,然后使用XSLT构建并实现映射规则,最后用java语言对文件进行处理. 为了验证方法的有效性,设计并开发了GML2OWL转换平台并以GML格式的1∶50 000的海南省的水系（线）要素为例进行了验证. 表明该方法可以高效地实现GML文件到地理OWL文件的批量无损转换,后期可以构建推理规则并实现推理以挖掘更多隐含的地理信息.     

基于两数据库关联的专家系统

将数据库技术与专家系统技术相结合,充分利用成熟的数据库技术,实现对规则知识的存贮、管理.提取规则的前提和结论部分,将它们存放于2个数据库中,采用两库关联的方式表达规则知识.通过合理地设计数据库的结构,可以达到灵活、方便地表达规则知识,并易于采用多种策略提高推理效率.利用数据库的优秀性能来管理知识,便于高效推理机的设计.     

基于Web的复合材料设计专家系统

通过ASP.NET与SQLServer技术实现了多用户的协作设计,多专家的知识提供,并提供了强有力数据管理及挖掘技术,实现了一个基于Web的复合材料设计专家系统原型.这里,基于可信度的不确定性推理,采用了D-S证据理论,在规则中为每个证据引入加权因子,提出了一个新的多个证据推理机制,使系统实现了具有一定性能的复合材料设计及其典型构件设计,而且,可以反复执行,直到获得比较满意的结果为止,并随着该系统的运行,可不断补充其知识库,使结果趋于完善.