关于CAPP专家系统开放性问题的研究

开放性是实现CAPP专家系统通用性和商品化的一个重要问题．针对回转件CAPP专家系统的开放性问题,如知识获取和知识表示方法、规则分类和知识库的构造、分层式推理机的构造以及规则解释方法等问题进行了初步探讨,并提出了用于代码转换的工艺字典等有关问题．     

用于辅助决策领域的专家系统开发环境—ESAD

ESAD系统是一个模块组合式的用于辅助决策领域的专家系统开发环境。它是一个多目标的推理系统,具有三种知识表示:变元特性表示,过程表示法表示,决策规则表示,引入示例学习的知识自动获取的功能模块GS_(32)。提出了划分辅助决策领域的知识为共用级与专用级的概念。设计了知识库的层次结构与用于同数据库相联的接口,还设计了一个用于各种不同推理机制的通用的推理网络。使用ESAD系统已开发了一个预研辅助决策专家系统。     

融合规则的典型工艺表示与工艺决策方法研究

为了简便有效地表示工艺知识,提高工艺决策的自动化程度和灵活性,文章提出了一种融合规则的典型工艺表示与工艺决策方法.该方法将与典型工艺相关的信息分为不变信息和可变信息,不变信息基于统一的典型工艺信息模型进行表示,而可变信息以产生式规则形式表示,并嵌入到典型工艺中.由于每个典型工艺都有与之密切相关的一套独立规则,规则的针对性很强,所以规则的总结、形成容易,便于实现工艺决策的自动化.文中以飞机结构件的数控加工工艺为例,对融合规则的典型工艺的表示、基于制造特征的产生式规则分类和工艺决策算法进行了详细讨论.该方法已在某飞机制造企业的CAPP系统中进行了实际应用,实现了工艺决策的自动化.应用表明这种工艺知识表示及其决策方法简单有效,规则维护扩充方便.     

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

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

PCB工艺规则表示方法

利用谓词逻辑能表示确定性知识与模糊逻辑中隶属函数能表示不确定性知识的特点,提出了一种新的谓词隶属逻辑表示法,即通过隶属函数的谓词逻辑对二值和多值逻辑规则进行归一化表示,得到了印制电路板(PCB)规则工艺知识库,实现了基于该方法的知识推理,为后续实现PCB的智能审查提供了审查依据及数据支持.     

在轧钢机机架铸造工艺CAD中用专家系统拟定工艺方案的几点考虑与实现

本文探讨了应用专家系统原理拟定机架类铸件铸造工艺方案的一般规则,归纳出有关机架类铸件铸造工艺方案决策的知识表示结构和推理策略;并根据任务特征,提出了建立机架类铸件铸造工艺方案决策模块的知识层次结构模型;同时介绍了铸造工艺方案决策模块在铸造工艺CAD总体结构中的作用和地位、实现技术及与CAD软件相互结合的技术。     

CAPP系统工艺知识库建立方法初探

探讨了ＣＡＰＰ系统工艺知识的获取,表达和工艺知识库建立的方法,指出了从零件整体出发,以成组技术为基础,以工序工步词典为索引制定工艺决策规则在工艺知识库建立中的实用性,并在纺织机构零件ＣＡＰＰ系统工艺知识建立过程中进行了应用。     

基于CLIPS的延迟焦化焦炭塔生产操作专家系统的设计和实现

研究了专家系统在延迟焦化焦炭塔生产操作中的应用,并给出基于CLIPS的专家系统的设计和实现过程.将专家系统引入焦炭塔操作过程中,构成焦炭塔操作专家系统.该系统集成了丰富的工程师操作经验并以知识库的形式进行存储,同时采用产生式规则作为基本的知识表示方式,构建延迟焦化焦炭塔生产操作系统知识库.利用CLIPS对专家系统的知识库和推理机进行开发,便于操作人员获取最佳操作方案,并实例阐述了专家系统的有效性.     

智能模糊控制系统理论和设计方法

简述了智能模糊控制系统的基本原理和设计方法。针对文中的实际电路提出了模糊产生式规则的表示方法和模糊假言推理模型；论述了模糊假言推理的推理算法，并在离散域中对模糊推理算法进行了详细的推导；提出模糊控制器设计过程，输入规格化和模糊化的方法、模糊语言变量的定义和选取、知识库的组建、推理机的算法与实现、模糊判决等。     

C~（＋＋）与故障诊断专家系统

本文介绍用ｃ建造旋转机械转子故障诊断专家系统。知识库采用面向对象的知识表示方法使框架表示和产生式规则表示融于一体，通过知识库分层模块化管理，知识模块由元规则动态地调人工作平台。实例验证，系统诊断效率高，分析结果与实际吻合。     

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

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

一种演绎数据库系统的设计与实现

为了构造高效的演绎数据库系统,提出了在关系数据库系统之上增加规则处理层,构造一种基于关系数据库SOL Server的演绎数据库系统的设计方案.系统主要由语言分析器、规则管理及一致性维护器、递归查询推理机等部分组成.讨论了规则维护器的设计思想,完整性维护的算法及关键问题的解决方案,实现递归查询的推理机的设计原理,递归查询算法及实现中的优化技术.规则推理从已知事实推导出未知信息;完整性维护用来表示规则之间的各种制约关系,避免不协调和不相容的信息内容.推理机模块能正确地完成演绎推理功能,尤其对线性递归查询的实现是有效的.     

智能教学系统中自动推理模块的设计与实现

以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math. 介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的Strips算子表达规则,用BPU-CLP语言的程序实现学科知识库、题库和通用推理机. 以中学教学求函数值域问题为例,详细介绍了规则的设计方法和表达方式,并且给出了通用推理机的向后推理算法. 当前BPU-ITS-Math已成功地解决了200余道求函数值域的习题.     

专家系统工具HEST 的编译器设计

HEST是一个汉化编译型集成式的专家系统工具,在IBMPC及其兼容机上运行.它提供的逻辑/函数型通用知识表达语言,是融合了函数程序设计风格的编译型PROLOG语言.本文主要介绍:PROLOG语言的语义、语法扩充,主要是函数定义、函数调用和表达式计算;对WARREN抽象机数据结构、指令的增加和修改;编译器的主要构成模块和运行流程;语言语法结构编码的七条定义规则,并在附录中给出了编译实例.     

10kV以下供配电设计专家系统

本文简单介绍了专家系统理论及10KV以下供配电设计专家系统的基本组成。分析了在当前实际供配电工程设计中存在的不足，提出模块化结构的设计思想，以便在不同子系统之间实现数据交换。文章详细论述了知识库组成、数据库分类、推理机的推理、控制过程及相互之间的关系。该程序使用C语言在PC机上完成运行调试工作。     

基于J2EE的分布式模糊智能系统的设计

分析了J2EE平台的构架和各个组件模型;给出了一种模糊智能系统的体系结构;采取模糊神经网络学习的方式自动获取模糊规则,获取的知识规则以XML文件的形式被保存;推理机采用深度优先的策略搜索知识规则,然后用T-S模糊推理进行求解;提出了采用EJB结合Servlet的方法来设计和实现推理机和知识获取的方法;用JSP产生动态的用户交互页面。     

机械产品柔性模块化设计知识库系统的研究

介绍了柔性模块的基本概念;在分析柔性模块化产品的设计推理过程的基础上,提出了一种面向对象的知识库建模方法.将模块视为对象,并以功能模块、柔性模块、实例模块为基础构成对象层次体系,以对象框架语言描述模块的相关设计知识,组成知识单元.然后论述了基于实例和框架的知识推理过程,并给出了液压机产品知识库系统的框架结构.结果表明,该系统的研究和开发可有效支持液压机等大型机械产品的快速响应设计.     

本体与规则整合的推理方法研究及设计

在给出混合知识表示的基础上,提出基于Tableau演算的变种算法Model-Tableau,将其与以SLD原理为基础的Top-down算法混合,给出知识查询的推理方法设计。最后,给出了算法相关证明和系统原型。结果表明:该方案丰富了语义Web的知识表示能力,有效解决了由本体层和规则层结合所产生的查询推理问题。     

Petri网在野战防空C^3I决策系统中的应用

介绍了野战防空Ｃ＾３Ｉ火力分配专家系统,并给出了此类专家系统的知识库规则表示,然后利用谓词Ｐｅｔｒｉ网描述火力分配的推进过程。     

智能DSS中非精确推理可信度的测宽研究

在智能决策支持系统（ＤＳＳ）研究中，知识表示、自然语言理解以及相应的推理系统是急待解决的几大问题。传统的精确推理已难以适应计算机应用发展的需要。近年来在推理机的设计中发展了规则与结论都不唯一的非精确、非单调推理。但如何测定结论的可信度、可用度仍是个问题。本文探讨基于信息论引入测度的概念，以解决非精确推理结论的可信度问题。