Artificial Intelligence (2011/2012)

Course code
Name of lecturer
Alessandro Farinelli
Alessandro Farinelli
Number of ECTS credits allocated
Academic sector
Language of instruction
II semestre dal Mar 1, 2012 al Jun 15, 2012.

Lesson timetable

II semestre
Day Time Type Place Note
Wednesday 8:30 AM - 10:30 AM lesson Lecture Hall G  
Thursday 10:30 AM - 12:30 PM lesson Lecture Hall G  

Learning outcomes

The class presents the main techniques for problem solving, based on the central paradigm of symbolic representation. The objective is to provide the students with the ability to design, apply and evaluate algorithms for difficult problems, meaning that their mechanical solution captures aspects of artificial intelligence or computational rationality.


Problem solving as search in a state space; un-informed search
procedures; heuristic search procedures; adversarial search.
Constraint problem solving. Knowledge representation: propositional logic
and first-order logic; normal forms; equality. Theorem proving: satisfiability (SAT),
resolution, rewriting. Intelligent agents: planning, multi-agent systems, coordination.
Probabilistic reasoning, decision theory.