Computing and Library Services - delivering an inspiring information environment

Externally Supported Models for Efficient Computation of Paracoherent Answer Sets

Amendola, Giovanni, Dodaro, Carmine, Faber, Wolfgang and Ricca, Francesco (2018) Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. In: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence. AAAI Press.

PDF - Published Version
Download (257kB) | Preview


Answer Set Programming (ASP) is a well established formalism for nonmonotonic reasoning. While incoherence, the non-existence of answer sets for some programs, is an important feature of ASP, it has frequently been criticised and indeed has some disadvantages, especially for query answering. Paracoherent semantics have been suggested as a remedy, which extend the classical notion of answer sets to draw meaningful conclusions also from incoherent programs. In this paper we present an alternative characterization of the two major paracoherent semantics in terms of (extended) externally supported models. This definition uses a transformation of ASP programs that is more parsimonious than the classic epistemic transformation used in recent implementations. A performance comparison carried out on benchmarks from ASP competitions shows that the usage of the new transformation brings about performance improvements that are independent of the underlying algorithms.

Item Type: Book Chapter
Additional Information: Copyright © 2018, Association for the Advancement of Artificial Intelligence ( All rights reserved
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Q Science > QA Mathematics > QA76 Computer software
Schools: School of Computing and Engineering
Related URLs:
Depositing User: Wolfgang Faber
Date Deposited: 27 Nov 2017 10:39
Last Modified: 28 Aug 2021 15:24


Downloads per month over past year

Repository Staff Only: item control page

View Item View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©