Umělá inteligence I - cvičení

08 Proof/inference systems, resolution (general, SLD, Prolog basics)

This week's topic are the basics of (first order) predicate logic . We'll focus namely on:

  • General resolution in propositional and predicate logic
  • SLD resolution and its applications
  • Basics of Prolog


The exercises for the labs are the starred ones in Chapter 7 of the Exercise book available here:

Exercise collection (no solutions)
Exercise collection (spoiler alter - with solutions!)
Předchozí
Následující