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)

  • Apply modus ponens reasoning to generalized rules

  • Combines Universal-Elimination, and Modus Ponens

    • E.g, from P(c) and Q(c) and x (P(x) Q(x)) R(x) derive R(c)

  • GMP requires substitutions for variable symbols

    • subst(θ, α) denotes the result of applying a set of substitutions defined by θ to the sentence α

    • A substitution list θ = {v1/t1, v2/t2, ..., vn/tn} means to replace all occurrences of variable symbol vi by term ti

    • Substitutions are made in left-to-right order in the list

    • subst ({x/IceCream, y/Ziggy}, eats(y,x)) = eats (Ziggy, IceCream)


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.