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