非单调推理

摘要： 自人工智能诞生以来,机器学习作为实现人工智能的途径,其主要宗旨是:通过研究使用计算机模拟或实现人类学习活动。经过几十年的创新发展,机器学习不仅在基于知识的系统中得到应用,而且在自然语言理解、非单调推理、机器视觉、模式识别等许多领域也得到了广泛应用,越来越受到产业界的高度重视。随着大数据智能时代到来,2017年国务院印发了《新一代人工智能发展规划》,明确将机器学习研究布局作为新一代人工智能前沿基础理论研究主题之一,新一轮智能产业变革的核心驱动力,重构生产、分配、交换、消费等经济活动各环节,形成从宏观到微观各领域的智能化新技术。

摘要： 英美分析哲学的主要学术训练方式,是建立在对于肇始于弗雷格的现代逻辑(一阶谓词逻辑与命题逻辑)的尊重之上的.因此,分析哲学所说的“分析”,大约就可以等于“运用现代逻辑的工具进行分析”.但这样的学术训练,显然是没有办法应对于当下基于深度学习的人工智能发展现状的.另外,即使对于基于符号表征与明述规则的传统人工智能而言,主流分析哲学的训练所能够提供的思想支持也未必始终是积极的.毋宁说,基于现代逻辑的主流分析哲学的“理想化”讨论方式往往会忽略智能系统的运作效率问题,而这一点又会倒逼着天然具有工程学面相的人工智能研究通过某些“特设化”的修正(如珀拉克的“奥斯卡规划”所给出的那种修正)来部分弥补相关的缺憾.然而,这种零敲碎打的修补方式显然是很难达到真正的普遍性的,遑论为具有多重用途的通用人工智能设备的设计铺展可行的路线图.

摘要： 论辩体现了人们处理冲突的信息、观点、意见等时的一种重要的认知能力,这种能力从逻辑角度可被称为非单调推理能力.如何为这种能力建立可计算的模型是当代人工智能领域中的热点议题,但主流的研究并未重视论证的逻辑特点.近年来,论辩的结构化研究成为新兴议题,借助于逻辑语言为论辩提供更细节化的形式表达,但现有系统在非单调推理刻画方面仍存在不足.在已有研究的基础上,本文尝试从可废止逻辑出发构造一个新的结构化论辩系统DLA,为结构化论辩的进一步探索提供思路.

摘要： 要表达归纳推理结论的不确定性和刻画非单调的归纳推理,并非只能使用概率方法,用概称句和包含概称句的推理来刻画归纳推理是另一种可行且十分自然的方法.

摘要： “怀疑”句式的构式义为:根据某些前件,推理出一个命题很可能为假.这一语义的另一个侧面是:其矛盾命题很可能为真.这两个语义侧面,在不同的组配关系中被侧显,引申出两个义项:“不很相信”和“有点相信”.前者表达怀疑主体质疑一种旧认识,体现交互主观性;后者表达怀疑主体建构一种新认识,体现主观性.“怀疑”一词两义,满足了说话人经济性的需要,但加重了听话人的理解负担.作为补偿,说话人会调整话语策略,在语篇层面逐渐形成两种词项的共现规律,以帮助听话人理解.交际双方在表达省力和理解省力上的博弈均衡,造就了“怀疑”句式的句法特点.

摘要： 本文关注近年来在科学哲学等领域引起广泛关注和争议的CP定律的形式刻画。论文首先考察了CP定律的不同分类和用法，继而锁定排除式CP定律作为重点研究对象。论文对完成者方法、不变性和稳定性理论、趋向性理论和正常性解释进行了探究，同时，作为一种尝试，将逻辑学领域中对概称句的正常刻画引入CP定律的刻画之中，文末对刻画标准及这些方向进行了进一步的分析和比较。%In this paper, I study on the CP-law which recently caused wide public concern and controversy in philosophy of science and other fields. This paper investigates different classifications and usages of CP-law firstly, and then focuses on exclusive CP-law as the key research object. Three methods for generics in logic, the completer method, Invariance & Stability Theory, dispositional interpretation and normality account, are introduced to characterize exclusive CP-law. After that, further analysis are given, and the standards of the interpretations on CP laws are discussed.

摘要： 本文提出了一种在地面进行航天器在轨故障诊断的非单调推理方法.首先,对关注的问题建立串行的故障传递模型,然后建立故障与数据特征的逻辑关联,最后根据获取的观测数据进行辩证辩论确定故障源.以某型光学卫星对焦系统的故障分析为案例对上述方法进行了验证,案例应用过程表明,该故障判别方法对于包含多重不确定信息的复杂航天器故障判别具有良好的应用效果.

摘要： 文章从一个例子出发,分析非单调推理产生不一致的原因,以及语义距离的作用.介绍了怎样在推理过程中利用语义信息的规则和方法,使用概念类的本体关系计算语义相似度的方法,并用实例加以说明.

摘要： 论辩体现了人们处理冲突的信息、观点、意见等时的一种重要的认知能力,这种能力从逻辑角度可被称为非单调推理能力.如何为这种能力建立可计算的模型是当代人工智能领域中的热点议题,但主流的研究并未重视论证的逻辑特点.近年来,论辩的结构化研究成为新兴议题,借助于逻辑语言为论辩提供更细节化的形式表达,但现有系统在非单调推理刻画方面仍存在不足.在已有研究的基础上,本文尝试从可废止逻辑出发构造一个新的结构化论辩系统DLA,为结构化论辩的进一步探索提供思路.

摘要： 要表达归纳推理结论的不确定性和封画非单调的归纳推理,并非只能使用概率方法,用概称句和包含概称句的推理来刻画归纳推理是另一种可行且十分自然的方法.

摘要： 要表达归纳推理结论的不确定性和封画非单调的归纳推理,并非只能使用概率方法,用概称句和包含概称句的推理来刻画归纳推理是另一种可行且十分自然的方法.

摘要： 要表达归纳推理结论的不确定性和封画非单调的归纳推理,并非只能使用概率方法,用概称句和包含概称句的推理来刻画归纳推理是另一种可行且十分自然的方法.

摘要： 要表达归纳推理结论的不确定性和封画非单调的归纳推理,并非只能使用概率方法,用概称句和包含概称句的推理来刻画归纳推理是另一种可行且十分自然的方法.

摘要： 描述逻辑SHOQ(D)给出了Web本体语言DAML+OIL的语义,但SHOQ(D)只能处理精确成立的知识,不能处理在实际情况中经常出现的不完备知识.对描述逻辑SHOQ(D)进行扩展,提出了能够表示和处理不完备知识的非单调描述逻辑N-SHOQ(D).给出了N-SHOQ(D)的语法、语义,定义了N-SHOQ(D)中的推理关系,证明了N-SHOQ(D)具有一系列合理的性质.N-SHOQ(D)为扩展DAML+OIL语言到能处理不完备知识的情形提供了语义支持.

摘要： 描述逻辑SHOQ(D)给出了Web本体语言DAML+OIL的语义,但SHOQ(D)只能处理精确成立的知识,不能处理在实际情况中经常出现的不完备知识.对描述逻辑SHOQ(D)进行扩展,提出了能够表示和处理不完备知识的非单调描述逻辑N-SHOQ(D).给出了N-SHOQ(D)的语法、语义,定义了N-SHOQ(D)中的推理关系,证明了N-SHOQ(D)具有一系列合理的性质.N-SHOQ(D)为扩展DAML+OIL语言到能处理不完备知识的情形提供了语义支持.

摘要： 描述逻辑SHOQ(D)给出了Web本体语言DAML+OIL的语义,但SHOQ(D)只能处理精确成立的知识,不能处理在实际情况中经常出现的不完备知识.对描述逻辑SHOQ(D)进行扩展,提出了能够表示和处理不完备知识的非单调描述逻辑N-SHOQ(D).给出了N-SHOQ(D)的语法、语义,定义了N-SHOQ(D)中的推理关系,证明了N-SHOQ(D)具有一系列合理的性质.N-SHOQ(D)为扩展DAML+OIL语言到能处理不完备知识的情形提供了语义支持.

摘要： 一种单调计数器包括多个级，所述多个级分别对应于所述单调计数器的多个计数位元。该多个级中的至少一个是包括多个非易失性双稳态触发器的非易失性双稳态触发器计数器，每一非易失性双稳态触发器包括一对非易失性存储胞元。

摘要： 本发明公开了一种原子结构弛豫的非单调线搜索方法及装置，使用BB步长作为试探步长，从而能够充分利用其优越于SD的局部收敛速度，以及使用非单调线搜索策略来判定试探位置是否被接受，减少调用线搜索算法的次数，从而极大地减少线搜索带来的昂贵开销。

摘要： 本发明公开了基于非单调性动态认知逻辑的密码协议分析方法，涉及信息安全的密码协议形式化分析领域，解决了具有知识非单调性的密码协议不能用现有方法来分析的问题，现有的逻辑分析方法所建的模型不精确或推理复杂，导致分析不成功的问题。本发明中所述密码协议中包括多主体，主体包括主体的知识，各主体在协议运行过程中，主体的知识发生变化，该密码协议的整个执行过程采用LNC逻辑语言形式化，采用克里普克模型形式化各主体的知识以及知识的变化，所述LNC逻辑语言采用Forget行为扩展动态认知逻辑。本发明能够发现密码协议的潜在缺陷可以及时更正或更换协议。

摘要： 本发明的目的是提供一种基于非单调搜索技术的全波形反演方法及系统，方法包括：首先按照设定频组范围将多尺度反演频率划分N个频组；其次采用非单调搜索技术结合初始步长，根据所述地震观测数据和初始速度模型确定第j频组对应的下次迭代的速度模型；然后判断j是否大于N；如果j大于N，则将第j频组对应的下次迭代的速度模型作为最优速度模型输出；最后基于所述最优速度模型进行地震成像。本发明将非单调搜索技术与初始步长相结合确定步长，该方法既能够在保证反演计算效率的前提下，获得高精度的反演结果；又能够在初始速度模型较差的时候，一定程度上保证反演的全局收敛性，获得较好的反演结果。

摘要： 为期望状态配置(“DSC”)提供用于非单调最终收敛的技术。在一些情况下，如果不首先远离期望状态移动，则DSC不能朝向期望状态移动。例如，需要使用较新版本替换但是当前正在执行(期望的“操作”状态)的文件在没有首先停止的情况下不能进行替换。但是停止在相对于期望状态的错误方向上移动，这是为了使服务操作。为了能够向前移动而进行的这种移动远离是传统DSC系统导致故障的一个问题。这个问题的解决方案是非单调最终收敛(“NMEC”)，其使得DSC系统能够通过在需要以便最终达到期望状态的情况下进一步远离期望状态移动来配置目标系统以达到期望状态。

摘要： 本发明公开了一种原子结构弛豫的非单调线搜索方法及装置，使用BB步长作为试探步长，从而能够充分利用其优越于SD的局部收敛速度，以及使用非单调线搜索策略来判定试探位置是否被接受，减少调用线搜索算法的次数，从而极大地减少线搜索带来的昂贵开销。

摘要： 本发明公开了一种具有非单调变化电阻态的忆阻器在碰撞预测中的应用，该忆阻器的介电层材质为可光调控的介电材料；在光信号刺激下，忆阻器的电阻态呈现非单调变化。本发明利用忆阻器对光强大小具有电学响应性，通过光照产生的瞬态焦耳热对CF的几何形状的改变实现忆阻器电阻态的动态调控，从而识别出运动光源的远近，并对即将发生的碰撞行为进行预测，有效的将光学信号的感知和处理整合在单一忆阻器中，解决由于现有移动机器人的计算体系复杂引起的一系列问题。此外，本发明基于忆阻器焦耳热效应构建的碰撞预测方法同时具有成本低、稳定性高、操作简单等优点，因此具有良好的应用前景，能广泛应用于移动机器人系统的智能碰撞预测。

摘要： 本发明公开了一种基于随机计算的非单调函数近似计算装置，包括输入移位单元、特殊值生成单元、随机比特流生成单元、取反选择单元、逻辑运算单元和计数器单元。输入移位单元将输入自变量x的高m位取出，作为特殊值生成单元的输入，特殊值生成单元通过组合逻辑映射得到装置需要的特殊值，随机比特流生成单元将特殊值转换为随机比特流，逻辑运算单元对随机比特流进行按位逻辑运算并输出相应的结果比特流，计数器单元统计结果比特流中“1”的个数以得到输出结果。本发明的装置能实现基于随机计算原理近似计算非单调函数，在保持较高精度的同时，极大地降低了硬件架构的功耗和面积开销。

摘要： 本发明公开了一种非单调推理在逻辑动作语言系统刻画中的知识表示方法。该方法对多种经典逻辑动作语言进行抽象刻画与性质表示，在统一的特性空间下，给出这些语言的最小特征集。该方法包括逻辑动作语言在回答集逻辑程序语法下的系统化自动翻译、确定性语义特性约束集合构建、稳定模型语义映射与一致性验证三部分内容。逻辑动作语言利用本发明能够系统性地表示与分析逻辑动作语言，并提高针对不同逻辑动作语言系统的知识表示与推理的适用性和效率。

摘要： 本发明名称为“描述逻辑与可废止逻辑整合的不一致本体非单调推理方法”，属于计算机应用技术领域。在语义Web环境中，本体往往是不一致的，但描述逻辑及描述逻辑推理机都无法对其进行非单调推理。本发明利用可废止逻辑非单调的知识表示和推理及线性的计算复杂性和易于实现等优点，将其与描述逻辑进行整合，从而有效解决上述问题。本发明首先使用这两种逻辑对领域问题进行混合建模，并将描述逻辑的TBox划分为最大一致公理集和最小不一致公理集，然后利用两个转换算法，将公理集映射为可废止逻辑相应的规则，并添加到可废止逻辑中，最后利用可废止逻辑原有的规则和新增的四个可废止推理规则进行非单调推理。本发明在语义Web中具有广阔的应用前景。