Integrating Answer Set Reasoning with Constraint Solving Techniques

Abstract. The paper introduces a collection of knowledge representation languages, V(C), parametrised over a class C of constraints. V(C) 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 denials1 whose bodies contain constraints from C with variables ranging over large domains. We study an instance AC0 from this family where C 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 AC0 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 AC0. The work makes it possible to solve problems which could not be solved by pure ASP or constraint solvers.

• Type: Conference
• Year: 2008
• Where: FLOPS
• Authors: Veena S. Mellarkod, Michael Gelfond
• Keywords: Algorithm Checking Consistency, Automated Reasoning, Bodies Contain Constraints, FLOPS 2008, Knowledge Representation Languages