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

  1. Identify the task

      • Knowledge to be captured, questions to be answered

  2. Assemble the relevant knowledge

      • Relavant: Relation between exams, lottery jackpots, passing of an exam information about individuals, etc.

      • Irrelevant: Dates of exams, teacher of the exam, amount of money in the lottery pot, etc

  3. Decide on a vocabulary

      • Predicates

      • Constants symbols

      • E.g. Win(x, Lottery) or Win(x, y) ∧ Lottery(y)?

Speaker notes:

Content Tools


There are currently no sources for this slide.