The paper introduces ASP-EX, a framework aimed at enabling Answer Set Programming (ASP) to deal with external sources of computation. This feature is realized by the introduction of “parametric” external predicates, whose extension is not specified by means of a logic program but computed through external code. With respect to existing approaches it is explicitly addressed the issue of invention of new information coming from external predicates, in form of new, and possibly infinite, constant symbols.ASP-EX has been successfully implemented in the DLV system, which is now enabled to make external program calls.
Extending ASP by value invention
CALIMERI, Francesco;IANNI, Giovambattista
2006-01-01
Abstract
The paper introduces ASP-EX, a framework aimed at enabling Answer Set Programming (ASP) to deal with external sources of computation. This feature is realized by the introduction of “parametric” external predicates, whose extension is not specified by means of a logic program but computed through external code. With respect to existing approaches it is explicitly addressed the issue of invention of new information coming from external predicates, in form of new, and possibly infinite, constant symbols.ASP-EX has been successfully implemented in the DLV system, which is now enabled to make external program calls.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
