可废止逻辑相关论文
从逻辑学的角度看,法律推理具有非单调性.人工智能时代更清晰地凸显出了与这一特性相应的可废止推理模式的必要性.可废止推理虽未......
论辩体现了人们处理冲突的信息、观点、意见等时的一种重要的认知能力,这种能力从逻辑角度可被称为非单调推理能力.如何为这种能力......
随着分布式环境下共享资源计算和协同服务的需求逐渐增多,这要求软件系统的开发、部署、运行、维护在日渐开放、动态、难控的网络......
提供了灵活有效的谈判代理开发方法,使用状态图和可废止逻辑规则说明谈判策略,动态地插入到一个集状态解释器和可废止逻辑推理引擎......
在现实世界中，人们经常需要在信息不一致和不完全的情况下进行非单调推理。经典逻辑以及传统非单调逻辑在这类推理的刻画上并不令人......
预设可取消问题是指言语中默认不变的信息在某些语境中会消失,从而引起交流冲突的问题。如何及时调整预设并将新信息纳入自己的知......
针对传统BDI模型在虚拟组织应用中所存在的三点不足,本文提出了政策导向型Agent模型.模型以政策导向为手段,利用政策来约束Agent动......
在认知科学的背景下，论辩研究已经成为了逻辑学、语言学、计算机和人工智能等共同关注的问题。然而不同学科在这一课题上却未能实现......
传统Agent协作模型强调Agent的高度自主性，其自发协作过程完全出于内部的“自私性”动机，难以在模型中表达宏观层面上的引导及系统外......
可废止逻辑具有线性的计算复杂性和有效的规则冲突处理机制,在处理非单调性的推理和论证中具有显著的优势。但在可废止论证关系上,......
在现实世界中,人们经常需要在信息不一致和不完全的情况下进行非单调推理。经典逻辑以及传统非单调逻辑在这类推理的刻画上并不令......
语义Web刑法领域存在大量的模糊和非单调知识,而这些知识无法用当前的规则语言和规则标记语言表示.针对此问题,本文提出了一种语义......
在设计人工智能主体的社会时,可以通过定义社会价值和规范来约束主体的行为。当不同规范之间发生冲突时,主体依据他/她对价值的排......
论辩体现了人们处理冲突的信息、观点、意见等时的一种重要的认知能力,这种能力从逻辑角度可被称为非单调推理能力。如何为这种能......
近年来,中国在逻辑学,特别是形式逻辑学方向的研究水平突飞猛进,在一些领域已经达到了国际先进水平。每年举办的全国现代逻辑研讨......
针对传统Agent对知识无法动态维护的问题，利用可废止逻辑对作战Agent进行描述，着重研究作战Agent的命令规则的动态变更机制。结合可......
