Integrating answer set reasoning with constraint solving techniques

Abstract

The paper introduces a collection of knowledge representation languages, , parametrised over a class of constraints. is an extension of both CR-Prolog and CASP allowing the separation of a program into two parts: a regular program of CR-Prolog and a collection of denials whose bodies contain constraints from with variables ranging over large domains. We study an instance from this family where is a collection of constraints of the form X∈- ∈Y∈>∈K. We give brief implementation details of an algorithm computing the answer sets of programs of which does not ground constraint variables and tightly couples the "classical" ASP algorithm with an algorithm checking consistency of difference constraints. We present several examples to show the methodology of representing knowledge in . The work makes it possible to solve problems which could not be solved by pure ASP or constraint solvers. © 2008 Springer-Verlag Berlin Heidelberg.