Sep, 2022

伦理元规则

PDF
TL;DR本文针对行为规范方面，将 Meta rules 适用于可撤销逻辑中，提出了两个变体的 Defeasible Deontic Logic，并针对这两个变体提出了高效的算法，此方法可适用于法规和信息技术领域。
meta-rulesnon-monotonic reasoningdefeasible deontic logicpolicieslegal systems
发现论文，激发创造
  • 将可废除逻辑嵌入到逻辑编程中

    本研究建立了否决逻辑与主流非单调推理方法之间的紧密联系，证明了如果存在决定性状态，则否决逻辑理论的否决推论与自反程序的怀疑性结论完全对应。

    Nov, 2005

  • 自动化法律中的可退后推理

    研究纠纷推理在基于规则的系统中的应用，提供了两种推理方法并将规则转换为公式。

    May, 2022

  • 可驳斥的情态

    本研究运用 Kripke 模型和偏序理论构建了一族支持缺陷性模态表述的模态逻辑，同时提出的 Tableau 演算能够完备地反映此偏序语义。

    Oct, 2013

  • 使用 LegalRuleML 实现推理

    本文介绍了将使用 LegalRuleML 表述的法规转化为一种模态弱化逻辑的方法，以实现自动化合规检查。

    Nov, 2017

  • 避免实用奇异性：自下而上的可推翻德行逻辑

    本文扩展了反驳性德欧派逻辑，以解决实用奇异性问题，并采用非单调方法处理 CTD 推理，构建逻辑模型具有计算可行性和效率，提供了对逻辑的高效实现及计算复杂度的解决方案。

    Sep, 2022

  • 命题性可废弃逻辑具有线性时间复杂度

    使用具有严格和举止性规则以及规则优先关系的可撤销逻辑的命题形式可以在线性时间内进行推理，这与大多数其他命题非单调逻辑形成了鲜明对比。

    May, 2004

  • 在真实世界的环境中，使用可辩证论证和数量数据进行比较和扩展

    本研究选择计算可信度作为应用领域，评估了异议论证推理的推理能力，并将其与模糊推理和专家系统进行了比较。结果表明，与基线相比，基于异议论证的模型表现更为稳健。这项研究扩展了先前工作，从而提高了异议论证作为处理数据和知识不确定性的一种复杂方法的普适性。

    Jun, 2022

  • 一种针对可反驳逻辑的模型论语义

    本文研究了可撤销逻辑的模型论语义。该逻辑具有证明论，并且在所提供的语义条件下是准确和完整的。同时，本文还简要概述了这种方法如何扩展到各种可撤销逻辑。

    Jul, 2002

  • 可否推翻的逻辑编程：一种论证方法

    这篇论文介绍了一种名为 Defeasible Logic Programming（DeLP）的形式化方法，它将 Logic Programming 和 Defeasible Argumentation 的结果结合起来，提供了一种在动态领域中处理不完整和矛盾信息的代理人知识表示和基于论证的推理机制。

    Feb, 2003

  • 元规则的逻辑简化

    本文研究了归纳逻辑程序（ILP）的元规则，探讨了将元规则的片段逻辑约简到最小有限子集的可行性以及利用 SLD 解析技术来进行约简的新方法，并在三个不同领域的实验中发现，基于 SLD 约简的元规则相较于 Subsumption 和 Entailment 约简具有更好的预测准确性和学习时间。

    Jul, 2019