[論文レビュー] Properties of ABA+ for Non-Monotonic Reasoning

Kristijonas Čyras, Francesca Toni|arXiv (Cornell University)|Mar 29, 2016

Multi-Agent Systems and Negotiation参考文献 49被引用数 9

ひとこと要約

この論文は、仮説に基づく証明（ABA）の好み処理拡張であるABA+を調査し、対応の原則に従って、その意味論が非単調的推論および好み処理の重要な性質を満たすことを示している。著者らは、ABA+が原則Iや慎重な単調性といった望ましい原則を満たしていることを確立しており、好みが導入されても合理的かつ一貫性のある推論が保証されることを示している。

ABSTRACT

We investigate properties of ABA+, a formalism that extends the well studied structured argumentation formalism Assumption-Based Argumentation (ABA) with a preference handling mechanism. In particular, we establish desirable properties that ABA+ semantics exhibit. These pave way to the satisfaction by ABA+ of some (arguably) desirable principles of preference handling in argumentation and nonmonotonic reasoning, as well as non-monotonic inference properties of ABA+ under various semantics.

研究の動機と目的

• 仮説に基づく証明（ABA）に好み処理を拡張した形式的枠組みABA+の性質を調査すること。
• ABA+が、証明および非単調的推論における好み処理の望ましい原則を満たしているかどうかを評価すること。
• ABA+が、慎重な単調性や累積的推移性といった非単調的推論の性質に関してどのように機能するかを分析すること。
• 対応の原則が、ABA+における意味論の望ましさを保証する役割を果たす仕組みを検討すること。
• ABA+を、より広範な証明形式の文脈において位置づけ、今後の拡張の可能性を評価すること。

提案手法

• 弱い証明を破棄する代わりに、証明間の攻撃関係を逆転させる好みのメカニズムをABAに拡張する。
• 意味論的一致性を確保し、基本的な補題を導出するために、規則の対応の原則を適用する。
• さまざまな意味論（例えば、完全、安定、好ましい）におけるABA+の挙動を評価するために分析を行う。
• ABA+フレームワーク内での攻撃、防御、衝突なし、拡張の性質の形式的定義を用いる。
• ABA+の意味論を、非単調的推論および証明理論からの既知の性質と比較する。
• 論理的帰納システムと規則ベースの推論を用いて、異なる意味論的解釈において性質が妥当であるかを検証する。

実験結果

リサーチクエスチョン

• RQ1 ABA+は、拡張が唯一、互いに攻撃し合う2つの証明の違いに起因する場合に、より好まれる証明が、好まれない証明の代わりに除外されないという、好み処理の原則Iを満たしているか？
• RQ2 ABA+は、慎重な単調性や累積的推移性といった非単調的推論の性質をどの程度満たしているか？
• RQ3 対応の原則は、ABA+の意味論的性質にどのように影響を与えるか？
• RQ4 好み情報が存在しない場合、ABA+は好みなしのABA意味論と一貫性を保っているか？
• RQ5 ABA+は、ASPIC+ や好み付きの答え集合プログラミングといった、好みを備えた他の証明形式とどのような関係にあるか？

主な発見

• ABA+は、好み処理の原則Iを満たしており、拡張が唯一、互いに攻撃し合う2つの証明の違いに起因する場合に、より好まれる証明が、好まれない証明の代わりに除外されないことを保証している。
• 対応の仮定のもとで、ABA+の意味論は、他の構造化された証明形式と同様の望ましい性質を示している。
• さまざまな意味論において、ABA+は慎重な単調性および累積的推移性を満たしており、情報の変更に伴う合理的な挙動が確認されている。
• 対応の原則は、基本補題を保証し、ABA+における主要な意味論的性質の満たし方を可能にするために不可欠である。
• 好みがない状況では、ABA+は標準的なABA意味論と一貫性を保っているため、好み拡張の主要な望ましい性質を満たしている。
• この形式的枠組みは、答え集合プログラミングからの多くの有名な好み処理の原則と相性が良いことが示された。