Encoding Argumentation Semantics by Boolean Algebra

Fuan PU  Guiming LUO  Zhou JIANG  

IEICE TRANSACTIONS on Information and Systems   Vol.E100-D   No.4   pp.838-848
Publication Date: 2017/04/01
Online ISSN: 1745-1361
Type of Manuscript: PAPER
Category: Artificial Intelligence, Data Mining
argumentation framework,  acceptability semantics,  Boolean algebra,  Boolean constraint solver,  logic programming,  querying strategies,  

Full Text: PDF(516.4KB)
>>Buy this Article

In this paper, a Boolean algebra approach is proposed to encode various acceptability semantics for abstract argumentation frameworks, where each semantics can be equivalently encoded into several Boolean constraint models based on Boolean matrices and a family of Boolean operations between them. Then, we show that these models can be easily translated into logic programs, and can be solved by a constraint solver over Boolean variables. In addition, we propose some querying strategies to accelerate the calculation of the grounded, stable and complete extensions. Finally, we describe an experimental study on the performance of our encodings according to different semantics and querying strategies.