Artificial Intelligence (2011/2012)

Course code
4S00075
Name of lecturer
Alessandro Farinelli
Coordinator
Alessandro Farinelli
Number of ECTS credits allocated
6
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Period
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.

Syllabus

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.