期刊
AI COMMUNICATIONS
卷 31, 期 4, 页码 369-382出版社
IOS PRESS
DOI: 10.3233/AIC-180769
关键词
Abstract argumentation; stochastic local search; preferred semantics
资金
- National Natural Science Foundation of China [61300049, 61502197, 61503044, 61763003]
- Natural Science Research Foundation of Jilin Province of China [20180101053JC]
Several efficient SAT-based methods for computing the preferred extensions in (abstract) argumentation frameworks (AF) are proposed lately. However, only complete SAT solvers have been exploited so far. It is a natural question that how the appealing stochastic local search (SLS) approach could advance the performance. In this paper, we developed two SLS algorithms for computing the preferred extensions in AF, and a complete one which combines the strength of the better one with complete SAT solvers. Our first SLS algorithm Ite-CCA(EP) works by calling an SLS SAT solver Swcca in an iterative manner with adaptive heuristics. Our second SLS algorithm Inc-CCA(EP) realized an incremental version of Swcca, specially designed for computing the preferred extensions in AF. Though Ite-CCA(EP) and Inc-CCA(EP) do not guarantee completeness, they notably outperform a state-of-the-art solver consistently on most benchmarks with non-empty preferred extensions. Experimental results also show that Inc-CCA(EP) is more efficient than Ite-CCAEP, which inspired the design of a novel complete algorithm called CCASAT(EP) that uses Inc-CCA(EP) as an efficient preprocessor. Further experiments show that CCASAT(EP) is competitive to the state-of-the-art methods.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据