协同救援一致性推理模型及求解算法

针对传统的一致性推理模型多测重于单纯的定量、定性时态推理,难以适用于协同救援方案求取问题,基于Allen区间代数理论,添加逻辑约束,提出了一种协同救授一致性推理模型,该模型型同时包含救援行为时态约束和逻辑约束两类信息。基于该模型的等价类子网化简设计协同方案求解算法,并以海上协同教授一致性方案推理为例演示建模与求解过程。结果表明,该模型符合协同一致性方案求解对时态、逻辑两方面推理的需求,可应用于协同救援规划验证。     

人工智能应用中基于区间代数的时态推理

时态表示和推理是人工智能领域的重要研究内容之一,它的应用范围分布很广,从逻辑基础研究到知识系统的应用.区间代数是一种独立的与领域无关的时态理论.用区间代数能表示不确定的时态关系,可以很方便地用于时态推理,表达能力强;时态关系的区间表示比较直观,可理解性强;同时区间代数可以进一步扩展到二维空间领域,即将区间代数拓展为矩阵代数,实现二维空间推理.在一维时态推理中,将时态的区间表示和矩阵表示相结合,在提高计算效率的同时,保持了形象直观的时态表示.     

基于半定性贝叶斯网络的建模方法研究

在定性贝叶斯网络的基础上,提出一种既包含定性符号信息,又包含概率分布定量信息的半定性贝叶斯网络,用以集成多个专家的知识和经验,通过一个与专家反复交互的过程,构建出相关问题领域的稳定的贝叶斯网络模型。提出利用区间数来统一表达多个专家的定性或定量的判断意见,给出了在半定性贝叶斯网络中进行概率推理的区间数传播算法,并通过算例验证其有效性。     

区问代数与区间段代数在定性时态推理中的联合运用

详细讨论了从Allen代数演化为INDU代数的思路和INDU代数的几何表示。研究指出,INDU是Allen代数中原子关系的细分和可采纳域的细化,对于路径一致性计算它是比Allen更为准确的方法;但是在约束网络推理计算中由于INDU的合成运算表过于庞大,仍可使用Mlen代数合成运算表。将Allen代数与INDU代数结合使用是时态约束网络定性推理的较好方法。     

规划识别中的时态推理

提出了一个用于规划识别的多层次时态推理算法。该算法可将以往的时态推理从单个规划的分解推广到多层次规划系统，使之更具普遍性；可将观察中的时态关系作为约束信息在层次结构中传播，减少候选规划的数目，提高规划识别的效率和准确性。     

单层模糊智能控制系统模型与应用

系统决策基于系统的属性信息,这些信息有定性的也有定量的.综合定性与定量信息,基于模糊推理理论建立了一个普适的单层属性的模糊智能控制系统.将决策信息分级并模糊化,建立模糊推理规则库;依据模糊化的决策信息搜索推理规则库,进行模糊合成得到控制信息.实现对系统的智能化控制.讨论了系统运行的时间复杂度和空间复杂度,并进行了证明.最后给出了单层模糊智能控制系统的一个应用实例.     

区间代数与区间段代数在定性时态推理中的联合运用

详细讨论了从Allen代数演化为INDU代数的思路和INDU代数的几何表示.研究指出,INDU是Allen代数中原子关系的细分和可采纳域的细化,对于路径一致性计算它是比Allen更为准确的方法;但是在约束网络推理计算中由于INDU的合成运算表过于庞大,仍可使用Allen代数合成运算表.将Allen代数与INDU代数结合使用是时态约束网络定性推理的较好方法.     

基于融合理论的网络在线智能故障诊断模型

针对复杂设备的在线故障诊断问题,依据认知科学和信息融合理论,基于网络环境,提出了一种新的网络在线智能故障诊断模型·它采用定性与定量、局部与综合诊断相结合的诊断策略,即首先进行快速定性诊断,一旦系统异常,立即启动集成神经网络组对来自设备多侧面的故障特征信息进行定量分析和分类,并由专家系统模块对神经网络组的推理过程进行定性解释,最后以D S证据推理模块在全局融合中心实现对各子网络的会诊,提高了诊断的精度和可靠性·作者所开发的丰满水电数字仿真系统的成功应用,验证了模型的有效性和实际应用价值·     

一种可视化的时态推理方法

给出了一种集成定性与定量的约束的可视时态概念模型，通过该模型使得每个时态对象可以转子平面上的一个可视实体，并且在一些假设下引进一种有效的可视时态约束传递算法。     

一种基于模糊集的混合空间推理方法

基于模糊集合理论, 提出一种将定性空间推理与定量空间推理相结合进行混合空间推理的方法. 将对象间的空间关系解释为表达有关对象空间信息语言变量的限制, 引入语言变量表达定性空间关系; 把语言变量与模糊集合关联起来, 获得定量空间信息; 通过将语言值映射为模糊集合, 以及将模糊集合的元素映射为语言限制词, 实现了定性空间信息和定量空间信息间的转换. 此外, 还给出了与Allen提出的二元基 本关系关联的模糊关系, 并得到了基于模糊关系的Allen推理算法, 从而实现了空间关系间 的推理.     

端点模糊的区间代数

由于现实世界中事件的持续时间难以精确测量,以及起始时刻及结束时刻的模糊性,使得Allen的敬意代数不能很好地刻画事件的模糊时间区间,用事件的持续密度函数的概念来表示事件的持续时间,并用时间区间来近似持续密度函数,使得可以应用Allen的区间代数来进行相应的时态推理。     

事件的模糊离散时间区间的表示

由于现实世界中事件的持续时间难以精确测量,以及起始时刻及结束时刻的模糊性,使得Allen的区间代数不能很好地刻画事件的模糊时间区间,首先将时间区间离散化,然后用事件的持续分布的概念米表示事件的持续时间,并用时间区间来近似持续分布,使得可以应用Allen的区间代数来进行相应的时态推理,最终给出了求主时间区间的算法。     

基于证据推理的汽车企业自主创新能力评价

文章通过分析企业自主创新能力的构成,结合汽车企业的特点,构建汽车企业自主创新能力评价指标体系;针对实际评价过程中定量属性和定性属性同时存在,以及评价信息不完全(如数据缺损)等问题,提出了基于证据推理的综合评价模型;对安徽省6家汽车企业的自主创新能力进行评价分析,结果表明,该指标体系和评价模型科学有效.     

不完全信息下基于证据推理的多属性决策方法研究

针对不完全信息下多属性群体决策中存在的问题,提出一种基于证据推理的多属性群体决策方法。该方法首先应用灰色白化权函数将定量属性定性化,然后针对不同专家知识背景的不同,构建基于属性的专家赋权方法,用证据推理方法将不完全信息下的多个专家的意见进行集结,并应用效用理论对方案进行排序择优。最后通过一个算例验证该方法的有效性和可行性。     

定性地理信息检索方法及其实现

针对当前定量化的地理信息检索模型无法有效处理自然语义导致检索结果不理想的问题, 以语义匹配为原则, 以定性表达为基础, 以推理方法为手段, 提出基于定性空间推理的定性地理信息检索的方法及其形式化模型, 实现Web文档信息内容与查询请求的定性表达和信息提取, 支持基于语义的检索匹配和结果排序, 并进行原型系统的实验验证。这种定性检索方法符合人类常识性认知和表述习惯的方式, 基于定性知识表达和推理决策技术的地理信息检索问题解决方法可以提高现代地理信息检索技术的有效性。