推理算法

摘要： 如果将达特茅斯会议作为人工智能(AI)诞生的标志的话,我正好与AI同岁。但是,迄今为止,国际上对AI是什么仍众说纷纭。比较有共识的似乎是对AI的代际划分,即第一代AI是基于知识的,第二代AI是基于数据的。而现在,大家正在开启对第三代或新一代AI的研究。但要弄清楚新一代AI的特征,首先必须搞清楚第一代和第二代AI存在的问题。我认为,第一代AI之所以不够成功,主要问题有三个:第一,其知识是以规则的形式表达的,因而是碎片化的,尽管有一套格式,但很难说是一个严谨的科学体系,更像是一种实用技术。然而,没有严谨的科学理论支撑的技术是走不远的。第二,缺乏严谨的不确定性表达和推理算法。现实世界绝大多数都有不确定性,只有证明数学定理等少数情况无不确定性。显然,没有严谨的处理不确定性的算法限制了第一代AI的应用。第三,追求通用AI(AGI),将目标定得过于宽泛,要求其像人一样能够学习、识别、分析、归纳、推理、感知等,是不现实的。

摘要： 近年来,空间关系推理在空间关系数据的表达和来源方面和语义网、空间信息服务相结合,极大的扩展了空间数据的来源,并在本体的基础上的统一了空间数据的表达方式。本文以 Oracle 语义数据库为平台,提出了一种基于约束满足的空间关系定性推理方法,并研究空间关系定性推理算法和对推理结果的检验算法,最后编程实现这些算法。

摘要： 随着Web技术的日益成熟,人们对Web服务的需求量日益增加,如何将最优服务推送到用户变得至关重要。服务的质量参差不齐、服务的时间有效性无法确定、Web服务组合关系依赖图随之扩大等问题导致将最优服务推送到用户所耗费的代价越来越大,因此研究采用将服务组合建立在模糊时序Petri网的基础上进行的手段来解决以上问题。对于服务质量动态可变的特性,提出服务可信度的概念;对于服务任务间的时间约束问题,给出服务时间约束的方法。对于一个庞大的Web服务组合关系依赖图,通过正反向推理算法将其进行优化去冗余来进行处理。

摘要： 为了确保城市路网交通流平稳运行和各路段交通流量合理分配,提出了一种基于变结构动态BN的最优交通路径规划方法;该方法考虑驾驶员偏好,按时间序列建立适用于交通路径规划的变结构离散动态BN模型,采用最大似然估计算法和参数的自适应产生算法学习网络参数,用基于时间窗的动态BN近似推理算法中固定窗口宽度方法进行在线推理;结合实例对算法进行仿真,并与Dijkstra算法所得结果进行比较;实验结果表明变结构离散动态BN能利用实时采集到的信息对最优路径进行实时更新,在线决策.

摘要： 为了能够充分利用企业现有的CAD模型,提出了一种基于语义推理的变型设计方法.首先,对三维CAD信息模型和装配语义信息模型进行了研究,给出了两种模型的构建方法.在此基础上,对语义推理方法进行研究,结合相似性算法实现了CAD信息模型至装配语义信息模型的自动映射.并进一步实现了尺寸约束方程式在一定程度上的自动生成及尺寸约束传递解算.最后,以SolidWorks为三维CAD模型平台,以VC++6.0为编程语言开发出语义映射系统,并以某企业的龙门铣床的主轴箱作为例子,对该系统进行了验证.%In order to make full use of existing CAD information model in Enterprise,a variant design method based on semantic reasoning is proposed. First of all,Three-dimensional information model and assembly semantics information model are studied,and two methods of modeling is presented. Based on this,study on semantic reasoning method,combined with similarity algorithm to puts forward the information from the CAD model automatically map to assembly semantic information model. And to further automatically generated the size constraint equations to a certain extent,and solve the size constraint. Finally,base on 3D software SolidWorks and programming software Visual C++,system of semantic mapping is developed. All the above mentioned methods and processes are verified by taking a spindle box of plane miller as an example.

摘要： Based on bipolar information and Fuzzy Petri Net (FPN), by integrally analyzing attack and defense factors, a new network attack model named Bipolar Information Petri-net Attack Net (BIFPAN) is put forward.In BIFPAN, the system state is depicted as the place of FPN while the process of attack and defense actions is depicted as the transition, thus the changes of network state by attacked and defense can be represented directly.On basis of these, the basic reasoning rules and algorithm are proposed in BIFPAN, and the effectiveness of the algorithm is verified by examples.%以双极信息理论和模糊Petri网(FPN)为基础,综合分析与考虑网络系统的攻击和防御因素,建立一种新的网络系统攻防演变模型BIFPAN.该模型用库所表示系统所处的状态,变迁表示系统受到攻击和采取防御行为的过程,从而使得网络攻击和防御情况的演变得到直观地表示,并给出了BIFPAN模型的双极推理规则和双极推理算法,并通过实例验证算法的有效性.

摘要： 专家系统是一种能以领域专家的水平来解决复杂问题的智能程序。基于机械加工误差领域的知识,提出了一种机械加工误差专家系统的构建方法。首先研究了专家系统的基本结构和工作原理,介绍了其主要模块的功能;然后分析了机械加工误差知识的获取方法与分类,并在此基础上建立了一个框架式知识库;根据机械加工误差知识的结构特点,选择框架和产生式知识表示方法对其进行描述;最后,采用正向推理机制设计了专家系统的推理算法。对该方法的研究为机械加工误差知识的管理、积累和智能化应用提供了一种新的有效途径。

摘要： Bayesian网络和动态Bayesian网络的推理,无论是精确推理还是近似推理都已经被证明是NP难的。MP.rn Wellman首先提出了定性概率网络的方法,它是对概率网络的定性抽象。在定性概率网络的基础上,本文类比地提出了一种具有反馈环的定性动态概率网络,与动态Bayesian网络相比,它不仅便于表达,而且更加便于进行定性推理,同时给出了相关的定义以及相应的定性推理算法和伪码描述。

摘要： 智能照明系统的设想,不应该只是基于"感知-控制"模式,应该具备学习的能力,积累经验.搭建真正的智能照明系统,主机接受从机发送过来的数据并存储、完成用户行为分析及推理算法,并进行命令发送;从机完成数据的采集,并对灯光进行控制.本设计通过采集各个照明节点的使用数据,进行处理后,再根据用户行为分析算法和行为推理算法预测用户某一时刻的行为,主动为用户提供服务建议.

摘要： 近年来概率图模型已成为不确定性推理的研究热点,在人工智能、机器学习与计算机视觉等领域有广阔的应用前景.根据网络结构与查询问题类型的不同,系统地综述了概率图模型的推理算法.首先讨论了贝叶斯网络与马尔可夫网络中解决概率查询问题的精确推理算法与近似推理算法,其中主要介绍精确推理中的VE算法、递归约束算法和团树算法,以及近似推理中的变分近似推理和抽样近似推理算法,并给出了解决MAP查询问题的常用推理算法;然后分别针对混合网络的连续与混合情况阐述其推理算法,并分析了暂态网络的精确推理、近似推理以及混合情况下的推理;最后指出了概率图模型推理方法未来的研究方向.

摘要： Markov逻辑网是将Markov网与一阶逻辑相结合的一种全新的统计关系学习模型.本文介绍了Markov逻辑网的理论模型,参数学习算法和推理算法,并对参数学习方法进行了改进,用信息熵值选取抽样点,弥补了原参数学习算法中,节点抽样的单一性和片面性,提高了算法的精度和适应度.最后,本文用Markov逻辑网的方法解决了联系发现的问题.实验证明,改进的Markov逻辑网是解决联系发现问题的一种有效方法.

摘要： 针对舰艇编队电磁态势预测过程中存在大量不确定、不精确、不完全的知识表示与推理问题,将动态贝叶斯网络(DBN)应用于舰艇编队电磁态势预测中.首先分析了舰艇编队电磁攻防事件的类型.其次结合案例构造了舰艇编队电磁态势预测DBN,并研究了DBN的推理算法.最后,利用案例对所建立DBN模型的合理性进行了验证.结果表明,该模型的建立在一定程度上为舰艇编队指挥员电子战决策提供决策依据.

摘要： 针对不确定性管理决策问题,在证据理论与图模型研究的基础上,提出并建立了证据网络模型,总结了证据网络的建模优点;研究了以信度规则为参数模型的证据网络推理方法,给出了基于证据推理算法的信度规则激活、合成及结果分析过程;最后,通过某军事威胁评估与预测算例演示证据网络建模、分析、推理等数值计算过程,验证了方法的可行性和有效性.证据网络模型将为管理决策分析、系统工程管理等领域的问题分析和求解提供一种有效的技术方法支持.

摘要： 军事概念模型各要素之间存在着各种复杂的关系，部分-整体关系是这些要素之间的一种极为重要的关系类型，决定了作为统一整体的模型的内在组成和构件之间的联系。首先，从本体上对军事概念模型中的各种部分-整体关系类型进行了详细地分类，然后使用描述逻辑对各种关系进行了形式表示，最后给出了对关系实例的正确性检验的推理算法。

摘要： 概率网络是一种非常有效的不确定性知识表达和推理工具。综述了贝叶斯网络及其扩展模型、基于知识概率图网络的建模技术、学习算法以及推理算法等方面的研究,并简要介绍了近年来在我国的应用情况。

摘要： 定性路径是定性空间推理的一个基本概念.给出了一个基于Voronoi图的定性路径表示与推理方法.该方法应用Voronoi图的邻近关系来表示定性位置和定性路径,即用运动点所在Voronoi区域的邻域来表示定性位置,用运动点所经过的定性位置序列来表示定性路径.设计并实现了一个定性路径推理算法,基于初始Voronoi图及不同时刻所有Voronoi区域的边数来动态更新Voronoi图邻近关系,可识别出运动点并找出定性路径.实验结果表明.该方法是可行的.

摘要： 随着语义Web本体技术的快速发展和近似推理技术的应用，语义Web近似推理满足了快速有效地搜索有用的信息和知识的需求。本文主要从语义Web近似推理的难点介绍了近年来关于语义Web近似推理的研究，并在最后对语义Web近似推理研究的发展趋势做了总结。

摘要： 本发明实施例公开了一种自适应模糊脉冲神经膜系统，其具有如下结构：∏＝(A，N

摘要： 本发明提供一种基于增强学习算法的双层贝叶斯网络推理算法，包括以下步骤：步骤S1、初始化节点的增强学习概率表；步骤S2、分别更新横轴方向和纵轴方向上的条件选择概率的；步骤S3、对横轴的取值组合和纵轴的节点进行判断，删除冗余的取值组合和节点。本发明的基于增强学习算法的双层贝叶斯网络推理算法通过建模双层网络参数之间的概率依赖关系，根据已知网络状态推理分析后续网络状态，并采用增强学习的算法对推理的过程中所获取的网络节点的不确定信息进行学习和判断，进而对其进行分级，得到其概率信度值，进一步将得到的双层贝叶斯网络模型进行简化，只保留其中对推理最有用的信息，使其更利于实现和精准推理。

摘要： 本发明涉及一种基于Spark Streaming的流式RDF数据并行推理算法。首先结合OWL Horst推理规则，构建相应的规则连接变量关系表；在迭代并行推理阶段定时获取Streaming数据流中的批量新数据以及前次推理产生的数据作为输入数据，对输入的模式数据和实例数据进行归类处理并存储到相应的Redis集群；然后，根据规则连接变量关系表，判断本次推理能够激活的规则，结合相应的实例数据产生推理数据；最后，删除本次推理产生的重复数据并存储，本次迭代推理结束。本发明减少了MapReduce的任务数，结合Spark进行流式数据的迭代推理；设计规则连接变量关系表来存储数据以及推理中产生的新数据，保证了算法的完备性；设计了实例三元组的存储方案，结合Redis的特性，以空间换时间，实现了实例数据的快速读取。

摘要： 本发明公开了一种基于集成学习的生物网络推理算法。它包括：针对n个基因组成的生物网络推理问题，将n基因*m时序微阵列表达数据集作为训练样本，计算每个基因对应的训练集；采用随机森林算法、梯度提升树算法分别计算每个调控因子与目标基因对的特征重要度得分，分别给出对应的第一特征重要度评分表、第二特征重要度评分表；计算第一特征重要度评分表的准确度ACC1、第二特征重要度评分表的准确度ACC2；采用E‑alpha加权规则将第一特征重要度评分表、第二特征重要度评分表进行加权融合，得到最终的总评分表；根据总评分表得到最终生物网络结构。本发明有效提高了生物网络推理的准确度以及稳定性。

摘要： 本发明涉及数据处理技术领域，公开了一种基于知识图谱推理算法的数据推理方法、装置及存储介质，所述方法包括：根据当前病历诊断报告得到病历报告书写习惯和诊断特征数据；根据NLP自然语言规则通过目标语言转换策略对诊断特征数据进行规范化处理；根据目标知识图谱通过目标阶数张量分解模型对标准特征数据进行推理；根据病历报告书写习惯通过标准关联数据和标准补充数据对当前病历诊断报告进行完善，并将目标高质量医疗数据进行推送；通过上述方式，根据目标知识图谱通过目标阶数张量分解模型推理出关联数据和标准补充数据，然后基于病历报告书写习惯得到高质量医疗数据，从而能够有效提高医疗数据的质量和准确性，进而提高用户的工作效率。

摘要： 本发明提供一种基于增强学习算法的双层贝叶斯网络推理算法，包括以下步骤：步骤S1、初始化节点的增强学习概率表；步骤S2、分别更新横轴方向和纵轴方向上的条件选择概率的；步骤S3、对横轴的取值组合和纵轴的节点进行判断，删除冗余的取值组合和节点。本发明的基于增强学习算法的双层贝叶斯网络推理算法通过建模双层网络参数之间的概率依赖关系，根据已知网络状态推理分析后续网络状态，并采用增强学习的算法对推理的过程中所获取的网络节点的不确定信息进行学习和判断，进而对其进行分级，得到其概率信度值，进一步将得到的双层贝叶斯网络模型进行简化，只保留其中对推理最有用的信息，使其更利于实现和精准推理。

摘要： 本发明公开了一种基于模糊推理算法的热轧带钢板形凸度预测的方法，包括以下步骤：S1、收集热轧带钢生产过程中记录的数据，确定数据中影响热轧带钢板形凸度的参数，构建原始数据集；S2、利用随机森林算法，筛选原始数据集中影响热轧带钢板形凸度的关键数据特征，构建基于关键数据特征的特征数据集；S3、利用FCM算法对特征数据集进行聚类分析，构建初始的模糊规则；S4、使用Mamdani模糊推理法获得热轧带钢板形凸度预测结果。本发明便于实际应用到工业现场指导现场生产，提升钢铁产品质量的稳定性及一致性。

摘要： 本发明提出一种基于路径质量评估的知识图谱推理算法RLKGR‑PQD。该算法包括：改进基准算法加入路径质量评估模块并给出相应的总体框架图，然后在两组公开数据集(FB15K‑237和NELL‑995)上对基准模型和改进后的RLKGR‑PQD模型进行实验，最后实验分析验证了RLKGR‑PQD算法的有效性，实验结果表明改进算法有效地提升了查询问答中的MRR指标。

摘要： 本发明公开了一种基于推理算法的年度生产计划智能监管方法，该方法为：通过从6+1生产管理系统中提取试验计划、工作票的编排信息，对年度生产计划进行督查监管，应支持运用交叉探查、维度整合与拆分方法，结合智能推理算法，对生产计划的编排数据进行智能分析与精确匹配。本发明通过关联生产计划工单、工作票、设备试验周期时间等，监督系统预试计划一致性；依据设备试验周期，监督编制的试验计划是否超期与超期的数量情况；依据设备台账和设备试验周期，监督编制的试验计划和试验对象是否有遗漏。

摘要： 类人行为决策模型的推理算法属于人机交互技术领域，尤其涉及一种类人行为决策模型的推理算法。本发明提供一种类人行为决策模型的推理算法。本发明包括感知层、评估层、决策层，其特征在于在感知层中用产生式系统结构的方法进行行为认知建模，把产生式作为人工智能系统中一个基本的知识结构单元，将产生式系统当做一种基本模式，并用产生式规则表示推理过程和行为，采用产生式规则表示因果关系，表示知识之间的规则，模拟人类求解问题时的逻辑思维推理过程；在评估层中，服务机器人根据感知层输出的模糊状态信息，参照知识库中包含的经验和先验知识来理解、判断当前的态势，采用以认知为主的行为建模方法。