BODANZA Gustavo Adrian
congresos y reuniones científicas
Boolean tableaux for abstract argumentation frameworks
HERNÁNDEZ MANFREDINI, ENRIQUE; BODANZA, GUSTAVO ADRIÁN
Encuentro; Days in Logic; 2018
Dept. de Matemática and Centro de Investigação e Desenvolvimento em Matemática e Aplicações, Universidade de Aveiro, Portugal
A tableaux method is proposed as a decision procedure for Dung?s argumentation frameworks. Argumentation frameworks are structures (A, R), where A is a set of arguments and R is a binary (?attack?) relation over A. The method enables to decide the justification of sentences p such as ?argument a is accepted? or ?argument a is rejected?, and captures credulous and skeptic behaviors for both preferred and grounded semantics. To show this, we introduce notions of satisfiability (the tableaux of p has an open branch) and validity (p is satisfiable and its tableaux is free of loops). Moreover, the method is defended as a useful tool for teaching on semantics for argumentation frameworks, given the simplicity and familiarity of logicians with analytic tableaux.