Title: The IDP system: A model expansion system for an extension of classical logic
Authors: Wittocx, Johan
Mariƫn, Maarten
Denecker, Marc #
Issue Date: Nov-2008
Publisher: ACCO
Host Document: Proceedings of the 2nd Workshop on Logic and Search pages:153-165
Conference: Logic and Search, LaSh edition:2 location:Leuven date:6-7 November 2008
Abstract: The model expansion (MX) search problem consists of finding models of a given theory that expand a given finite interpretation. Model expansion in classical first-order logic (FO) has been proposed as the basis for an Answer Set Programming-like declarative programming framework for solving NP problems. In this paper, we present IDP, a system for solving MX problems that integrates technology from ASP and SAT. Its strenght lies both in its rich input language and its efficiency. IDP is the first model expansion system that can handle full FO, but its language extends FO with many other primitives such as inductive definitions, aggregates, quantifiers with numerical constraints, order-sorted types, arithmetic, partial functions, etc. We show that this allows for a natural, compact representation of many interesting search problems. Despite the generality of its language, our experiments show that the IDP system belongs to the most efficient ASP and MX systems.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:
File Description Status SizeFormat
lash08.pdfMain article Published 212KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.