Theory VT-DESIGN

• Last modified: Saturday, 30 July 1994
• Source code: vt-design.lisp
• List of other known theories

Theory documentation:

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.

Cross Reference Report:

Theories included by Vt-Design:

  Components-With-Constraints
  Scalar-Quantities
  Standard-Dimensions

Theories that include Vt-Design:

  Vt-Domain

8 classes defined:

    Component-Class
    Cost-Quantity
    Function-Allowed-In-Vt-Constraint
    Value-Allowed-For-Vt-Term
    Vt-Component
    Vt-Constant
    Vt-Constraint
    Vt-Constraint-Sentence

1 relation defined:

  Optimal-Component

3 functions defined:

  Component.Cost
  Invsin
  Square

No instances defined.

The following constants were used from included theories:

• * defined as a function in theory Kif-Numbers
• * defined as a function in theory Physical-Quantities
• * defined as a function in theory Scalar-Quantities
• =< defined as a relation in theory Kif-Numbers
• Arity defined as a function in theory Frame-Ontology
• Atomic-Term defined as a class in theory Parametric-Constraints
• Class defined as a class in theory Frame-Ontology
• Component defined as a class in theory Component-Assemblies
• Constant defined as a class in theory Kif-Meta
• Constraint-Expression defined as a class in theory Parametric-Constraints
• Constraint.Expression defined as a function in theory Parametric-Constraints
• Currency-Dimension defined as a object in theory Standard-Dimensions
• Denotation defined as a function in theory Kif-Meta
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Function defined as a class in theory Kif-Relations
• Has-Constraint defined as a relation in theory Components-With-Constraints
• Has-Parameter-Slot defined as a relation in theory Components-With-Constraints
• Instance-Of defined as a relation in theory Frame-Ontology
• Member defined as a relation in theory Kif-Sets
• Number defined as a class in theory Kif-Numbers
• Object-Constraint defined as a class in theory Parametric-Constraints
• One-Of defined as a function in theory Frame-Ontology
• Parameter-Slot defined as a class in theory Components-With-Constraints
• Quantity.Dimension defined as a function in theory Physical-Quantities
• Range defined as a relation in theory Frame-Ontology
• Relation defined as a class in theory Kif-Relations
• Restricted-Constraint-Sentence defined as a relation in theory Parametric-Constraints
• Scalar-Quantity defined as a class in theory Scalar-Quantities
• Sin defined as a function in theory Kif-Numbers
• String defined as a class in theory Kif-Extensions
• Subclass-Of defined as a relation in theory Frame-Ontology
• Subpart-Slot defined as a class in theory Component-Assemblies
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Value-Cardinality defined as a function in theory Frame-Ontology
• Value-Type defined as a relation in theory Frame-Ontology

All constants that were mentioned were defined.