[论文解读] A flexible framework for defeasible logics

Grigoris Antoniou, David P. Billington+2 more|ArXiv.org|Mar 7, 2000

Logic, Reasoning, and Knowledge参考文献 20被引用 109

一句话总结

本文提出了一种基于逻辑元编程的灵活缺陷逻辑框架，支持非单调推理系统的可调设计。通过模块化配置缺陷性、歧义传播和团队击败机制，该框架能够在确保形式化推理规则和强否定原则一致性的前提下，构建出连贯且可定制的缺陷逻辑。

ABSTRACT

Logics for knowledge representation suffer from over-specialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for others. A solution to this problem is to choose from several logics and, when necessary, combine the representations. In general, such an approach results in a very difficult problem of combination. However, if we can choose the logics from a uniform framework then the problem of combining them is greatly simplified. In this paper, we develop such a framework for defeasible logics. It supports all defeasible logics that satisfy a strong negation principle. We use logic meta-programs as the basis for the framework.

研究动机与目标

• 通过提供统一、可组合的缺陷逻辑框架，解决知识表示逻辑中的过度专业化问题。
• 通过提供统一的逻辑设计基础，克服固定语义和不兼容逻辑组合的局限性。
• 开发一种构建缺陷逻辑的方法，使其具备可定制的属性，如歧义传播和团队击败。
• 通过形式化推理规则和元编程，确保在多种缺陷逻辑变体之间保持逻辑连贯性和一致性。
• 建立一个系统化基础，实现不同失败概念和推理行为的缺陷逻辑的组合。

提出的方法

• 使用逻辑元程序作为核心实现机制，用于表示和推理缺陷逻辑理论。
• 定义推理规则（c1–c13），通过支持、击败和优先关系，支持严格、可缺陷和被击败的结论。
• 引入强否定原则作为设计准则，以确保逻辑一致性并防止悖论。
• 通过替换或扩展推理规则（例如，将 c5 替换为 c11 以实现歧义传播，使用 c12 实现无团队击败）来模块化配置逻辑行为。
• 将该框架应用于 DL（缺陷逻辑）的多种变体，以展示其灵活性和一致性。
• 使用命题规则集（包含事实、严格规则、可缺陷规则和击败规则），并结合优先关系，以建模规则冲突和覆盖关系。

实验结果

研究问题

• RQ1 如何设计一个统一框架，以支持广泛的缺陷逻辑，同时确保一致性？
• RQ2 哪些机制能够实现对缺陷逻辑属性（如歧义传播和团队击败）的灵活调节？
• RQ3 推理规则的不同配置如何影响缺陷逻辑系统中结论的可证明性？
• RQ4 在表达能力和逻辑强度方面，各种缺陷逻辑变体之间存在何种关系？
• RQ5 逻辑元编程方法能否有效支持具有不同失败语义的缺陷逻辑的组合？

主要发现

• 该框架通过模块化配置推理规则，支持广泛的缺陷逻辑，使能够设计出具有不同推理行为的逻辑系统。
• 逻辑元编程方法确保了所有构建的缺陷逻辑的一致性，且每种变体配置均已形式化证明。
• 通过将规则 c5 修改为在覆盖条件中使用 'supported' 而非 'defeasibly'，可实现歧义传播，从而在相互覆盖的情况下产生如 −∂¬antimilitary 的结论。
• 通过将 c5 和 c6 替换为 c12，可禁用团队击败，从而得到一个更弱但依然一致的逻辑，其中覆盖仅依赖于规则优先性和可缺陷支持。
• 确立了表达能力的严格层次结构：+∆ ⊂ +∂a,ntd ⊂ +∂a ⊂ +∂ ⊂ +Σ，每个包含关系均为严格包含，表明推理能力逐步增强。
• 该框架支持设计出既连贯又可调的逻辑系统，支持在实际知识表示中实现可定制的缺陷性和冲突解决策略。