An Experimental CLP Platform for Integrity Constraints and Abduction

Abdennadher, Slim; Christiansen, Henning

doi:10.1007/978-3-7908-1834-5_13

Cited by 23 publications

(32 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As first noticed by [3], there is a clear analogy between abducibles plus integrity constraints and CHR's constraints plus rules.…”

Section: Constraint Handling Rules Chrmentioning

confidence: 86%

“…The first observation of the similarity between CHR and abductive logic programming was made by [3] showing that abducible predicates can be represented as constraints in CHR's sense and integrity constraints as rules in CHR. The referenced work describes a translation of a class of abductive logic programs with limited use of negation (similar to the present paper) into CHR ∨ [4] which is an extension to CHR with disjunctions in rule bodies; the main difference is that [3] also translates the logic program component into CHR ∨ so that the efficiency of having Prolog do the resolution steps is lost.…”

Section: Conclusion and Related Workmentioning

confidence: 99%

“…The referenced work describes a translation of a class of abductive logic programs with limited use of negation (similar to the present paper) into CHR ∨ [4] which is an extension to CHR with disjunctions in rule bodies; the main difference is that [3] also translates the logic program component into CHR ∨ so that the efficiency of having Prolog do the resolution steps is lost. CHR based abduction for language processing is applied in the CHRG system [10,9] which is based on bottom-up parsing in CHR.…”

Section: Conclusion and Related Workmentioning

confidence: 99%

“…As we have noticed, negation is the more complicated part to which we have no solution; [6] sketches an extension of [3]'s method intended for a full use of negation-as-failure in program clauses and integrity constraints; as for [3], no integration with Prolog is provided. Unfortunately, it has not been possible to reconstruct the code from the description in [6] in order to test the method and there appears to be inherent looping problems.…”

Section: Conclusion and Related Workmentioning

confidence: 99%

See 3 more Smart Citations

HYPROLOG: A New Logic Programming Language with Assumptions and Abduction

Christiansen

Dahl

2005

Logic Programming

Self Cite

View full text Add to dashboard Cite

Abstract. We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integrity constraints. Assumptions are a mechanism inspired by linear logic and taken over from Assumption Grammars. The language shows a novel flexibility in the interaction between the different paradigms, including all additional built-in predicates and constraints solvers that may be available. Assumptions and abduction are especially useful for language processing, and we can show how HYPROLOG works seamlessly together with the grammar notation provided by the underlying Prolog system. An operational semantics is given which complies with standard declarative semantics for the "pure" sublanguages, while for the full HYPROLOG language, it must be taken as definition. The implementation is straightforward and seems to provide for abduction, the most efficient of known implementations; the price, however, is a limited use of negations. The main difference wrt. previous implementations of abduction is that we avoid any level of metainterpretation by having Prolog execute the deductive steps directly and by treating abducibles (and assumptions as well) as CHR constraints.

show abstract

“…As first noticed by [3], there is a clear analogy between abducibles plus integrity constraints and CHR's constraints plus rules.…”

Section: Constraint Handling Rules Chrmentioning

confidence: 86%

Section: Conclusion and Related Workmentioning

confidence: 99%

Section: Conclusion and Related Workmentioning

confidence: 99%

Section: Conclusion and Related Workmentioning

confidence: 99%

See 2 more Smart Citations

HYPROLOG: A New Logic Programming Language with Assumptions and Abduction

Christiansen

Dahl

2005

Logic Programming

Self Cite

View full text Add to dashboard Cite

show abstract

“…Previous work, such as [1], tend to use CHR as a language for abduction. However, the problem is that the user has to write two different programs for deductive and abductive reasoning.…”

Section: Introductionmentioning

confidence: 99%

Combining Forward and Backward Propagation

Zaki

Abdennadher

Frühwirth

2015

Frontiers of Combining Systems

Self Cite

View full text Add to dashboard Cite

Abstract. Constraint Handling Rules (CHR) is a general-purpose rulebased programming language. This paper studies the forward and backward propagation of rules, and explores the combination of both execution strategies. Forward propagation transforms input to output, while backward propagation uncovers input from output. This work includes a source-to-source transformation capable of implementing a backward propagation of the rules. Furthermore with the addition of annotating trigger constraints, CHR programs can be executed in a strictlyforward, strictly-backward or combined interleaved quasi-simultaneous manner. A programmer should only write one program and then the annotated transformation empowers the multiple execution strategies. The proposed work is useful for automatic implementation of bidirectional search for any search space through the combined execution strategies. Moreover, it is advantageous for reversible bijective algorithms (such as lossless compression/decompression), requiring only one algorithm direction to be implemented.

show abstract

Intelligent Information Integration as a Constraint Handling Problem

Badea

Tilivea

2002

Flexible Query Answering Systems

View full text Add to dashboard Cite

An Experimental CLP Platform for Integrity Constraints and Abduction

Cited by 23 publications

References 7 publications

HYPROLOG: A New Logic Programming Language with Assumptions and Abduction

HYPROLOG: A New Logic Programming Language with Assumptions and Abduction

Combining Forward and Backward Propagation

Intelligent Information Integration as a Constraint Handling Problem

Contact Info

Product

Resources

About