基于限定的溯因问题求解

溯因问题是人工智能中的一个重要研究方向，它在许多领域中有着广泛的应用，但在很多情形下，溯因解释的求取是非常困难的．本文提供一种基于限定理论的溯因解释求法，对于满足完备性公理和正原因假设的理论，可以证明其限定中的相容解释就是溯因解释，并且对Ｈｏｒｎ子句集给出具体的求解算法.     

溯因问题求解方法

溯因推理(Abduction)是已知某一结果已经发生,去寻找这个结果的原因。具体地说,给定原因集     

基于一致性的中心诊断及中心溯因诊断

本文对溯因诊断的过程和中心溯因诊断的过程进行了刻画。将求中心溯因诊断的过程清晰地分为与领域有关的冲突识别及与领域无关的候选产生两大步骤。不仅指出了基于一致性的中心诊断与中心溯因诊断之间的关系，而且论证了中心溯因诊断与本原蕴含／蕴含式的直接关系。显示出基于一致性的中心诊断空间和中心溯因诊断空间不仅可同时计算，而且可用ＡＴＭＳ这类算法来计算，从而将我们的理论结果与实现联系起来。     

拓展溯因逻辑程序设计的辩论理论基础

讨论一类扩展的溯因程序,它包含经典否定、缺省否定、一致性约束以及溯因推理机制,论文的主要思想是：⑴本文限制某些假说（包括不相容假说）的攻击能力这样的出发点,定义一种更符合直观理解的“反驳”与“击败”概念,其中的Ⅱ－型击败关系具有动态的特点;⑵首次尝试一致性约束可以引起假说间的反驳与是一致笥约束不再仅仅是全局性的相容约束,基于这些思想提出的完全类语义拓展了Ｄｕｎｇ所奠定的溯因逻辑程序设计的辩论理论基     

溯因推理问题的碰集求解方法

溯因推理为归纳与演绎推理之外的另一种重要的推理形式,在人工智能等领域有着广泛的应用.通俗地讲,溯因推理是从观察(结果)去推断原因的推理过程.不同于以往的研究思路,通过使用本原蕴含式和素蕴含,证明了可以把命题逻辑和命题模态逻辑系统S5中求溯因问题的极小解释转化为求对应集合的极小碰集问题.给出了求解溯因问题的一种新方法.     

溯因推理研究：现状与问题

在人类认识世界的过程中,现实的生存世界里会不时发生着一些“令人惊奇的”现象,为了理解和分析这个问题,人们所使用的解疑释惑的方法往往就是尝试寻找引起这些现象的原因是什么。例如早上醒来你发现路是湿的,你会猜测昨晚天下雨了。通俗地讲这种解释观测事实(或已知结果)的推理过程就是溯因(Abduction)。可以说类似的例子一直在我们的日常生活或者科学研究中重复着,以现实生活中的医学诊断为例,当医生了解了患者的病症后,他会根据自己对疾病和症状间因果关系方面的医学知识,推断出可能的病因是什么。对于自然科学研究也是如此,N.R.Hanson和C.S.Pierce曾分别论证说,当开普勒断言“火星的运行轨迹是椭圆的”的时候,他所使用的推理方法就是溯因。     

基于溯因推理的主体协商

为了能够进行有效的协商,主体应当提高通信的效率。为此,接收者可以对发送者的当时的意识状态进行推测,这可以通过溯因推理实现。该文提出了一个基于溯因推理的主体协商模型,是对Parsons的基于论据的协商模型的改进。     

基于注意力平衡列表的溯因推理模型

溯因推理是自然语言推理(NLI)中的重要任务,旨在通过给定的起始观测事件和最终观测事件,推断出二者之间合理的过程事件(假设)。早期的研究从每条训练样本中独立训练推理模型;而最近,主流的研究考虑了相似训练样本间的语义关联性,并以训练集中假设出现的频次拟合其合理程度,从而更精准地刻画假设在不同环境中的合理性。在此基础上,在刻画假设的合理性的同时,加入了合理假设与不合理假设的差异性和相对性约束,从而达到了假设的合理性和不合理性的双向刻画目的,并通过多对多的训练方式实现了整体相对性建模;此外,考虑到事件表达过程中单词重要性的差异,构造了对样本不同单词的关注模块,最终形成了基于注意力平衡列表的溯因推理模型。实验结果表明,与L2R²模型相比,所提模型在溯因推理主流数据集叙事文本中的溯因推理(ART)上的准确率和AUC分别提高了约0.46和1.36个百分点,证明了所提模型的有效性。     

求成对线性规划问题的组合最优解的快速算法

本文研究求成对线性规划问题的组合最优解的算法，巧妙地将问题的求解转化成了求西凸多面体间的距离，并给出了求两凸多面体间距离的快速算法，以该算法为核心，一系列的成对线性规划问题的组合最优解的均能在Ｏ时间内求得。     

连续背包问题贪婪算法最优解的实现

贪婪法是用于设计数值最优化问题的算法之一,它能应用于求解不同领域的多种问题,如应用于集装箱问题的背包贪婪算法。贪婪法不追求最优解,不要回溯,只希望得到较为满意的解,使用贪婪法不能保证一定得到最优解。本文通过对连续背包问题不同贪婪准则的讨论,给出了一个贪婪算法最优解实现的C程序。     

基于半定量概率图模型的溯因分析方法

复杂工业系统的故障原因定位可协助操作人员快速调整设备运行参数,保障生产高效稳定地运行.铝电解过程机理复杂且外部因素干扰多,信息具有不确定性特征,难以建立精确的定量模型,而定性分析的准确度不高.为此,本文针对铝电解溯因过程的层次性、相关性、不确定性的特点,构建了一种基于半定量概率图模型的溯因分析框架,将定量和定性分析相结合,通过不确定理论对信息进行处理和描述,采用图形符号可视化知识变量间的因果关系,再基于概率图模型的推理方法实现不确定性条件下的溯因诊断,为实现铝电解异常槽况的原因分析与定位提供了理论支撑.     

基于时间贝叶斯Petri网的溯因故障诊断

针对复杂系统发生故障时告警信号间的时序约束关系,提出一种时间贝叶斯Petri网模型(TBPN),并基于该模型提出一种复杂系统的溯因故障诊断方法.该方法首先对观测到的告警信息建立时间Petri网,随后将其求逆并转换为TBPN.通过时间区间计算和溯因推理,分析告警信号的时序一致性并验证故障假说,最后对时序正确的故障事件链计算其故障概率并进一步分析干扰信息.仿真实验表明,该方法可对复杂故障进行快速诊断,并在告警信息存在丢失、虚警、时标差错时表现出较好的鲁棒性.与不考虑时间约束的同类方法相比,该方法具有搜索空间更小,抗干扰性更强的特点.     

基于网络表示学习的车险欺诈溯因分析研究

车险欺诈检测对促进汽车保险业的良性健康发展有着重要意义。由于欺诈的判断涉及公民权利等核心内容,需要车险专家对案件进行核查,提供欺诈原因。尽管基于机器学习的方法泛化能力强、精确度高,但缺少可解释性,而基于专家系统的规则方法尽管有较好的可解释性,但受限于规则复杂的触发条件。为了解决未触发专家系统欺诈规则而被机器学习方法检测为“欺诈”的案件无法被解释的问题,文中提出了基于网络表示学习的车险欺诈溯因分析方法。该方法首先定义了车险欺诈溯因分析任务,然后采用网络表示学习对已触发专家系统中欺诈规则的案件进行案件-规则因子网络的建模,学习欺诈规则中因子的分布式向量表示。为了更好地度量“欺诈”案件与专家系统中因子未全部触发规则之间的相似度,该方法基于溯因缺省原理,设计了一种规则因子的加权拼接策略来缓解训练数据不足的问题。实验结果表明,所提方法相较于已有方法在车险欺诈溯因预测任务的3项指标中均能取得更好的效果。     

斐波那契树优化算法求解多峰函数全局最优解的可达性分析

为分析和验证斐波那契树优化算法（Fibonacci tree optimization algorithm,FTO）求解多峰函数全局最优解的算法性能,对算法的可达性问题进行研究.本文基于斐波那契法构造一个斐波那契树结构,在搜索空间中进行全局、局部交替搜索,不易陷入局部最优解.对斐波那契树优化算法基于该结构的可达性进行分析和证明.通过跟踪算法求解过程中坐标点的累积分布仿真实验和到达率的对比实验,分析和验证了算法求解多峰函数全局最优解的可达性.     

用单纯形法求线性规划最优解通用程序

在科学管理中,常常遇到在满足关系式马八十a;入十··－＋a。xu＞（或＜）C;aZI”、awe＋”””＋a。xu＞（或＜）Cam。“。＋a。入十”””＋am。xu＞（或叫Cffi条件下,求／00一人X;＋A入十·’·＋AX。的最大值或最小值。解决这类问题常用的有图解法、列举法、单纯形法等方法。前两种方法只解决比较简单的问题,而单纯形法进行手算虽能解决稍复杂的问题,但既繁锁,又费时,且易出差错。而用单纯形法程序,在输入有关数据后能立即得到正确的结果。程序清单10rem用单纯形法求线性规划最优解20Prim"求最大植（D）还是最小值（X）…     

多因素制约的迷宫问题最优解的求解算法

介绍迷宫问题及其最优解,引入多因素制约的迷宫问题。重点讨论多因素制约迷宫问题最优解的含义及基于广度优先搜索的求解算法,并通过两个实例分析如何基于广度优先搜索算法求解这类迷宫问题的最优解,并给出算法的伪代码。最后,进一步讨论和总结这类迷宫问题最优解的求解算法。     

背包问题最优解的结构

讨论背包问题的最优解,引入背包问题的阶的概念,并对背包问题的阶作出深入的讨论,在此基础上得到背包问题的最优解的一般形式。     

八心圆弧拟合椭圆误差的理论解析及最优解及最优解

在数控加工领域,由于加工刀具一般采用的是球刀,因此在加工非圆的曲面时采 用的是用圆弧拟合的方法转换成圆弧加工,理论拟合精度决定了加工误差;圆弧拟合椭圆有无 数解,针对八心圆弧拟合椭圆没有准确的误差算法导致拟合椭圆的精度较模糊这一问题,根据 图形学理论提出了等差拟合弧的概念,确定了八心圆弧拟合椭圆的定解区间,导出了拟合椭圆 的八心圆弧法向误差超越方程解析式,并用二分法求解,在AutoCAD 环境下应用Visual LISP 语言编程,求解出根据法向误差确定八心圆弧拟合椭圆的最小误差带,从而确定八心圆弧拟合 椭圆的最优解,使八心圆弧是否可以拟合给定形状公差的椭圆有了准确的判断依据。     

控制系统ɭ1优化设计最优解的存在性和次优解*

本文初步研究了控制对象有z平面单位圆上零极点时?1优化设计问题解的存在性，指出在此种情况下?1优化问题的最优解不一定总是存在。提出了解存在性的判别定理。在最优解不存在时给出了次优解的求取方法。