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’)

    6. Pose queries to the inference procedure

    • Is John happy?

          Happy(John) ?

    • Is Mary happy? Is she lucky?

          Happy(Mary), Lucky(Mary)?

    • Did every student pass the IS exam?

          ∃x Student(x) ∧ Pass(x, IS) ?

    • Specific inference procedures (e.g. Resolution ) can be used to systematically answer those queries (see next lecture)

Speaker notes:

Content Tools


There are currently no sources for this slide.