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.

Universal and Existential elimination

  • Existential elimination

    • From ∃x P(x) infer P(c)

    • Note that the variable is replaced by a brand-new constant not occurring in this or any other sentence in the KB

    • Also known as skolemization; constant is a skolem constant

    • In other words, we don’t want to accidentally draw other inferences by introducing the constant

    • Convenient to use this to reason about the unknown object, rather than constantly manipulating the existential quantifier

  • Example:

    • ∃x Pass(x)

    • Allows us to conclude:

    • Pass(someStudent) , where someStudent is a new constant

Speaker notes:

Content Tools


There are currently no sources for this slide.