Argumentative Characterizations of (Extended) Disjunctive Logic Programs

06/12/2023
by   Jesse Heyninck, et al.
0

This paper continues an established line of research about the relations between argumentation theory, particularly assumption-based argumentation, and different kinds of logic programs. In particular, we extend known result of Caminada, Schultz and Toni by showing that assumption-based argumentation can represent not only normal logic programs, but also disjunctive logic programs and their extensions. For this, we consider some inference rules for disjunction that the core logic of the argumentation frameworks should respect, and show the correspondence to the handling of disjunctions in the heads of the logic programs' rules.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset