Search:
Computing and Library Services - delivering an inspiring information environment

Boolean Functions with Ordered Domains in Answer Set Programming

Alviano, Mario, Faber, Wolfgang and Strass, Hannes (2016) Boolean Functions with Ordered Domains in Answer Set Programming. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. AAAI Press. (In Press)

[img] PDF - Accepted Version
Restricted to Repository staff only

Download (275kB)

Abstract

Boolean functions in Answer Set Programming have proven a useful modelling tool. They are usually specified by means of aggregates or external atoms. A crucial step in computing answer sets for logic programs containing Boolean functions is verifying whether partial interpretations satisfy a Boolean function for all possible values of its undefined atoms. In this paper, we develop a new methodology for showing when such checks can be done in deterministic polynomial time. This provides a unifying view on all currently known polynomial-time decidability results, and furthermore identifies promising new classes that go well beyond the state of the art. Our main technique consists of using an ordering on the atoms to significantly reduce the necessary number of model checks. For many standard aggregates, we show how this ordering can be automatically obtained.

Item Type: Book Chapter
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Schools: School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
Related URLs:
Depositing User: Wolfgang Faber
Date Deposited: 02 Feb 2016 11:47
Last Modified: 01 Dec 2016 16:46
URI: http://eprints.hud.ac.uk/id/eprint/27060

Downloads

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 ©