A framework to incorporate non-monotonic reasoning into constraint logic programming

✍ Scribed by Jürgen Dix; Frieder Stolzenburg

• Publisher: Elsevier Science
• Year: 1998
• Tongue: English
• Weight: 230 KB
• Volume: 37
• Category: Article
• ISSN: 0743-1066
• DOI: 10.1016/s0743-1066(98)10003-1

✦ Synopsis

Impressive work has been done in the last years concerning the meaning of negation and disjunction in logic programs, but most of this research concentrated on propositional programs only. While it suces to consider the propositional case for investigating general properties and the overall behavior of a semantics, we feel that for real applications and for computational purposes an implementation should be able to handle ®rst-order programs without grounding them. In this paper we present a theoretical framework by de®ning a calculus of program transformations that apply directly to rules with variables and function symbols. Our main results are that (a) this calculus is weakly con¯uent for arbitrary programs (i.e., it has the normal form property), (b) it is weakly terminating for Datalog YX programs, (c) for ®nite ground programs it is equivalent to a weakly terminating calculus introduced by Brass and Dix (1995), and (d) it approximates a generalization of Disjunctive Well-founded semantics (D-WFS) for arbitrary programs. We achieve this by transforming program rules into rules with equational constraints thereby using heavily methods and techniques from constraint logic programming (CLP). In particular, disconnection-methods play a crucial role. In principle, any constraint theory known from CLP can be exploited in the context of non-monotonic reasoning, not only equational constraints over the Herbrand domain. However, the respective constraint solver must be able to treat negative constraints of the considered constraint domain. In summary, this work yields the basis for a general combination of two paradigms: constraint logic programming and non-monotonic reasoning.