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.

Formalization in FOL (cont’)

  1. Encode the specific problem instance

    • John did not study, but John is lucky

          ¬Study(John) ∧ Lucky(John)

    • Mary did not win the lottery, however Mary passed her IS exam ¬ Win(Mary, Lottery)


    • Gary won the lottery

          Win(Gary, Lottery)

    • Gary, John, and Mary are all students

          Student(Gary), Student(John), Student(Mary)

Speaker notes:

Content Tools


There are currently no sources for this slide.