β-PSML语言中的混合推理算法

研究了由描述逻辑和Horn子句组成的β-PSML语言逻辑基础的理论问题,给出了基于可确定描述逻辑的混合推理算法.在无递归情况下,β-PSML语言中单步的Horn子句推理需要由一个更为复杂的推理步骤所取代,称这个推理步骤为β-PSML语言中的混合推理.β-PSML语言中的混合推理问题可以描述为:通过结合Horn子句的前件与描述逻辑的术语是否可以推导出Horn子句集中一些Horn子句的前件.     

分布式β-PSML语言框架及其应用

为了完成在大规模、分布式环境下的问题查询,提出了分布式β-PSML语言.分布式β-PSML语言对β-PSML语言在复杂度适应性和分布式问题解决方面进行了扩展,使得它可以在语义Web上进行自动推理.另外,分布式β-PSML语言的推理可以通过结合在语义Web和社会网络上的全局信息源与在企业门户中的本地知识与数据库完成.实验结果表明,分布式β-PSML语言通过结合全局与本地资源推理可给出正确的结果.     

β-PSML语言在WI的分布式环境中的应用

在分布式、网络计算环境中,为了使在线的发现和匹配方法可行,采用预先定义的问题解决标记语言(problem solver markup language,PSML)的语法和语义开发和编写个体的内容和服务.在大型分布式Web环境下,提出了一种基于β-PSML的问题解决方法.实例表明,该方法可以很好地解决在分布式环境中的一些具体问题.     

等价类中弱函数依赖的粗糙集度量

提出了一种较有意义的产生推理通道的推理规则,即等价类中的弱函数依赖(WFDoE),并给出了它的形式化定义.利用粗糙集理论定义WFDoE的置信度和支持度,并给出了从数据库中挖掘WFDoE的推理规则算法.实验结果表明,WFDoE可以有效增强防范推理泄露的能力.     

描述逻辑 ALC中的 ABOX 反绎推理算法

鉴于已有的描述逻辑 ALC中 ABOX 反绎推理算法需要转化到 FOL上处理,涉及了大量变元和Skolem 项的使用.ALC-Tableau可以避免大量变元和斯科伦项,给出了一种直接在 ALC 上处理 ABOX 反绎推理问题的算法.该算法将 ABOX 反绎推理问题转化为知识库的一致性问题,在此基础上结合反绎推理的自身特性对传统的Tableau构造过程进行扩充,最终借助一个回溯过程找出反绎问题的所有解.     

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

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

模糊事例推理的实现与应用

推理机制是模拟人类思维方式的关键技术之一,针对这一问题研究了事例推理的实现和应用,并给出例证.引入基于模糊关系矩阵的模糊推理算法,提出实用事例结构模型和实现事例推理的模糊匹配算法,分析了模糊事例在GSM网络优化专家系统中的应用.     

利用细胞膜演算描述带子句学习的DPLL算法

为了达到推理算法形式化描述的目的,本文采用细胞膜演算的形式化方法描述带子句学习的DPLL算法。分别定义了部分赋值、变元反转、回溯、回跳最大层、细胞膜溶解等反应规则,给出了DPLL的一般过程和冲突分析过程的描述。通过一个算例的求解过程验证了该形式化描述方法的可行性。依赖细胞膜演算可以更直观、简洁地展现推理算法的推理过程,同时展示了膜演算的描述能力和处理能力。     

柔性制造系统调度算法研究

针对混合流程调度的特性，研究了两台并行可替换机床的调度问题，在一个加工阶段内有两台机床并可相互替代加工，调度目标是使所有任务在这两台机床上的加工时间最短，这个问题已被证明为NP-hard问题。为此在分枝定界算法基础上提出了两个关于调度替换原则的推理，作为解决这类调度问题的基本原则。根据这两个推理给出了如何在这种混合流程调度中对任务排序及指定加工机庆的启发式调度算法，最后，通过仿真试验验证了该算法的有效性。     

基于MAS远程教学系统中学生模型的设计

为了改善传统的基于Web的远程教育缺陷,提出了一种基于MAS(多Agent系统)的远程教学模型,并利用Agent的智能推理能力对模型中的核心模块——学生模型进行设计.采用模糊理论进行智能推理,并给出了学生知识水平估算和学生情绪估算的Agent的推理算法.采用JAVA2将学生模型在自测系统中得以实现,并分析了测试结果.该系统推理算法简单有效,增强了远程教学的智能性和适应性,可有效改善教学效果.     

土石坝病险智能诊断系统框架研究

将基于规则与案例的混合推理技术应用到土石坝病险诊断系统中,为土石坝病险智能化诊断提供了一条新的途径。文中针对土石坝病险诊断的案例特点,提出了基于规则与案例混合推理的土石坝病险智能诊断系统框架模型,设计了案例模糊检索策略,并给出了应用范例.     

基于区间值相似度集合的区间值近似推理

在引入区间值相似度集合概念的基础上,给出基于区间值相似度集合的区间值近似推理的数学模型,并研究了其相关性质和推理算法,最后通过实例验证其推理算法的可行性与有效性。     

并行可替换机床混合流程调度算法研究

针对并行机床混合流程调度特性，分析了两种可替换加工情况调度问题的特点，考虑到调度目标是使所有任务有两台并行机房上的加工时间跨度最小，在此基础上作出了两个相应的推理。推理1得出了一台同机床可以替换时的优化调度方法，推理2得出了两台机床都可以作为替换机床时的优化调度方法，并在分析定界法的基础上，给出了两台并行可替换机床两种情况下的优化调度算法，最后通过仿真实验证明了本算法的有效性。     

支持空间推理的模糊描述逻辑Fuzzy-ALCRP(D)

描述逻辑ALCRP(D)在经典描述逻辑ALC的基础上添加具体域和角色构成谓词算子,用于确定性空间的推理,但不能用于模糊空间的推理.通过以描述逻辑ALCRP(D)的模糊扩展为例,构建出模糊描述逻辑Fuzzy-ALCRP (D),给出Fuzzy-ALCRP (D)的Tableau判定算法,并给出一个Fuzzy-ALCRP (D)在模糊RCC8空间中的推理实例.     

T-S模型下神经网络的模糊推理及应用

基于T-S模糊模型提出了一种易于推理的神经网络结构,讨论了其自学习算法,并给出了用于模糊推理的估值算法和三级知识表示方法,实例说明了其应用价值.     

面向矛盾问题的动态描述逻辑扩展研究

为了使动态描述逻辑DDL具有处理简单矛盾问题的能力,引入可拓集合和可拓变换对它进行扩展.文章提出了一种动态描述逻辑DDLESET,给出了DDLESET的语法形式和语义解释;对传统描述逻辑、模糊DDL和DDLESET中的ABox形式进行了比较分析;研究了DDLESET的基本推理问题,对传统描述逻辑的一致性检测算法Tableau算法进行了可拓扩展.描述逻辑DDLESET盯具有对关联度值分别为正负域的模糊断言的表示与推理能力,并可以为关联度值为负域的断言即不可满足的概念或不可实现的动作提供求解策略,从而使其变得可满足、可实现.     

反证法在计算机自动推理系统中的研究与实现

把数学证明中的反证法与机器证明中前推搜索法相结合,使计算机在自动推理方面能够更加完善.给出一个算法,根据命题的结论将命题分类,针对不同类型,设计不同的解决方案,实现了反证法在自动推理中的运用.     

基于可信度的通用性推理机制的设计与实现

分析了目前普遍使用的自向推理、逆向推理、混合推理的特点和不足，根据实际开发经验对此提出了改进，并给出了具体实现方法。     

基于神经网络推理策略的电梯故障诊断法

针对电梯控制系统中, 基于故障树推理法的故障诊断专家系统在线诊断实时性较差, 诊断结果准确性偏低的问题, 采用基于神经网络推理策略的方法, 建立了单故障诊断和复合诊断模型, 并给出有权值训练的变步长BP算法.在Matlab环境下, 对单故障模型进行了仿真实现, 实验结果表明, 神经网络推理策略效果优良.     

双目标动态迁移操作DE-PSO混合算法

针对非线性约束优化问题的特殊性,给出一种求解非线性约束优化问题的动态目标迁移DE-PSO混合算法.在初始化中加入迁移操作,采取动态目标的处理方法,将约束优化问题转化为无约束双目标优化问题.依据原目标函数、违反约束度函数进行选择操作,先通过改进差分进化算法对种群进化,对违反约束度在容忍度以外的个体再采用改进的粒子群优化算法进化,并用采用一组经典的测试函数进行测试.DE-PSO混合算法具有精度高、稳定性好的特点.