Lecturer: Marco Piastra  

Course name: Artificial Intelligence
Course code: 504707
Degree course: Computer Engeneering
Disciplinary field of science: ING-INF/05
L'insegnamento è caratterizzante per: Computer Engeneering
University credits: ECTS 6
Course website: http://vision.unipv.it/AI/

Specific course objectives

The course follows a conceptual pathway along the fundamental principles of the discipline. It is divided into two parts: the first part is an introduction to classical formal logic, both propositional and first order, with a special focus to the aspects of automatic calculus, while the second part is an introduction to the basic principles of machine learning and self-organizing systems.

Course programme

Classical logic and automated symbolic reasoning

• Boolean algebras
• Logical language and semantical structures: logical consequence
• Deductive systems for propositional logic
• Decision problems and decidability
• Predicates and relations: first order logic
• Semi-decidability of first order logic
• First-order resolution with unification

Machine Learning

• Logic and probability: representation or statistics?
• The language of probability: representation
• Bayesian inference
• Graphical models and automation
• Probabilistic learning
• Clustering: K-means and related methods
• Self-organizing systems and applications

Course entry requirements

Basic mathematical skills, practical knowledge of at least one programming language.

Course structure and teaching

Lectures (hours/year in lecture theatre): 45
Practical class (hours/year in lecture theatre): 0
Practicals / Workshops (hours/year in lecture theatre): 0

Suggested reading materials

See the home page of the course for lecture slides, suggested readings and software for the exercises

Testing and exams

The final exam is an interview about the theory, together with the discussion of practical activities in the lab.