Answer Set Programming (ASP) is a well-established AI formalism rooted in nonmonotonic reasoning. Paracoherent semantics for ASP have been proposed to derive useful conclusions also in the absence of answer sets caused by cyclic default negation. Recently, several different algorithms have been proposed to implement them, but no algorithm is always preferable to the others in all instances. In this paper, we apply algorithm selection techniques to devise a more efficient paracoherent answer set solver combining existing algorithms. The effectiveness of the approach is demonstrated empirically running our system on existing benchmarks.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | Algorithm Selection for Paracoherent Answer Set Computation |
Autori: | |
Data di pubblicazione: | 2019 |
Handle: | http://hdl.handle.net/20.500.11770/295580 |
ISBN: | 978-3-030-19569-4 978-3-030-19570-0 |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |