推理系统

摘要： 中国"推类"逻辑的归纳特性剖析表明,中国古代有归纳逻辑,作为一种非形式逻辑,其推理类型具有不同于西方归纳逻辑的特殊性,具体体现在推类的价值相关性上。从逻辑系统看,伦理推理是中国古代归纳逻辑的基本推理系统。伦理推理具有三个特征:大前提有较强的语境敏感性;推导一般不具演绎有效性,更具概率性;类比是推论的主要方式。

摘要： 开放文本中蕴含着大量的逻辑性知识,以刻画事物之间逻辑传导关系的逻辑类知识库是推动知识推理发展的重要基础,研发大规模逻辑推理知识库有助于支持由实体或事件等传导驱动的决策任务.该文围绕逻辑推理知识库,论述了知识库的概念、类别和基本构成,提出了一种面向大规模开放文本的实体描述、事件因果逻辑知识快速抽取方法;面向金融领域,探索了一套基于逻辑推理知识库的可解释性路径推理方法和金融实体影响生成系统.算法模型和系统均取得了不错的效果.

摘要： 短短50年,司法(法律)人工智能的飞速发展令人惊叹,特别是近几年,人工智能大有取代法律人的趋势。在国外,人工智能应用于司法领域的例证可追溯至20世纪70年代,美国等发达国家研发了基于人工智能技术的法律推理系统、法律模拟分析系统、专家系统运用于司法实践。我国最初将人工智能应用于司法是在20世纪80年代,由朱华荣、肖开权主持建立了盗窃罪量刑数学模型;1993年,赵廷光教授开发了实用刑法专家系统,具有检索、咨询刑法知识和对刑事个案进行推理判断、定性量刑的功能。

摘要： 内蒙古文化出版社2002年1月出版的《古文明之谜》中有一篇文章《<易经)是外星人传来的吗》,其中有段对《易经》的有趣说法:“外星人光顾地球,并‘告诉’了周文王许多先进的科学知识,而周文王……只能以卦艾推理系统记录下其形式……”这里的“卦艾”应是“卦爻(yao)”之误。

摘要： 为提高软件定义网络(Software Defined Network,SDN)可疑流量检测算法性能,提出一种基于无向图流程创建信息聚合推理的k近邻SDN可疑流量检测方法.利用OpenFlow模块进行数据流创建,并进行入侵规则构建.然后,基于马尔可夫链的图节点/边表示,采用无向图方式进行攻击特征表示,实现新增攻击的增量化表示,降低无向图构建的计算复杂度,并利用k近邻算法对无向图恶意攻击流量特征进行分类,实现攻击有效检测.最后,通过构建的SDN测试平台,对所提算法的性能进行验证.

摘要： Originally,functional dependency theory got a lot of attentions as a schema designing tool,which is not so effective in data repairing.Recent years,more constrains have been proposed to detect and repair inconsistent data,including conditional functional dependencies (CFDs),fixing rules and editing rules,etc.However,to the best of our knowledge,all of the proposals focus on dependencies between entire attributes,while there are ubiquitous dependencies between partial information of the attributes in the real world.For example,the id’s 2-length prefix of an employee may determine her department,while this kind of dependencies have been ignored by previous proposals. In this paper, we firstly propose a class of more general constrains,referred to as micro-dependencies(MDs).Extracting functions(EFs)are involved into MDs to extract partial information from attributes. With dependencies between EFs,more inconsistent data in a dataset can be detected.For static analysis of MDs,we then investigate the satisfiability problem and the implication problem analogous to those for CFDs.And then a sound and complete inference system for implication analysis is developed.Finally,we experimentally show that MDs can detect much more errors in data with an acceptable time cost.%起初，作为一个数据库模式设计的工具，函数依赖理论得到了很多的关注，而在数据修复中，该理论并不是十分有效。近年来，针对不一致数据的检测和修复问题，更多的约束被提出来，包括条件函数依赖、修复规则以及编辑规则等。然而，这些方法都只关注了属性整体之间的依赖关系，而实际应用中的数据通常有属性部分之间的依赖关系。例如，某单位员工的工号前两位决定了其所属的部门，而此类依赖信息就被已有方法忽略。该文首先提出了一类更一般化的约束———微函数依赖，微函数依赖引入提取函数，用来表示属性的部分信息。利用提取函数之间的依赖关系，能够检测出更多的不一致数据。理论方面，该文首先研究了微函数依赖的可满足性问题和蕴含问题，然后提供了一个正确且完备的推理系统。最后，通过实验证实了微函数依赖能够在可接受的时间开销内检测出更多的错误数据。

摘要： 研究了基于约束系统求解的安全协议形式化验证方法,该方法将安全协议的执行迹抽象为约束系统,将安全属性表示为基于协议迹的一阶公式,并通过求解约束系统来判定安全属性公式是否得到满足;提出了基于约简规则的一般化约束求解算法,可以证明该算法是正确的、完备的,并且是可停机的.

摘要： 在船舶风险管理中,为从已有的风险监测实例中挖掘出潜在的风险诊断知识,将人工智能的思想应用于风险状态识别,利用基于信息熵的决策树的知识获取方法从监测实例中推理风险与相应特征的对应关系.采用主元分析方法约简条件属性,采用C4.5算法度量风险监测实例表中各条件属性对状态识别的重要性,建立基于状态监测实例库的风险诊断推理模型.通过运用此模型对船体腐蚀程度进行风险监测管理,验证了诊断推理的效果,相应的信息处理流程为船舶的持续风险监控提供了手段支持.

摘要： 博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证.不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议.于是在并行认知博弈结构CEGS中引入效用函数和偏好关系,得到新的并行认知博弈结构rCEGS,并在合作模态算子《Γ》中引入行为ACT参数,提出新的交替时序认知逻辑rA-TEL-A,并基于不动点描述rATEL-A时序算子.然后基于rATEL-A,提出适合于形式化分析理性安全协议的推理系统,并对具体的理性安全协议的公平性、安全性等性质进行形式化分析.

摘要： “我知道的都告诉你们了。”老怀特耸耸肩膀说。“船模里二层甲板上刻有形字符号，你不知道吗？”“卐字符号？我真不知道，我没有拆船模，如果动了手脚，那船肯定会有破损，也不可能当礼物送给布鲁斯。”

摘要： 精确的时间描述语言和高效的时间推理机制是时间语义研究所追求的目标.目前,研究学者们主要采用逻辑描述方法来形式化自然语言中的时间信息,这是因为经过漫长的发展演变,逻辑描述语言已经具有一套清晰的语法、语义描述系统和证明理论,但是,只靠原有逻辑系统中的推理方法来对时间信息进行推理是远远不够的,因此,通常采用约束满足策略来弥补逻辑推理的不足,也就是说用约束满足策略使文本中不确定、不完整的时间描述精确化.目前较具代表性的时间分析及推理系统主要有这样几种:Allen的时间段运算(Allen's Interval Algebra,简称IA),Vilain和Kautz的时间点运算(Vilain and Kautz's Point Algebra,简称PA),Dechter等人的时间量值信息推理,Kautz和Ladkin以及Meiri的量值-相对关系约束联合处理法等. 本文首先分析了时间本体所包含的主要内容,然后采用逻辑语言(精确时间逻辑RTL)来描述时间本体,将句子中的时间和事件联系在一起,并形式化为一个定向约束网络,而后在此基础上进行推理,使文本中的模糊时间信息精确化。

摘要： 起初,作为一个数据库模式设计的工具,函数依赖理论得到了很多的关注,而在数据修复中,该理论并不是十分有效近年来,针对不一致数据的检测和修复问题,更多的约束被提出来,包括条件函数依赖、修复规则以及编辑规则等然而,据本文作者所知,已有方法都只关注了整个属性之间的依赖关系,而实际应用中的数据通常有部分属性之间的依赖关系例如,某单位员工的工号前两位决定了其所属的部门,而此依赖信息就被已有方法忽略本文首先提出了一类更一般化的约束—微函数依赖,微函数依赖引入提取函数,用来表示属性的部分信息利用提取函数之间的依赖关系,能够检测出更多的不一致数据理论方面,本文首先研究了微函数依赖的可满足性问题和蕴含问题,然后提供了一个正确且完备的推理系统最后,通过实验证实了微函数依赖能够在可接受的时间开销内检测出更多的错误数据.

摘要： 本文在分析计算机技术在采矿工业中应用现状的基础上,着重讨论了我国采矿系统计算机技术应用的具体情况,具体内容包括：专家系统、知识归纳法原理、基于实例的推理系统和人工神经网络技术。最后,通过对计算机技术在采矿业中的应用进行展望,认为计算机技术对采矿业的健康快速发展有着巨大的作用。

摘要： 本文的主要目的是评估人机系统中操作员功能状态(Operator Functional States，OFS)。在实验室环境下，用密封舱内空气管理自动化系统(automation enhanced Cabin Air Management System，aCAMS)模拟控制任务，同时记录操作员的生理信号和性能。采用自适应神经模糊推理系统(adaptive network-based fuzzy inference system，ANFIS)对OFS进行建模，通过生理信号数据识别和预测OFS，进而可以改变控制策略，实现智能化人机交互。

摘要： 本发明公开了一种用于神经推理系统的可嵌入级连逻辑系统及其推理方法，其中，该系统包括：输入模块，用于将待推理任务转换为逻辑输入符号，作为逻辑分组模块的输入；逻辑分组模块，用于根据预设规则对逻辑输入符号进行分组，将分组后的逻辑输入符号单独进行逻辑运算，并将运算后的结果合并；深度旁路逻辑模块，用于保留第一个逻辑输入符号直接作为输出；利用多个单层逻辑模块级联构成级联逻辑系统，当前级别的输出作为下一级的输入，通过级联逻辑系统对逻辑输入符号进行逻辑运算；输出模块，根据待推理任务的特性选择对应的输出策略，在逻辑运算结果中得到推理结果。该可嵌入级连逻辑系统可以嵌入到神经网络中，使得神经网络具有推理能力。

摘要： 本发明公开了一种基于Mamdani模糊推理方法及推理系统，推理方法包括：对模糊推理系统中的每个语义变量进行有效区域扫描；在有效区域内，将隶属度函数进行离散化处理，获取离散化隶属度函数；利用离散化隶属度函数进行规则后件的计算；将每条规则的截断值结合规则后件离散化隶属度函数生成新的离散序列；合并所有规则的截断后离散序列，按照析取范式计算，得到离散序列；进行形心计算。推理系统包括扫描模块、离散模块、模糊模块以及反模糊模块。本发明提供的基于Mamdani模糊推理方法及推理系统极大地提升了Mandani模糊推理速度。

摘要： 本发明公开了基于模糊推理的专家经验推理系统，包括症状获取模块，用于获取用户的症状信息，所述症状信息包括症状的名称及症状的严重程度信息；模糊化模块，用于对严重程度信息通过隶属函数进行模糊化；专家经验规则库，用于存储多条专家规则，规则为某一疾病和该疾病的所有症状及症状的严重程度；模糊推理模块：用于根据模糊化后的症状信息以及专家经验规则库内的规则，利用模糊推理计算出用户的症状信息所对应的疾病信息。本发明还公开了一种基于模糊推理的专家经验推理方法，解决了现有手段疾病判断准确率低，分诊效率低下的问题。

摘要： 本发明公开了一种地铁施工安全风险识别推理系统及其识别推理方法，系统包括有用户接口模块、工程参数模块、规则模块、推理工作区模块和结论解释模块；识别推理方法首先接收工点分类、工法分类和安全风险工程参数并存放在推理工作区中；然后进行分类规则库，致险因素匹配及规则推理，最终确定结论，并进行风险解释，本发明解决现有技术不足，提供了一种地铁施工安全风险识别推理系统及其识别推理方法，专用于实现一种基于规则推理（RBR）机制和风险识别规则库的地铁施工安全风险识别推理的技术方案。

摘要： 本发明公开了一种用于神经推理系统的可嵌入级连逻辑系统及其推理方法，其中，该系统包括：输入模块，用于将待推理任务转换为逻辑输入符号，作为逻辑分组模块的输入；逻辑分组模块，用于根据预设规则对逻辑输入符号进行分组，将分组后的逻辑输入符号单独进行逻辑运算，并将运算后的结果合并；深度旁路逻辑模块，用于保留第一个逻辑输入符号直接作为输出；利用多个单层逻辑模块级联构成级联逻辑系统，当前级别的输出作为下一级的输入，通过级联逻辑系统对逻辑输入符号进行逻辑运算；输出模块，根据待推理任务的特性选择对应的输出策略，在逻辑运算结果中得到推理结果。该可嵌入级连逻辑系统可以嵌入到神经网络中，使得神经网络具有推理能力。

摘要： 本发明实施例提供了一种推理系统及方法，其中，推理系统包括相互连接的第一计算设备和第二计算设备，第一计算设备中设置有推理客户端，第二计算设备中包括推理加速资源以及推理服务端；推理客户端用于获取进行推理的计算模型的模型信息和待推理数据，并分别将模型信息和待推理数据发送至第二计算设备中的推理服务端；推理服务端用于通过推理加速资源载入并调用模型信息指示的计算模型，通过计算模型对待推理数据进行推理处理并向推理客户端反馈推理处理的结果。

摘要： 本发明公开了一种比特币矿池的身份推理方法，包括根据区块链中的交易关系建立交易网络和地址网络；根据矿池产生比特币的传播建立地址对矿池的纯度度量；从交易网络中分离出高纯度自网络并找到高纯度自网络所对应的地址网络作为矿池内部交易网络；对矿池内部交易网络的交易进行分析并对矿池的身份进行推理。本发明还公开了一种实现所述比特币矿池的身份推理方法的推理系统。本发明对区块链中的交易关系的分析和计算，并建立对应的视图模型从而对矿池的身份进行推理；因此本发明能够对比特币矿池的身份进行适当推理，而且可靠性高、实用性好且易于实施。

摘要： 本发明公开了一种基于Mamdani模糊推理方法及推理系统，推理方法包括：对模糊推理系统中的每个语义变量进行有效区域扫描；在有效区域内，将隶属度函数进行离散化处理，获取离散化隶属度函数；利用离散化隶属度函数进行规则后件的计算；将每条规则的截断值结合规则后件离散化隶属度函数生成新的离散序列；合并所有规则的截断后离散序列，按照析取范式计算，得到离散序列；进行形心计算。推理系统包括扫描模块、离散模块、模糊模块以及反模糊模块。本发明提供的基于Mamdani模糊推理方法及推理系统极大地提升了Mandani模糊推理速度。

摘要： 本发明公开了基于模糊推理的专家经验推理系统，包括症状获取模块，用于获取用户的症状信息，所述症状信息包括症状的名称及症状的严重程度信息；模糊化模块，用于对严重程度信息通过隶属函数进行模糊化；专家经验规则库，用于存储多条专家规则，规则为某一疾病和该疾病的所有症状及症状的严重程度；模糊推理模块：用于根据模糊化后的症状信息以及专家经验规则库内的规则，利用模糊推理计算出用户的症状信息所对应的疾病信息。本发明还公开了一种基于模糊推理的专家经验推理方法，解决了现有手段疾病判断准确率低，分诊效率低下的问题。

摘要： 本发明公开了一种地铁施工安全风险识别推理系统及其识别推理方法，系统包括有用户接口模块、工程参数模块、规则模块、推理工作区模块和结论解释模块；识别推理方法首先接收工点分类、工法分类和安全风险工程参数并存放在推理工作区中；然后进行分类规则库，致险因素匹配及规则推理，最终确定结论，并进行风险解释，本发明解决现有技术不足，提供了一种地铁施工安全风险识别推理系统及其识别推理方法，专用于实现一种基于规则推理（RBR）机制和风险识别规则库的地铁施工安全风险识别推理的技术方案。