Canonical Form

• Implications can be redundantly expressed with each primitive sentence as the consequent

  E.g., (=> (Type ?g OR) (Signal (Out 1 ?g) On)
  
  (Signal (In (Sk1 ?g) ?g) On))
  can be also be expressed as:
  • (=> (Type ?g) OR) (not (Signal (In (Sk1 ?g) ?g) On))
    (not (Signal (Out 1 ?g) On)))
    and
  • (=> (not (Signal (In (Sk1 ?g) ?g) On)) (Signal (Out 1 ?g) On)
    (not (Type ?g OR)))

Previous slide

Next slide

Back to first slide

View graphic version