[论文解读] On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics

Ringo Baumann|arXiv (Cornell University)|Jan 1, 2019

Logic, Reasoning, and Knowledge参考文献 42被引用 2

一句话总结

本文建立了非单调形式化中有限知识库的典范表征逻辑的存在性，表明强等价性始终可通过经典单调逻辑中的普通等价性来捕捉。此外，本文对论证语义学进行了全面分析，证明了在各种语义和论证框架类型下，存在性、唯一性和可表征性等基本性质。

ABSTRACT

Given the large variety of existing logical formalisms it is of utmost importance to select the most adequate one for a specific purpose, e.g. for representing the knowledge relevant for a particular application or for using the formalism as a modeling tool for problem solving. Awareness of the nature of a logical formalism, in other words, of its fundamental intrinsic properties, is indispensable and provides the basis of an informed choice. In this treatise we consider the existence characterization logics as well as properties like existence and uniqueness, expressibility, replaceability and verifiability in the realm of abstract argumentation

研究动机与目标

• 解决一个开放问题：即每个知识表示形式化是否都允许存在一个表征逻辑，特别是针对有限知识库。
• 证明在非单调形式化中，强等价性可被归约为经典、单调逻辑中的普通等价性。
• 对达姆（Dung）抽象框架中的论证语义学进行系统性分析，重点关注对知识表示至关重要的内在属性。
• 研究论证框架的结构性质（如有限性、紧致性）如何影响语义行为。
• 阐明语义学在何种条件下能确保论证框架中存在性、唯一性、可表征性和可验证性。

提出的方法

• 利用模型论结构之间的格洛伊施对应关系，为有限知识库定义典范表征逻辑。
• 应用抽象模型论来形式化标准等价性和强等价性，利用理论与模型之间的对偶性。
• 引入“覆盖逻辑”概念，将表征逻辑的思想推广至特定形式化之外。
• 通过典范构造方法，推导出一个唯一（至同构）的经典逻辑，以捕捉给定形式化中的强等价性。
• 从两种视角分析论证语义学：基于扩展的视角和基于标记的视角，涵盖有限、有限性及无限制框架。
• 应用拓扑学与序理论方法，研究论证框架中扩展与标记的存在性与唯一性。

实验结果

研究问题

• RQ1 每个知识表示形式化是否都允许存在一个表征逻辑，使得强等价性可被归约为普通等价性？
• RQ2 在何种条件下，存在一个典范经典逻辑，能够表征非单调形式化中的强等价性？
• RQ3 哪些论证语义学能保证在有限、有限性及无限制论证框架中，扩展或标记的存在性与唯一性？
• RQ4 语义学的表达能力如何随框架类型（如有限与无限制）而变化？
• RQ5 在何种条件下，语义学在论证框架中具有可表征性、可替换性或可验证性？

主要发现

• 对于每个有限知识库，均存在一个典范表征逻辑，可通过经典单调逻辑中的普通等价性来捕捉强等价性。
• 所构造的表征逻辑在原形式化模型论结构的意义下，至同构唯一确定。
• 在有限论证框架中，所有标准语义学（如基底语义、稳定语义、首选语义）均保证扩展的存在性与唯一性。
• 在无限制论证框架中，仅某些语义学（如基底语义与稳定语义）能确保存在性与唯一性，而其他语义学可能不成立。
• 当限制在有限性框架时，语义学的表达能力可能丧失，特别是基于可接受性或无冲突性的语义学。
• 基于无冲突性与可接受性的语义学表现出不同的可表征性特征，其中部分语义学仅能在特定类别的框架中实现。