Lecturer: Marco Piastra  

Course name: Artificial Intelligence II
Course code: 064140
Degree course: Ingegneria Informatica
Disciplinary field of science: ING-INF/05
L'insegnamento è caratterizzante per: Ingegneria Informatica
University credits: CFU 5
Course website: http://vision.unipv.it/IA2/

Specific course objectives

The course continues on the line of study that starts with Artificial Intelligence I by proposing a comparison among different forms of automated reasoning. Departing form classical symbolic logic, new formalisms and reasoning techniques are discussed in the realm of non-classical logic, with focus on modal logic(s). As a subsequent step, probability is introduced as a numerical extension to purely-symbolical techniques. Together with probabilistic reasoning, also machine learning techniques are introduced. The course continues by studying forms of non-symbolic reasoning, such as self-organizing networks and cellular automata. The course also includes an introduction to various forms of evolutionary computing

Course programme

Beyond classical logic: other formalisms, other forms of reasoning

Deductive reasoning, abductive reasoning, inductive reasoning

Propositional and first-order modal logics

Logic programming (introduction)

Fuzzy Logics

Probability and representation, graphical models

Probabilistic reasoning, machine learning

Self-organizing systems

Cellular automata

Genetic algorithms, genetic programming, evolutionary computing

Course entry requirements

Artificial Intelligence I, practical knowledge of the Java programming language

Course structure and teaching

Lectures (hours/year in lecture theatre): 30
Practical class (hours/year in lecture theatre): 18
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

Stuart Russell, Peter Norvig. Artificial Intelligence: A Modern Approach (3rd Edition). Prentice Hall, 2010.

Ulf Nilsson, Jan Maluszynski. Logic, Programming and Prolog (2ed). John Wiley & Sons Ltd. (free download - PDF: http://www.ida.liu.se/~ulfni/lpp/).

Testing and exams

The final exam is an interview that includes discussing practical activities in the lab