Sep, 2022
避免实用奇异性:自下而上的可推翻德行逻辑
Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic
Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo
TL;DR本文扩展了反驳性德欧派逻辑,以解决实用奇异性问题,并采用非单调方法处理 CTD 推理,构建逻辑模型具有计算可行性和效率,提供了对逻辑的高效实现及计算复杂度的解决方案。
Abstract
This paper presents an extension of defeasible deontic logic to deal with the
pragmatic oddity problem. The logic applies three general principles: (1) the
→
defeasible deontic logicpragmatic oddity problemctd reasoningnon-monotonic methodscomputational complexity
发现论文,激发创造
伦理元规则
本文针对行为规范方面,将 Meta rules 适用于可撤销逻辑中,提出了两个变体的 Defeasible Deontic Logic,并针对这两个变体提出了高效的算法,此方法可适用于法规和信息技术领域。
Sep, 2022
在真实世界的环境中,使用可辩证论证和数量数据进行比较和扩展
本研究选择计算可信度作为应用领域,评估了异议论证推理的推理能力,并将其与模糊推理和专家系统进行了比较。结果表明,与基线相比,基于异议论证的模型表现更为稳健。这项研究扩展了先前工作,从而提高了异议论证作为处理数据和知识不确定性的一种复杂方法的普适性。
Jun, 2022
在良基语义下,可反驳逻辑和逻辑编程的相互定义
本文提出将 Nute's Defeasible Logic 理论转化为逻辑程序的方法,并提供相应的相反方向翻译。通过某些自然限制,使得 Defeasible Logic ADL 的推理结论与 Logic Program 的 Well-Founded Semantics 相一致,这样就可以证明这两种形式语言是密切相关的。
Jun, 2011
通过 Datalog$^
eg$ 进行可辩驳推理
通过将可防御理论编译成 Datalog 程序,为 DL(||)中的可防御逻辑证明了编译的正确性,并确定了 DL(||)的结构属性,从而支持与其他可防御逻辑相比,在逻辑中高效实现和 / 或近似可防御理论的结论,并利用逻辑程序的已知结构属性来适应不完整的 Datalog 实现。
Jun, 2021
可否推翻的逻辑编程:一种论证方法
这篇论文介绍了一种名为 Defeasible Logic Programming(DeLP)的形式化方法,它将 Logic Programming 和 Defeasible Argumentation 的结果结合起来,提供了一种在动态领域中处理不完整和矛盾信息的代理人知识表示和基于论证的推理机制。
Feb, 2003