论证理论
计算机科学
执行
计算机安全
程序设计语言
法学
认识论
政治学
哲学
作者
Andreas Niskanen,Johannes Wallner,Matti Järvisalo
标识
DOI:10.1007/978-3-319-48758-8_25
摘要
In this paper we describe Pakota, a system implementation that allows for solving enforcement problems over argumentation frameworks. Via harnessing Boolean satisfiability (SAT) and maximum satisfiability (MaxSAT) solvers, Pakota implements algorithms for extension and status enforcement under various central AF semantics, covering a range of NP-complete—via direct MaxSAT encodings—and $$\mathrm{\Sigma }_{2}^{P}$$ -complete—via MaxSAT-based counterexample-guided abstraction refinement—enforcement problems. We overview the algorithmic approaches implemented in Pakota, and describe in detail the system architecture, features, interfaces, and usage of the system. Furthermore, we present an empirical evaluation on the impact of the choice of MaxSAT solvers on the scalability of the system, and also provide benchmark generators for extension and status enforcement.
科研通智能强力驱动
Strongly Powered by AbleSci AI