搜索到189篇“ 非单调逻辑“的相关文章
- 规范冲突问题及其非单调逻辑研究被引量：3
- 2016年
- 在规范领域存在两种重要的推理:规范推理和规范适用推理。规范推理是在规范命题集上定义的、从规范推出规范的推理。规范适用推理是将一般性的规范适用于具体情境得出结论的推理。法律规范冲突是指在规范适用层面出现的法律结果不相容、规范的可适用性互相排斥的情况。规范冲突只能在规范适用层面得到解决。标准道义系统是关于规范推理的逻辑,它不容忍规范冲突,在标准道义逻辑中,规范冲突会引发推理崩溃。为了应对规范冲突问题,人们提出了各种容忍规范冲突的道义逻辑,但大都属于关于规范推理而非关于规范适用推理的理论。霍尔蒂的非单调道义逻辑能非常自然地同时刻画规范推理和规范适用推理,并在规范适用层面解决规范冲突问题,是容忍规范冲突的各种理论中最具发展前途的一个。
- 孔红
- 关键词：道义逻辑缺省逻辑
- 辨证论治的非单调逻辑模型
- 中医药学是中国劳动人民在长期与疾病斗争的实践中的智慧结晶,在世界医学发展史上有着举足轻重的影响。要使中医药学迈向国际化、信息化、科学化、智能化,运用人工智能与数学方法描述中医药学基础理论,使中医药理论上升到数理层面,便于...
- 高黎
- 关键词：辨证论治非单调逻辑
- 文献传递
- 非单调逻辑的可判定性与可译性
- 如何使计算机能运用常识进行推理和问题求解是人工智能领域最困难的问题之一,非单调逻辑是以此为目标的知识表示语言中最重要的一类。本论文致力于几种一阶非单调逻辑的可判定性和可译性研究。所获得的主要结果如下： 第一,比较全面地研...
- 章衡
- 关键词：逻辑程序设计可判定性可译性
- 文献传递
- 非单调逻辑的产生背景
- 2009年
- 非单调逻辑是近年来人工智能领域的一个活跃研究分支,是人工智能进一步发展的核心问题之一。人工智能研究的发展,迫使人们去面对人的常识和常识推理的形式化问题。因为人工智能要模拟人的智能,它的难点不在于人脑所进行的各种必然性推理,而在于最能体现人的智能特征的能动性、创造性思维活动,而常识推理就是这种智能性最集中的表现。常识推理具有非单调性的特点,即随着新信息的加入,原先的结论可能会被修改或废止。这样的推理被称为非单调推理。而现有的经典逻辑无法刻画非单调推理。非单调逻辑就这样应运而生。此外,非单调逻辑的产生还与一些启示性的问题以及处理不确定性中遇到的问题相关。本文就从这三个方面论述非单调逻辑的产生。
- 王芳翁学辉
- 关键词：非单调逻辑常识常识推理
- 非单调逻辑:困境与出路被引量：1
- 2007年
- 非单调逻辑是能够处理人工智能等领域中不确定性推理问题的重要的非经典逻辑分支。在经典逻辑中,前提的增加一定会导致结论的增加,结论是确定的;在非单调逻辑中,随着前提的增加,结论却是不确定的。解决常识推理的一个新思路是如何区分和表达加强前提集的相容和不相容问题。
- 杨武金刘东东
- 关键词：非单调逻辑常识推理
- 一个面向安全协议分析的非单调逻辑被引量：1
- 2007年
- 本文提出一种对安全协议进行分析的非单调逻辑。使用知识集描述已知的断言,使用信念描述安全协议系统的默认判断,通过推理和非单调的信念维护,可以验证安全协议的安全性。
- 刘海燕杨朝红蔡红柳
- 关键词：安全协议信念非单调逻辑
- 基于非单调逻辑的自适应BDI模型
- 2006年
- 由于Agent直接与现实世界发生交互作用,设计者难以事先预料所有可能出现的环境状况并一一规定恰当的处理方法,Agent往往不能产生恰当的行为,从而可能导致问题求解失败。本文结合BDI模型和非单调逻辑的优点,引入了可能信念概念和信念维护算子,表达了Agent和动态环境之间的互动关系;引入Agent价值概念和行为规划算子,表达了期望和意图之间的动态约束关系,很好地解决了Agent在非预期环境中的适应性问题。
- 廖炳瑜林宝军
- 关键词：BDI模型非单调逻辑信念意图
- 会话含义推导中的非单调逻辑属性被引量：7
- 2005年
- 本文试图从非单调逻辑的角度来探讨会话含义的推导过程,运用非单调逻辑来解释会话含义的可取消性特征,使用合情推理、缺省推理来推导会话含义。作者认为非单调逻辑的运用可完善会话含义的语用推理机制,为会话含义的进一步研究提供了不同的语用推理途径。
- 廖开洪
- 关键词：会话含义语用推理非单调逻辑合情推理缺省推理
- 一种基于非单调逻辑理论的入侵检测系统被引量：12
- 2003年
- 提出了用模糊默认理论改造传统的单调推理机制和响应引擎的方法 ,从而建立了基于人工智能的入侵检测系统 .实验结果表明 ,改进后的系统不仅能适应高速主干网络的实时入侵检测需要 ,而且灵敏性有很大的提高 ;由于采用了响应回卷技术和面向代价的动态响应政策 ,从而大幅度降低了入侵检测和响应的代价 .
- 张剑龚俭
- 关键词：网络安全入侵检测系统防火墙计算机网络
- 带优先级的基于论据的非单调逻辑被引量：1
- 1998年
- 分析了常规非单调逻辑的局限性，通过介绍带优先级的非单调逻辑和累积缺省逻辑，指出非单调逻辑不仅需引入优先级而且须基于论据．提出了带优先级的基于论据的非单调逻辑，从而能更有效地处理非单调推理．
- 杨杰陆正刚苗立靖
- 关键词：非单调推理非单调逻辑缺省规则
相关作者
- 林作铨
- 作品数：58被引量：361H指数：10
- 供职机构：北京大学数学科学学院信息科学系
- 研究主题：超协调逻辑 人工智能 非单调逻辑 AGENT 语义WEB
- 熊明辉
- 作品数：57被引量：341H指数：12
- 供职机构：中山大学人文科学学院逻辑与认知研究所
- 研究主题：非形式逻辑 法律论证 法律逻辑 逻辑 形式逻辑
- 李未
- 作品数：175被引量：440H指数：12
- 供职机构：北京航空航天大学计算机学院
- 研究主题：人工智能 移动IP 移动IPV6 逻辑系统 超协调逻辑
- 姜云飞
- 作品数：112被引量：507H指数：15
- 供职机构：中山大学信息科学与技术学院软件研究所
- 研究主题：人工智能 基于模型诊断 专家系统 规划图 遗传算法
- 刘叙华
- 作品数：67被引量：143H指数：7
- 供职机构：吉林大学计算机科学与技术学院
- 研究主题：人工智能 模态逻辑 模糊逻辑 调解 算子
