Author:
Ward Allen C.,Lozano-Pérez Tomás,Seering Warren P.
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.
Publisher
Cambridge University Press (CUP)
Subject
Artificial Intelligence,Industrial and Manufacturing Engineering
Reference14 articles.
1. Ward A. C. and Seering W. 1989 a. The performance of a mechanical design compiler. In Proceedings of the 1989 International Conference on Engineering Design.
2. Ward A. C. 1989. A theory of quantitative inference for artifact sets, applied to a mechanical design compiler, PhD Thesis, Massachusetts Institute of Technology.
3. Ward A. C. and Seering W. 1989 b. Quantitative inference in a mechanical design compiler. In Proceedings of the 1989 ASME Design Theory and Methodology Conference.
4. Constraint propagation with interval labels
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献