计算机科学
论证理论
答案集编程
语义学(计算机科学)
整数规划
程序设计语言
整数(计算机科学)
集合(抽象数据类型)
逻辑程序设计
理论计算机科学
人工智能
算法
哲学
认识论
作者
Mauricio Osorio,José Antonio Acevedo Díaz,Alejandro Santoyo
标识
DOI:10.1007/978-3-319-13647-9_38
摘要
Dung’s abstract argumentation frameworks has been object of intense study not just for its relationship with logical reasoning but also for its uses within artificial intelligence. One research branch in abstract argumentation has focused on finding new methods for computing its different semantics. We present a novel method, to the best of our knowledge, for computing preferred semantics using 0-1 integer programming, and also experimentally compare it with two answer set programming approaches. Our results indicate that this new method performed well.
科研通智能强力驱动
Strongly Powered by AbleSci AI