Abstract
<abstract><p>The Boolean models of argumentation semantics have been established in various ways. These models commonly translate the conditions of extension-based semantics into some constraints of the models. The goal of this work is to explore a simple method to build Boolean models for argumentation. In this paper, the attack relation is treated as an operator, and its value is calculated by the values of its target and source arguments. By examining the values of the attacks, a Boolean model of conflict-free sets is introduced. This novel method simplifies the existing ways by eliminating the various constraints. The conflict-free sets can be calculated by simply checking the values of the attacks.</p></abstract>
Publisher
American Institute of Mathematical Sciences (AIMS)
Reference26 articles.
1. P. M. Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and $n$-person games, Artif. Intell., 77 (1995), 321–357. https://doi.org/10.1016/0004-3702(94)00041-X
2. M. Caminada, On the issue of reinstatement in argumentation, In: Logics in artificial intelligence, Berlin, Heidelberg: Springer, 2006,111–123. https://doi.org/10.1007/11853886_11
3. B. S. Liao, L. Jin, R. C. Koons, Dynamics of argumentation systems: a division-based method, Artif. Intell., 175 (2011), 1790–1814. https://doi.org/10.1016/j.artint.2011.03.006
4. F. Pu, G. M. Luo, Z. Jiang, Encoding argumentation semantics by Boolean algebra, IEICE Trans. Inform. Syst., E100-D (2017), 838–848. https://doi.org/10.1587/transinf.2016EDP7313
5. F. Cerutti, S. A. Gaggl, M. Thimm, J. P. Wallner, Foundations of implementations for formal argumentation, IfCoLog J. Log. Appl., 4 (2017), 2623–2705.