Canonical Form

• Generalized Modus Ponens requires all sentences to be:

  • Literals or
  • Implications of the form (=> p1 … pn q),
    where p1, …, pn, and q are literals
    
    (called Implicative Normal Form)

• Any sentence can be converted into those forms

  E.g., (=> (Type ?g OR)
  
  (<=> (Signal (Out 1 ?g) On)

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

can be converted to:

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

• See Russell and Norvig, Section 9.6

Previous slide

Next slide

Back to first slide

View graphic version