Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm

Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic programming based knowledge representation techniques to constraint programming and because implementation methods for the stable model semantics for ground (variable-free) programs have advanced significantly in recent years. For a program with variables these methods need a grounding procedure for generating a variable-free program. As a practical approach to handling the grounding problem a subclass of logic programs, domain restricted programs, is proposed. This subclass enables efficient grounding procedures and serves as a basis for integrating built-in predicates and functions often needed in applications. It is shown that the novel paradigm embeds classical logical satisfiability and standard (finite domain) constraint satisfaction problems but seems to provide a more expressive framework from a knowledge...

• Type: Journal
• Year: 1999
• Where: AMAI
• Authors: Ilkka Niemelä
• Keywords: AMAI 1999, Artificial Intelligence, Constraint Satisfaction Problems, Programming, Stable Model Semantics