Extending the constraint propagation of intervals
- 27 February 1990
- journal article
- research article
- Published by Cambridge University Press (CUP) in Artificial Intelligence for Engineering Design, Analysis and Manufacturing
- Vol. 4 (1) , 47-54
- https://doi.org/10.1017/s0890060400002237
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 utility 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.Keywords
This publication has 3 references indexed in Scilit:
- Quantitative Inference in a Mechanical Design “Compiler”Published by ASME International ,1989
- Constraint propagation with interval labelsArtificial Intelligence, 1987
- Constraints—A language for expressing almost-hierarchical descriptionsArtificial Intelligence, 1980