[論文レビュー] Using Enthymemes to Fill the Gap between Logical Argumentation and Revision of Abstract Argumentation Frameworks

Jean-Guy Mailly|arXiv (Cornell University)|Mar 29, 2016

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

ひとこと要約

本稿では、共有された背景知識に依存する部分的に指定された議論（enthymemes）を用いて、論理的根拠に基づく議論枠組みにおける不確実性をモデル化することを提案する。また、これらの暗黙の前提の誤解が誤った攻撃を引き起こすメカニズムを示している。既存の抽象的議論枠組みの修正手法が、確実な攻撃と疑わしい攻撃を区別することで、新たな情報が現在の議論関係と矛盾する場合に動的に更新可能であることを示している。

ABSTRACT

In this paper, we present a preliminary work on an approach to fill the gap between logic-based argumentation and the numerous approaches to tackle the dynamics of abstract argumentation frameworks. Our idea is that, even when arguments and attacks are defined by means of a logical belief base, there may be some uncertainty about how accurate is the content of an argument, and so the presence (or absence) of attacks concerning it. We use enthymemes to illustrate this notion of uncertainty of arguments and attacks. Indeed, as argued in the literature, real arguments are often enthymemes instead of completely specified deductive arguments. This means that some parts of the pair (support, claim) may be missing because they are supposed to belong to some "common knowledge", and then should be deduced by the agent which receives the enthymeme. But the perception that agents have of the common knowledge may be wrong, and then a first agent may state an enthymeme that her opponent is not able to decode in an accurate way. It is likely that the decoding of the enthymeme by the agent leads to mistaken attacks between this new argument and the existing ones. In this case, the agent can receive some information about attacks or arguments acceptance statuses which disagree with her argumentation framework. We exemplify a way to incorporate this new piece of information by means of existing works on the dynamics of abstract argumentation frameworks.

研究の動機と目的

• 論理的根拠に基づく議論枠組みと抽象的議論枠組みにおける動的修正の間のギャップを埋めること。
• 現実世界の議論が不完全で暗黙の推論（enthymemes）を含むこと、ならびにそれらが攻撃関係における誤解を引き起こすメカニズムをモデル化すること。
• 抽象的議論枠組みにおける既存の動的修正技術が、enthymemeの解釈に起因する不確実性に対応できるように適応可能であることを示すこと。
• 議論枠組みにおいて、完全に指定された議論に対する確実な攻撃と、enthymemesに対する疑わしい攻撃の間の明確な区別を形式化すること。
• 新たな情報がenthymemeの解釈と矛盾する場合に、エージェントがその議論枠組みを修正できるようにすること。

提案手法

• 支持や主張の一部が暗黙的であり、共通の知識とみなされる部分を含む議論を enthymeme として表現する。
• エージェントの信念基盤を論理式の集合としてモデル化し、共有されていない、または誤解された知識による議論構造の不完全性を許容する。
• enthymeme を含む攻撃は、エージェントが欠落した前提をどのように解釈するかに応じて、疑わしいものとみなされる可能性がある。
• 抽象的議論枠組みにおいて、古典的演繹的議論と enthymeme の明確な区別を導入し、修正をガイドする。
• 新たな情報が現在の攻撃構造と矛盾する場合に、既存の抽象的議論枠組みの修正演算子（例：翻訳に基づく修正）を適用してフレームワークを更新する。
• 攻撃の疑わしさを精緻に扱うために、enthymeme の「固定部分（fixed part）」の概念を導入し、修正の精度を向上させる。

実験結果

リサーチクエスチョン

• RQ1 論理的根拠に基づく議論における enthymemes は、抽象的議論枠組みで誤った攻撃をどのように引き起こすか？
• RQ2 エージェントが共通知識をどのように解釈するかが、議論間の攻撃関係の妥当性にどのように影響するか？
• RQ3 抽象的議論枠組みにおける既存の動的修正技術が、enthymeme 解釈に起因する不確実性に対応できるか？
• RQ4 修正の過程で、確実な攻撃と疑わしい攻撃の区別を形式的に維持する方法は何か？
• RQ5 enthymeme の固定部分は、不確実な攻撃の修正プロセスをどのように精緻化するか？

主な発見

• enthymemes は、エージェントが欠落した前提を誤解する可能性があるため、議論枠組みに不確実性をもたらす。
• 論理的信念基盤が存在しても、攻撃関係は絶対的ではなく、エージェントが暗黙の知識をどのように解釈するかに依存する。
• enthymeme の使用は、共有された背景知識の誤解によって、論理的に必要ではない攻撃が誤って認識される原因となる。
• 既存の抽象的議論枠組みの修正手法は、これらの不確実な攻撃を再考可能なコンポーネントとして扱うことで、適応可能である。
• enthymeme の「固定部分」の導入により、より洗練された修正プロセスが可能となり、誤った攻撃の数を削減できる。
• 新たな情報が現在の攻撃構造と矛盾する場合、フレームワークは動的修正をサポートし、エージェントが新たな合意や証拠に合わせて議論枠組みを再構築できる。