Common Errors Removing Functions

• (Signal (Out 1 ?g) On)

  • (and (Out 2 ?g ?t) (Signal ?t On)) ?
  • (=> (Out 1 ?g ?t) (Signal ?t On)) ?

• (=> (Type ?g OR)

(<=> (Signal (Out 1 ?g) On)

(exists ?i (Signal (In ?i ?g) On))))

• (=> (Type ?g OR)
  (<=> (=> (Out 1 ?g ?t) (Signal ?t On))
  (exists ?i (Signal (In ?i ?g) On)))) ?
• (=> (Type ?g OR)
  (<=> (=> (Out 1 ?g ?t) (Signal ?t On))
  (exists ?i (=> (In ?i ?g ?t) (Signal ?t On))))) ?

Previous slide

Next slide

Back to first slide

View graphic version