This ontology specializes the general theory of components-with-constraints for the VT problem. It defines the type of components that are to be designed and the restricted set of operators that may appear in constraints. It specializes the more general configuration design theory by adding commitments to a notion of optimality based on a cost function.
Modified 19 May 1994. Added SQUARE SQRT FLOOR INVSIN to list of functions allowed in constraints.
Modified 30 July 1994. Integrated with the more general component assembly family, which replaces the old configuration-design theory.
Components-With-Constraints Scalar-Quantities Standard-Dimensions
Component-Class Cost-Quantity Function-Allowed-In-Vt-Constraint Value-Allowed-For-Vt-Term Vt-Component Vt-Constant Vt-Constraint Vt-Constraint-Sentence
Component.Cost Invsin Square
The following constants were used from included theories:
All constants that were mentioned were defined.