2012 IEEE 24th International Conference on Tools with Artificial Intelligence (2011)
Boca Raton, Florida USA
Nov. 7, 2011 to Nov. 9, 2011
We are interested by argumentation systems which build their arguments from a propositional knowledge base (KB), and evaluate them using Dung's acceptability semantics. We start by showing that such systems are infinite, i.e. from a finite KB, an infinite set of arguments and an infinite set of attacks among them are generated. While the construction of arguments under propositional logic is costly even in the finite case, the fact that those systems are infinite makes them completely useless. Then, we provide a procedure which, given an argumentation system, computes its finite sub-system, called core. A core considers a finite subset of arguments and a finite subset of attacks, and returns all the results of the original system. This means that a finite subset of arguments is sufficient to draw all the expected conclusions from a KB.
Argumentation systems, Cores, Finiteness
Leila Amgoud, Srdjan Vesic, Philippe Besnard, "Identifying the Core of Logic-Based Argumentation Systems", 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, vol. 00, no. , pp. 633-636, 2011, doi:10.1109/ICTAI.2011.100