Lecturer: Balder ten Cate

In logic, data examples are useful when a logical formula must be synthesized or communicated. This includes tasks such as the reverse engineering of logical queries, debugging and refinement of formal specifications, as well as various forms of learning. This course provides a brief introduction to the use of data examples in logic, covering logical concept classes that range from propositional logic to first-order logic, and addressing questions such as: when, and to what extent, can a logical formula be described by a small number of data examples? How to construct a fitting formula from a set of data examples? When more than one fitting formula exists, which one should be preferred? When is a fitting formula likely to generalize from input examples to unseen data examples? These questions link to core topics in computational learning theory.