Extending the Constraint Propagation of Intervals
Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 1453-1459.
Abstract
We show that the usual notion of constraint propagation is but one of a number of similar inferences useful in quantitative reasoning about physical objects. These inferences are expressed formally as rules for the propagation of "labeled intervals" through equations . We prove the rules' correctness and illustrate their ut i lity for reasoning about objects (such as motors or transmissions) which assume a continuum of different states . The inferences are the basis of a "mechanical design compiler" , which has correctly produced detailed designs from "high level" descriptions for a variety of power transmission and temperature sensing systems.
@inproceedings{ijcai1989p232,
title = {Extending the Constraint Propagation of Intervals},
author = {Ward, Allen C. and Lozano-Perez, Tomas and Seering, Warren P.},
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 = {1453--1459},
year = {1989},
month = {8},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1989/232},
}
TY - CPAPER TI - Extending the Constraint Propagation of Intervals AU - Ward, Allen C. AU - Lozano-Perez, Tomas AU - Seering, Warren P. T2 - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89 PB - International Joint Conferences on Artificial Intelligence PY - 1989 SP - 1453 EP - 1459 UR - https://ijcai.org/proceedings/1989/232 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
