Temporality and Causality in Abstract Argumentation

要約

抽象的な議論の文脈では、時間性、つまり議論が発声される順序、および因果関係を考慮することの利点を提示します。
私たちは、非循環的な抽象的な議論フレームワークの概念をアクション言語に書き直す正式な方法を提案します。これにより、世界の進化をモデル化し、議論の発声とその結果の間の因果関係を直接的または間接的に確立することができます。
アンサー セット プログラミングの実装も提案されており、説明に向けた展望も示されています。

要約(オリジナル)

In the context of abstract argumentation, we present the benefits of considering temporality, i.e. the order in which arguments are enunciated, as well as causality. We propose a formal method to rewrite the concepts of acyclic abstract argumentation frameworks into an action language, that allows us to model the evolution of the world, and to establish causal relationships between the enunciation of arguments and their consequences, whether direct or indirect. An Answer Set Programming implementation is also proposed, as well as perspectives towards explanations.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google