FACOLTA' DI INGEGNERIAUniversita' di Pavia
  Teaching > Course1011 > Artificial Intelligence II Translate this page in English
About the Faculty
Industry partnerships
Mobility Erasmus
Search in this site
Artificial Intelligence II

2010-11 Academic year

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

Copyright © Facoltà di Ingegneria - Università di Pavia