Lecturer: Marco Piastra  

Course name: Artificial Intelligence I
Course code: 503046
Degree course: Ingegneria Informatica
Disciplinary field of science: ING-INF/05
University credits: CFU 6
Course website: http://vision.unipv.it/IA1/

Specific course objectives

The main topic of the course is an introduction to the foundations of classical formal logic, both propositional and first order, with a special focus to the aspects of automatic calculus

Course programme

Reasoning schemata and formal logic

Boolean algebras

Logical language and semantical structures: logical consequence

Deductive systems for propositional logic

Decision problems and decidability

Semantic tableau and propositional resolution

Predicates and relations: first order logic

Semi-decidability of first order logic

First-order resolution with unification

Minimal models and logic programming (hints)

Practical coursework

• Rule-based programming: the Jess language
• Finite-state automata and Turing machines
• SLD Resolution
• The RETE algorithm
• Prolog (hints)

Course entry requirements

Practical knowledge of at least one programming language

Course structure and teaching

Lectures (hours/year in lecture theatre): 35
Practical class (hours/year in lecture theatre): 20
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 that includes discussing practical activities in the lab