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 general knowledge of the domain

      • Anyone passing the IS exams and winning the lottery is happy

            ∀x Pass(x, IS) ∧ Win(x, Lottery) ⇒ Happy(x)

      • Any student who studies or is lucky can pass all his exams

            ∀x ∀y Student(x) ∧ Exam(y) ∧ (StudiesFor(x, y) ∨ Lucky(x)) ⇒ Pass(x,y)

      • Anyone who is lucky wins the lottery

            ∀x Lucky(x) ⇒ Win(x, Lottery)


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.