Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Generalized Modus Ponens (GMP) - Example

  • A clause is a disjunction of literals
    • Example: C1 ∨ … ∨ Cn
  • A definite clause is a clause containing exactly one positive literal
    • Example: ¬C1 ∨ … ∨ ¬Cn ∨ H
  • GMP is used with a collection of definite clauses
  • Example:
    Person(John) , Rich(x), ( Person(x) ∧ Rich(x) → Popular(x))
    With the substitution θ = {x/John,y/John} , and
    Rich θ = Popular θ

Speaker notes:

Content Tools


There are currently no sources for this slide.