TY - GEN
T1 - Abstracting numerical values in CLP(H,N)
AU - Janssens, Gerda
AU - Bruynooghe, Maurice
AU - Englebert, Vincent
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1994.
PY - 1994
Y1 - 1994
N2 - The paper defines approximations for the numerical leaves of variables in CLP(H,N) constraint systems. The abstractions are based on intervals which are computed by narrowing rules. The novelty of this approach lays in the. fact that intervals are used as abstraction and that narrowing rules do not only correspond to numerical constraints but also to unification constraints. In the first abstraction the impact of the narrowing rules is limited. A prototype implementation has been developed and the obtained results are sufficiently precise to recognise (future) redundant constraints. The abstraction can be extended (1) by incorporating the narrowing rules more globally (unification constraints are abstracted by a Prop-like abstraction, numeric constraints are kept in concrete form) and (2) by deriving ordinal relationships between variables.
AB - The paper defines approximations for the numerical leaves of variables in CLP(H,N) constraint systems. The abstractions are based on intervals which are computed by narrowing rules. The novelty of this approach lays in the. fact that intervals are used as abstraction and that narrowing rules do not only correspond to numerical constraints but also to unification constraints. In the first abstraction the impact of the narrowing rules is limited. A prototype implementation has been developed and the obtained results are sufficiently precise to recognise (future) redundant constraints. The abstraction can be extended (1) by incorporating the narrowing rules more globally (unification constraints are abstracted by a Prop-like abstraction, numeric constraints are kept in concrete form) and (2) by deriving ordinal relationships between variables.
UR - http://www.scopus.com/inward/record.url?scp=4444337581&partnerID=8YFLogxK
U2 - 10.1007/3-540-58402-1_28
DO - 10.1007/3-540-58402-1_28
M3 - Conference contribution
AN - SCOPUS:4444337581
SN - 9783540584025
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 400
EP - 414
BT - Programming Language Implementation and Logic Programming - 6th International Symposium, PLILP '94, Proceedings
A2 - Hermenegildo, Manuel
A2 - Penjam, Jaan
PB - Springer Verlag
T2 - 6th International Symposium on Programming Language Implementation and Logic Programming, PLILP 1994
Y2 - 14 September 1994 through 16 September 1994
ER -