Relation OPTIMAL-COMPONENT

• Defined in theory: Vt-design
• Source code: vt-design.lisp

Slots on this relation:

Documentation:

An optimal-component is the least costly instance of a component class. To evaluate this relation will require making some kind of closed-world assumption over possible components.

Instance-Of: Relation

Arity: 2

Domain: Component

Range: Component-class

Subrelation-Of: Instance-of

Equivalence Axioms:

(<=> (Optimal-Component ?Comp ?Component-Class)
     (And (Component ?Comp)
          (Component-Class ?Component-Class)
          (Instance-Of ?Comp ?Component-Class)
          (=> (Instance-Of ?Other-Component ?Component-Class)
              (=< (Component.Cost ?Comp)
                  (Component.Cost ?Other-Component)))))

Other Related Axioms:

(=> (Optimal-Component $X $Y) (Component-Class $Y))

(=> (Optimal-Component $X $Y) (Component $X))

(<=> (Optimal-Component ?Comp ?Component-Class)
     (And (Component ?Comp)
          (Component-Class ?Component-Class)
          (Instance-Of ?Comp ?Component-Class)
          (=> (Instance-Of ?Other-Component ?Component-Class)
              (=< (Component.Cost ?Comp)
                  (Component.Cost ?Other-Component)))))