We formulate discussion graph semantics of first-order logic with equality for reasoning about discussion and argumentation as naturally as we would reason about sentences. While there are a few existing proposals to use a formal logic for reasoning about argumentation, they are constructed bottom-up and specialised to the argumentation model by Dung. There is indeed a conspicuous lack of a formal reasoning framework for handling general discussion and argumentation models. We achieve the generality through a top-down formulation of the semantics of first-order logic (with equality) formulas, addressing the current shortage.

翻译：我们为一阶等词逻辑构建了讨论图语义，使其能像自然推理句子一样自然地用于讨论与论证的推理。尽管已有若干使用形式逻辑进行论证推理的提案，但它们均采用自底向上的构建方式，并专门适配于Dung的论证模型。事实上，目前明显缺乏能够处理一般性讨论与论证模型的形式推理框架。我们通过自顶向下地构建一阶等词逻辑公式的语义，弥补了这一不足，实现了推理框架的普适性。