Abduction in Argumentation Frameworks
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
We also apply abduction to enforcement and simple dialogue games in argumentation frameworks.