ITEM METADATA RECORD
Title: Refining definitions with unknown opens using XSB for IDP3
Authors: Jansen, Joachim
Janssens, Gerda
Issue Date: Jun-2014
Publisher: RWTH Aachen University
Host Document: Proceedings of the international joint workshop on implementation of constraint and logic programming systems and logic-based methods in programming environments 2014 pages:15-29
Series Title: Aachener Informatik Berichte
Conference: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments edition:14 location:Vienna, Austria date:17-18 July 2014
Abstract: FO(·)IDP3 is a declarative modeling language that extends first-order
logic with inductive definitions, partial functions, types and aggregates.
Its model generator IDP3 grounds the problem into a low-level
(propositional) representation and consequently use a generic solver to
search for a solution. Recent work introduced a technique that evaluates
all definitions that depend on fully known information before the
grounding step. In this paper, we extend this technique, which allows us
to refine the interpretation of defined symbols when they depend on
information that is only partially given instead of completely given. We
use our existing transformation of FO(·)IDP3 definitions to Tabled Prolog
rules and extend it to support definitions that depend on information that
is possibly partially unknown. In this paper we present an algorithm that
uses XSB Prolog to evaluate these rules in such a way that we achieve the
most precise possible refinement of the defined symbols. Experimental
results show that our technique derives extra information for the defined
symbols.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
refining_definitions_with_unknown_opens_using_xsb_for_idp3.pdf"Refining definitions with unknown opens using XSB for IDP3" paper presented at CICLOPS-WLPE 2014 Published 359KbAdobe PDFView/Open

 


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