非单调逻辑相关论文
随着计算机性能的提升和算法的优化,从大量的数据间发现某些事物的因果关系逐渐引起了人们的兴趣,尤其是从数据中自动分析出因果关......
单射占优模型在非单调逻辑中具有重要的地位。目前,文献已报道了大量关于单射占优模型类的表示定理。但是,如何用证明论的性质来刻......
非单调逻辑是人工智能研究领域的一个重要方向之一，为不同的逻辑规则提供相应的语义特征（即，建立表示定理）是非单调逻辑研究中的一个重......
中医药学是中国劳动人民在长期与疾病斗争的实践中的智慧结晶,在世界医学发展史上有着举足轻重的影响。要使中医药学迈向国际化、......
继承系统是建立在知识分层结构上的知识描述体系, 分层结构的第一个优点就是它是一个有效的推理方式，另一个优点就是经过简洁的描述......
道义逻辑和非单调逻辑是在不同的学科内根据不同的原因产生和发展的,分属两种不同的逻辑.但受人工智能理论的启发,西方研究人工智......
研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统(∮)*,在(∮)*系统中定义了后承关系|～:A|～B当且仅......
该文提出一种论证安全协议之安全性质的非单调动态逻辑.针对信息安全的特定需要,给出了一组与加密、解密、签名、认证和密钥分配等......
非单调逻辑是能够处理人工智能等领域中不确定性推理问题的重要的非经典逻辑分支。在经典逻辑中，前提的增加一定会导致结论的增加，结......
基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得到的缺省理论的所有扩张......
描述了一种新的具有例外的多继承语义网络推理方法－继承的信任理论，这是一种很具有吸引力的可废止继承方法。它应用于非循环语义网络......
本文提出一种对安全协议进行分析的非单调逻辑。使用知识集描述已知的断言,使用信念描述安全协议系统的默认判断,通过推理和非单调......
逻辑方法是研究司法论证的传统的方法，对分析、评价司法论证起着重要的作用。逻辑学多元化发展的特征首先表明，可以选择多种方式来描......
非单调推理与条件蕴涵之间存在着紧密的联系，众多研究人员从不同角度对此进行了研究，其中，C.Boutilier 与P.Lamarre证明了一些条件逻......
在证成语境中，法律裁决是某种书面形式的法律文本；在发现语境中，法律裁决过程是一种特殊的心理活动，它是支持或反对实施某一行动的特定......
基于不同的法理学观就有不同的法律逻辑观。在形式主义法理观下,司法论证具有多元的单调逻辑系统。在实用主义法理观下,司法论证的......
由贵州大学计算机科学与信息学院主办的“国际逻辑会议LOGIC2009”于2009年9月22日在贵州大学南校区南园接待中心隆重召开。20多位......
占先语义是知识表示与推理中应用最广的语义结构，它有多种定义方式，其中以S.Kraus, D.Lehmann及M.Magidor提出的KLM占先结构最为著名......
由于Agent直接与现实世界发生交互作用，设计者难以事先预料所有可能出现的环境状况并一一规定恰当的处理方法，Agent往往不能产生恰当......
Opera系统是一套满足企业经营需求的软件,它的研发公司是Micros-Fidelio。该系统涵盖物业管理系统(Property Management System,简......
传统的高斯消元法只能处理多元一次方程组满秩的情况，本文应用人工智能中非单调逻辑和超协调逻辑的思想，通过对高斯消元法的改进，使其......
意义理论是语言哲学研究的核心内容。语言哲学家从多维角度探讨语言意义,提出不同意义理论。格赖斯提出的意义理论既是语言哲学探......
法律理性必须是通过法律论证来实现。法律论证的好坏取决于:(1)前提对结论的支持度;(2)前提的可接受性;(3)前提与结论的相干性;(4)......
本文试图从非单调逻辑的角度来探讨会话含义的推导过程,运用非单调逻辑来解释会话含义的可取消性特征,使用合情推理、缺省推理来推......
缺省性和可取消性是一般会话含义的本质特征,又是缺省逻辑的本质属性。从缺省逻辑的视角探讨一般会话含义为自然语言的理解打开了......
近几年,法律逻辑的存在不断受到北美等地西方逻辑学家、法官和律师的质疑。相关研究只注意法律推理的(形式的)演绎和归纳模型,而没......
随着非单调逻辑的产生和发展,人们提出了“究竟什么是逻辑”的问题。对这个问题的两种不同回答,形成了逻辑学的两个学派??抽象逻辑......
法律推理不仅是法律逻辑研究的核心概念,而且是法理学研究的一个重要分支。有时,我们很难区别法律推理究竟是在法理学层面上研究的......
引入概念层级和采用分层挖掘处理数据挖掘中的非单调性 ,提出了结合粗糙集和概念层级的非单调规则挖掘算法 ,以及基于混合知识模型......
受到霍姆斯的反逻辑论题的深刻影响,法律界普遍存在着严重轻视和排斥逻辑的错误倾向。霍布斯提出该论题的动机在于反对法律形式主......
