Title: Model expansion in the presence of function symbols using constraint programming
Authors: De Cat, Broes ×
Bogaerts, Bart
Denecker, Marc
Devriendt, Jo #
Issue Date: Nov-2013
Host Document: IEEE 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013, Washinton, USA, November 4-6, 2013 pages:1068-1075
Conference: International Conference on Tools For Aritificial Intelligence location:Washington D.C. date:4-6 Nov 2013
Article number: ICTAI.2013.159
Abstract: The traditional approach to model expansion (generating models of a logic theory extending a partial structure) is to reduce the theory to a propositional language and apply a search algorithm to the resulting theory.

Function symbols are typically replaced by predicate symbols representing the graph of the function, an operation that blows up the reduced theory.In this paper, we present an improved approach to handle function symbols in a ground-and-solve methodology, building on ideas from Constraint Programming.We do so in the context of FO(.)^IDP, the knowledge representation language that extends First-Order logic with, among others, inductive definitions, arithmetic and aggregates.A model expansion algorithm is developed, consisting of(i) a grounding algorithm for FO(.)^IDP that is parametrized by the function symbols the are allowed to occur in the reduced theory, and (ii) a search algorithm for unrestricted, ground FO(.)^IDP. The ideas are implemented within the IDP knowledge-base system and experimental evaluation shows that both more compact groundings and improved search performance are obtained.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
Finite-domain support in model expansion.pdf Submitted 299KbAdobe PDFView/Open


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