[論文レビュー] Dynamics of Knowledge in DeLP through Argument Theory Change

Martín O. Moguillansky, Nicolás D. Rotstein+3 more|arXiv (Cornell University)|Nov 29, 2011

Multi-Agent Systems and Negotiation参考文献 26被引用数 3

ひとこと要約

本稿は、Defeasible Logic Programming (DeLP) システムにおいて、論理的反駁プログラム（de.l.p.s）の動的再編集を形式的枠組みで提案する。Argument Theory Change (ATC) を用い、新たに挿入された議論が、知識ベースの最小限の変更を通じて、選択および切断関数を用いて、最小限の変更で妥当性を保証する優先順位付き再編集演算子を導入する。Prologに類似したアルゴリズムにより、議論構造と合理的変化の原則を保持したまま、実装が可能となる。

ABSTRACT

This article is devoted to the study of methods to change defeasible logic programs (de.l.p.s) which are the knowledge bases used by the Defeasible Logic Programming (DeLP) interpreter. DeLP is an argumentation formalism that allows to reason over potentially inconsistent de.l.p.s. Argument Theory Change (ATC) studies certain aspects of belief revision in order to make them suitable for abstract argumentation systems. In this article, abstract arguments are rendered concrete by using the particular rule-based defeasible logic adopted by DeLP. The objective of our proposal is to define prioritized argument revision operators à la ATC for de.l.p.s, in such a way that the newly inserted argument ends up undefeated after the revision, thus warranting its conclusion. In order to ensure this warrant, the de.l.p. has to be changed in concordance with a minimal change principle. To this end, we discuss different minimal change criteria that could be adopted. Finally, an algorithm is presented, implementing the argument revision operations.

研究の動機と目的

• 新規の議論が挿入された際のDeLPにおける知識の動的変化を扱うため、合理的な反駁論理プログラムの再編集を可能にする。
• 既存の知識と矛盾する場合でも、新たに挿入された議論が議論枠組み内で妥当性を保証されるようにする。
• 議論の文脈において最小変更の原則を形式化し、過去の知識を保持し、弁別的木構造への構造的破壊を最小限に抑えることを目的とする。
• 抽象的なArgument Theory Change (ATC) を、DeLPの具体的なルールベース構造に適応させ、議論システムにおける実装を可能にする。

提案手法

• 抽象的ATCをDeLPに具体化し、議論レベルの変更を反駁論理プログラム内の変更にマッピングする。
• 最小変更基準（例えば、削除される信念を最小限に抑える、または葉に近い議論線を変更する）に基づき、変更対象となる議論線の候補集合を特定する選択関数を定義する。
• 余計な損害を制御するため、切断に配慮した変更集合の概念を導入し、弁別的木構造において必要な部分のみを変更することを保証する。
• 古典的信念再編集の公理（コア保持と成功）を議論枠組み内に再形式化し、合理的な再編集を導く。
• 弁別的木構造の構造的性質に基づく最適化を施した、Prologに類似したアルゴリズムを用いて再編集演算子を実装する。
• 再編集後の議論妥当性を決定するために、DeLPのマーキング手順を用いて弁別的木を評価する。

実験結果

リサーチクエスチョン

• RQ1 新たに挿入された議論が議論枠組み内で妥当性を保証されるように、DeLPにおける議論再編集をどのように形式化できるか？
• RQ2 新しい議論を受容するために反駁論理プログラムを再編集する際、最小変更の基準として最も適切なものは何か？
• RQ3 再編集の影響を、既存の議論構造への不必要な混乱を避けるために、どのように局所化できるか？
• RQ4 再編集演算子が合理性（成功とコア保持）を保証するための形式的性質は何か？
• RQ5 議論木の複雑さを考慮すると、再編集プロセスを実用的に効率的に実装するにはどうすればよいか？

主な発見

• 提案された再編集演算子は、再編集後に新たに挿入された議論の主張が妥当性を保証することに成功し、成功の公理を満たす。
• コア保持の原則を強制することで、過去の知識が保持され、紛争に参加しない信念はそのままである。
• 削除される信念を最小限に抑える、または葉に近い議論線を変更するといった、複数の最小変更基準が形式的に正当化され、比較されている。
• 切断に配慮した変更集合の概念は、弁別的木の必要な部分にのみ変更を集中させることで、余計な損害を効果的に低減する。
• 詳細なPrologに類似したアルゴリズムが提示されており、特定の条件下では最適な変更集合を全探索せずに回避する最適化が可能である。
• 形式化により、合理的な信念再編集の原則が議論システムに適応可能であることが示され、正しさと構造的整合性が維持されている。