Constraint Reasoning Based on Interval Arithmetic
Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 1193-1197.
Abstract
Current numerical constraint propagation systems accept as input only problems represented by exact numerical values and correspondingly produce only crisp solutions as output. In order to remove this limitation we have designed and implemented a generalized constraint propagation scheme based on interval arithmetic instead of conventional arithmetic. By using intervals instead of exact values we may express inexact numerical constraints in a well-defined way and compute necessary conditions for consistency in inconsistent underconstrained or overconstrained situations. If only singleton intervals are used our system produces similar results as conventional exact value systems.
@inproceedings{ijcai1989p191,
title = {Constraint Reasoning Based on Interval Arithmetic},
author = {Hyvönen, Eero},
booktitle = {Proceedings of the Eleventh International Joint Conference on
Artificial Intelligence, {IJCAI-89}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {N. S. Sridharan},
pages = {1193--1197},
year = {1989},
month = {8},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1989/191},
}
TY - CPAPER TI - Constraint Reasoning Based on Interval Arithmetic AU - Hyvönen, Eero T2 - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89 PB - International Joint Conferences on Artificial Intelligence PY - 1989 SP - 1193 EP - 1197 UR - https://ijcai.org/proceedings/1989/191 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
