Conversion to Canonical Form

• Result of converting disjunctions to implications

  (and (=> (Type ?g OR) (Signal (Out 1 ?g) On)
  
  (Signal (In (Sk1 ?g ?j) ?g) On))
  (=> (Type ?g OR) (Signal (In ?j ?g) On)
  (Signal (Out 1 ?g) On)))

• Canonical Form:

  • (=> (Type ?g OR) (Signal (Out 1 ?g) On)
    (Signal (In (Sk1 ?g) ?g) On))
  • (=> (Type ?g OR) (Signal (In ?j ?g) On)
    (Signal (Out 1 ?g) On))

Previous slide

Next slide

Back to first slide

View graphic version