[論文レビュー] 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

研究の動機と目的

• すべての知識表現形式的枠組みが、特に有限知識ベースに対して特徴付け論理を備えるかどうかという未解決の問いを解消すること。
• 非単調な形式的枠組みにおける強い同値性が、正規化された古典的論理における通常の同値性に還元可能であることを確立すること。
• ダングの抽象的枠組みにおける議論的意味論の体系的分析を行い、知識表現に不可欠な内在的性質に焦点を当てる。
• 議論的枠組みの構造的性質（例：有限性、コンパクト性）が意味論の挙動に与える影響を検討すること。
• 議論的枠組みにおいて、意味論が存在性、一意性、表現可能性、検証可能性を保証する条件を明確化すること。

提案手法

• モデル理論的構造間のガロア対応を用いて、有限知識ベースの正規化特徴付け論理を定義する。
• 抽象的モデル理論を適用して標準的同値性および強い同値性を形式化し、理論とモデルの双対性を活用する。
• 特定の形式的枠組みを超えて特徴付け論理の概念を一般化するために「カバー論理」の概念を導入する。
• 与えられた形式的枠組みにおける強い同値性を捉える一意的（同型を除いて）な古典的論理を正規化構成によって導出する。
• 有限、有限的、および制限のない枠組みにおいて、拡張に基づくおよびラベル付けに基づく両視点から議論的意味論を分析する。
• 位相的および順序理論的手法を用いて、議論的枠組みにおける拡張およびラベル付けの存在性と一意性を研究する。

実験結果

リサーチクエスチョン

• RQ1 すべての知識表現形式的枠組みが、強い同値性を通常の同値性に還元する特徴付け論理を備えるか？
• RQ2 非単調な形式的枠組みにおいて、強い同値性を特徴付ける正規化された古典的論理が存在する条件は何か？
• RQ3 有限、有限的、および制限のない議論的枠組みにおいて、どの議論的意味論が拡張またはラベル付けの存在性と一意性を保証するか？
• RQ4 フレームワークの種別（例：有限対制限なし）に応じて、意味論の表現力はどのように変化するか？
• RQ5 どのような条件下で、意味論が表現可能、置換可能、または検証可能となるか？

主な発見

• すべての有限知識ベースに対して、強い同値性が古典的・単調な論理における通常の同値性によって捉えられる正規化特徴付け論理が存在する。
• 構築された特徴付け論理は、元の形式的枠組みのモデル理論的構造によって、同型を除いて一意に定まる。
• 有限の議論的枠組みでは、すべての標準的意味論（例：グラウンドド、安定、好み）が拡張の存在性と一意性を保証する。
• 制限のない議論的枠組みでは、唯一、グラウンドドおよび安定の意味論などの特定の意味論のみが存在性と一意性を保証し、他の意味論は失敗する可能性がある。
• 特に、許容性や衝突なしに基づく意味論では、有限的枠組みに制限すると表現力が失われる場合がある。
• 衝突なしと許容性に基づく意味論は、異なる表現力の特性を示し、一部の意味論は特定のクラスの枠組みでのみ実現可能である。