Laurea magistrale in Ingegneria e scienze informatiche

Artificial Intelligence (2011/2012)

Course code 4S00075 Teacher Alessandro Farinelli Coordinator Alessandro Farinelli training credits 6 Disciplinary sector INF/01 - Computing Teaching language Italian Period II semestre dal Mar 1, 2012 al Jun 15, 2012.

Links Course news Seminars related to the course

Lecture timetable

Educational objectives

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.

Statistics on students' past performance (Art. 2 del D.M. 31/10/2007, n. 544)

Data from AA 2011/2012 are not available yet