论证理论
计算机科学
计算
光学(聚焦)
语义学(计算机科学)
扩展(谓词逻辑)
理论计算机科学
论证框架
可满足性
算法
程序设计语言
认识论
光学
物理
哲学
作者
Federico Cerutti,Paul E. Dunne,Massimiliano Giacomin,Mauro Vallati
标识
DOI:10.1007/978-3-642-54373-9_12
摘要
This paper presents a novel SAT-based approach for the computation of extensions in abstract argumentation, with focus on preferred semantics, and an empirical evaluation of its performances. The approach is based on the idea of reducing the problem of computing complete extensions to a SAT problem and then using a depth-first search method to derive preferred extensions. The proposed approach has been tested using two distinct SAT solvers and compared with three state-of-the-art systems for preferred extension computation. It turns out that the proposed approach delivers significantly better performances in the large majority of the considered cases.
科研通智能强力驱动
Strongly Powered by AbleSci AI