可由用户持续发展的几何自动推理平台

提出并实现了可由用户持续发展的几何自动推理平台(SGARP).它由知识库、知识编辑器、信息库、推理引擎、信息查询窗口和动态几何作图系统等六部分组成.在这个平台上,用户可以添加几何对象、谓词和规则,也可以综合使用多种推理方法进行推理.     

基于动态模糊语言决策形式背景的推理方法

针对不确定环境下动态模糊知识获取与推理的难题,提出了一种基于动态模糊语言决策形式背景的推理方法。首先,为了在动态环境中表示模糊语言信息,基于语言术语集提出了动态模糊语言术语集,并讨论了相关性质。然后,为了更好的表示动态模糊语言信息,定义了动态模糊语言形式背景,获取动态模糊语言概念,并构建相应的概念格。最后,通过定义动态模糊语言决策形式背景的细于关系提取动态模糊语言决策规则,并定义了动态模糊语言相似度计算方法,基于此提出一种用来预测不确定决策结果的动态模糊语言推理方法。     

提高软件Agent策略生成的语义互操作能力

软件Agent遇到语义二义性时无法正确地为用户解决矛盾问题.利用本体支持语义互操作的特点,在软件Agent策略生成机制中引入复合元本体,加入Agent智能引导的人机交互方法,实现了具有语义歧义消除能力的可拓策略生成系统.当用户输入的问题信息语义模糊时,Agent根据本体中的知识与用户交互,逐步理解用户的信息语义,直到能为用户生成解决矛盾问题的策略.以旅游与购物问题为例进行了实验,结果表明了软件Agent策略生成的语义互操作能力得到了提高.     

中介集及其应用

对于模糊知识及其否定关系,潘正华指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系,并建立了一种具有矛盾否定、对立否定和中介否定的模糊集FScom;我们引入了一种改进的模糊集IFScom。然而,新模糊集FScom及其改进模糊集IFScom存在着不足。基于此认识,本文对FScom及IFScom进一步改进,研究得到了一种中介集MScom,并以金融辅助投资决策为例,讨论了MScom对模糊知识及其三种不同否定的表达、推理与实现。实例表明:中介集合系统在模糊知识的"否定"的区分、表达及推理上是有效的。     

犹豫模糊语言集结算子及其在多属性群决策中的应用

犹豫模糊语言术语集是在犹豫模糊集和语言术语集的基础上,建立的一种更为合理的处理定性信息的方法。属性变量为犹豫模糊语言的群决策问题是近年来决策科学的一个研究热点,采用算子进行信息集结是解决该问题的一种有效方法。本文将幂几何算子引入到犹豫模糊语言变量环境下,定义了犹豫模糊语言加权幂几何算子、犹豫模糊语言加权幂有序几何算子、犹豫模糊语言线性加权幂有序几何算子,并探讨了它们的相关性质和特例。新算子通过综合考虑变量位置和自身重要性及相互间的支撑度,从而使决策结果更加令人信服。基于上述算子,论文还提出一种犹豫模糊语言多属性群决策方法,并通过数值案例验证方法的可行性和有效性。     

基于合理粒度原则的多层模糊规则模型构建

模糊IF-THEN规则模型因其可产生具有较好解释性的推理结果受到了广泛的关注。对于高维、复杂的问题,模糊IF-THEN规则模型却未充分利用数据特征中包含的层次信息,对数据的多水平表征能力较弱。此外,模糊模型的构建往往受到数据质量、专家知识等因素的影响导致数值输出伴随着不确定性。本文基于合理粒度原则提出了一种具有多层结构的Takagi-Sugeno(T-S)模糊模型的建模方法。该方法在粒计算框架下将模糊技术与多层学习策略相结合,并在数据子空间内部采取逐层划分的方法进一步挖掘数据中隐含的结构信息,使模型具有良好的可解释性,同时以信息粒为输出体现了主要的预测范围。最后,在公开数据集上进行数据实验,检验了所提方法的有效性。     

通用模糊自动机

首先使用模糊语言的分解定义了通用模糊自动机:这个自动机以该模糊语言的分解作为状态,通过模糊语言的包含度定义其转移函数。其次定义了模糊自动机上的态射,证明了接受给定模糊语言的所有自动机都可以标准地映射到该语言对应的通用模糊自动机上,这个性质称为通用性。最后进一步讨论了模糊商自动机,模糊m-最小自动机,模糊最小自动机及与通用模糊自动机之间的关系。     

一种基于规则的情境感知系统设计与实现

情境感知系统能够感知用户所处的情境,以及情境的变化,并根据情境信息去提供用户需要的服务.针对情境信息复杂性和实效性双重特点,本文基于面向对象的情境建模方法,在情境信息分类的基础上,提出了一个LUTERS情境对象模型.在情景信息模型化的基础上,本文阐述了情境推理规则的定义,提出了基于规则引擎的情境推理框架,有效的提升了情景感知系统的灵活性.     

基于证据推理的直觉模糊多属性群决策方法

针对属性值为直觉模糊数的多属性群决策问题,提出了一种证据推理的扩展方法。首先,在考虑主观因素与客观因素的基础上运用直觉模糊熵法计算出属性及专家的综合权重。其次,提出一种基于证据推理的直觉模糊信息融合方法,该方法可以避免由于评价值的隶属度为0而导致的信息丢失现象,弥补了现有直觉模糊信息融合方法存在的不足。在此基础上,集结评价信息并按照备选方案与理想方案的相对贴近度对备选方案进行比选。最后,运用实例验证了所提方法的有效性。     

F—fuzzy演绎系统

本文建立了一种演绎系统FFCS,在该演义系统中可以处理具有模糊性的推理过程,区别与其他对模糊推理进行形式化的逻辑系统,FFCS对模糊假言推理FMP做了完全形式化的处理。     

对用户透明的生产计划优化系统—线性规划在生产计划中应用实例

本文介绍一则线性规划在生产计划优化中的应用。着重介绍数学模型建立过程和如何在微计算机上实现优化。这实际上是一个在IBM-PC微机上用DBASE-Ⅱ关系数据库和BASIC语言结合开发的应用软件系统,其特点是对用户完全“透明”:用户仅需输入可加工产品的名称及件数,系统就会自动生成优化方程并求解,进而自动计算生产能力平衡并打印出生产计划明细表及生产能力平衡结果。用户可反复进行各月度的生产计划优化而毋需掌握任何运筹学知识。在算法上,作者采用了“加权多目标规划法”从而使问题得以简化。     

基于合成规则的相似性推理及其在焊接参数设计中的应用

焊接过程是典型的复杂过程,应用模糊逻辑建立焊接参数推理系统可快速实现焊接工艺参数设计.近似推理机制是模糊系统研究和开发中的一个重要组成部分,在现有的相似性推理方法的基础上,融合经典的合成规则推理技术,提出一种新的基于合成规则的相似性推理方法.以CO_2保护焊焊接规范参数设计为背景介绍模糊推理在焊接领域的应用,运行结果表明,采用方法建立的模糊推理模型具有较高的推算精度,能够满足焊接工艺参数设计的要求.     

基于模糊语言评估和GIOWA算子的多属性群决策方法

研究了方案的属性评估信息以模糊语言形式给出的多属性群决策问题,定义了一种模糊语言评估标度并给出其相应的三角模糊数表达方式.利用广义的导出有序加权平均(GIOWA)算子,对专家所给出的对应于各方案的属性评估信息进行了集结,并提出了一种基于模糊语言评估和GIOWA算子的多属性群决策方法.最后进行了实例分析.     

犹豫模糊语言值事件及其概率

犹豫模糊语言值集采用定性的方法描述了事件的模糊性和人的犹豫性,而事件本身往往还可能包含随机性.因此,本文研究了犹豫模糊语言值事件的概率.首先,以三角模糊数作为语言值,其顶点的横坐标作为语言值的下标,选取一组语言值作为犹豫模糊语言值集的语言值集,并给出了犹豫模糊语言值集的并集、交集和补集运算.其次,提出了犹豫模糊语言值事件的概率和条件概率的定义,证明了犹豫模糊语言值事件的概率的可列可加性、连续性、乘法定理、全概率公式和贝叶斯公式等,并给出了犹豫模糊语言值事件的概率大小比较准则及其概率推理步骤.最后,通过评价球队组训能力的数值例子对犹豫模糊语言值事件的概率进行了说明.犹豫模糊语言值事件的概率采用定性的方法灵活地反映了事件发生的不确定性.     

质点法在SGARP中的新实现

可持续发展的几何自动推理平台(SGARP)支持用户发展多种多样基于规则的机器自动推理或人机交互推理方法,但缺乏处理符号计算的模块,其解题能力仍有待加强.质点法是最近发展的继面积法之后又一个能对可构造型几何命题生成可读机器证明的具有完全性的算法.基于一种在SGARP中快捷实现符号计算功能的方法,对质点法机器证明算法进行了新的实现.新添加的质点法模块使得用户能更便捷地验证更多的几何定理,从而使SGARP能更好地满足用户学习与发展几何机器推理的需求.     

知识依赖与动态模糊数据粗传递

根据实际中经常遇到的信息传递情况:一是我们不能丢失任何可能有用的信息,以免造成损失;二是被传递的概念是双向动态变化的模糊数据,三是信息传递者的知识不同,接收到的数据信息不一样。本文利用具有动态特性的双向S-粗模糊集构建了一种新的动态模糊数据粗传递模型-上近似动态模糊数据粗传递模型,分析了信息传递者的知识对模糊数据粗传递的影响,建立了知识依赖、知识等价、知识独立与传递过程中动态模糊数据变化的关系,得到了动态模糊数据在传递过程中保持不变、发生增益的条件,给出了动态模糊粗传递数据不变定理及数据增益定理,最后给出了动态模糊粗传递模型在风险投资管理系统中应用,制定了符合实际的投资决策。动态模糊粗传递是双向S-粗模糊集的一种新的应用。     

简易插值模糊推理方法

从函数扩充的角度将模糊推理视为两个论域语言值与语言值之间的对应关系,将一条规则视为一个由前提和结论组成的模糊数据对,将规则集视为一组已知的模糊数据节点集,将它们作为模糊插值节点,给出了一种插值推理函数的建立方法.然后利用扩展原理给出插值推理结果,推理的过程简化为一个求复合函数的过程.无论是对稀疏规则集还是对完备规则集,只要具有有序交叠互补性,该推理方法就能保证还原性,语气单调性,属性介值性和保正规性.     

推理规则的信息熵描述

根据信息理论的一些基本观点首次定义了决策逻辑系统中公式的信息熵,由此给出了知识系统中推理规则信息熵的定义。然后讨论了推理规则信息熵的某些性质。随后又建立了一些推理规则信息熵有关的若干重要概念,从而揭示了信息论与知识表达系统之间的某些联系,为信息理论应用于人工智能及数据挖掘提供了一定的理论或技术性工具。     

语言数据的自回归模型及其在上证综指预测中的应用

专家对金融证券市场的感知和判断是一相对重要的信息资源,应在系统建模中结合实际数据加以适当吸收和利用.本文给出基于随机模糊结合方法的一类移动平均自回归模型,并将其用于上证综指月度数据的趋势预测中.由于专家的感知或判断通常以语言形式表达,而语言通常具有模糊性特征.基于模糊随机变量对此类语言数据定义其均值、方差、协方差以及误...     

格值一阶逻辑系统LF(X)中带广义量词的不确定性推理

讨论格值一阶逻辑系统LF(X)中带广义量词的不确定性推理规则,和FMP、FMT规则。为研究带广义量词的归结自动推理作准备,也为研究语言值逻辑推理提供一阶逻辑系统的基础平台。