Abduction in Argumentation Frameworks

Chiaki Sakama

Journal of Applied Non-Classical Logics, vol.28(2-3), pages 218-239, 2018.


This paper studies abduction in abstract argumentation frameworks. Given an argument, an agent verifies whether the argument is justified or not in its argumentation framework. If the argument is not justified in the argumentation framework, the agent seeks conditions to explain the justification state by hypothesizing arguments in the universal argumentation framework. We formulate such abductive reasoning in argumentation semantics and provide its computation in logic programming. We also apply abduction to enforcement and simple dialogue games in argumentation frameworks.

Available Online