Umělá inteligence I - cvičení

Basics of predicate logic

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

  • Basic definitions
  • Composing and negating formulae
  • The concept of interpretation


Assignments for the labs:

Supplementary materials: