In Pursuit of a Design Mathematics: Generalizing the Labeled Interval Calculus
Abstract The Labeled Interval Calculus (LIC) is a formalism for reasoning about sets of design possibilities. Examples include toleranced objects, abstract descriptions involving many possible instantiations, and varying operating conditions. It has been successful in a “mechanical design compiler”, which accepts schematics and specifications and returns catalog numbers for optimal implementations. The LIC at present operates on monotonic algebraic equations and intervals of real values, but it now appears possible to generalize it to address arbitrary types of mathematical sets and relationships. The resulting family of formalisms is expected to be useful in design by feature and other design programs.
Keyword(s):
1981 ◽
Vol 103
(4)
◽
pp. 731-738
◽
Keyword(s):