12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'00) Automated reasoning on monotonic constraints Vancouver, British Columbia, Canada November 13-November 15 ISBN: 0-7695-0909-6
Abstract: We study the properties of monotonic parts of (continuous) constraints. We design a general framework to reason about them : directions can be abstracted by signs, which capture significant information on the location of solutions. We show that this formalism is appropriate to study the relative position of solution sets. Efficient algorithms are proposed to diagnose the behaviour of some consistency techniques. These methods raise new perspectives on an open issue: the prediction of the consistency technique to be used wrt a given problem.
Index Terms:
inference mechanisms; constraint handling; automated reasoning; monotonic constraints; consistency techniques
Citation:
L. Bordeaux, F. Benhamou, "Automated reasoning on monotonic constraints," ictai, pp.0401, 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'00), 2000 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||