Artificial Intelligence (2014/2015)

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 sem. dal Mar 2, 2015 al Jun 12, 2015.

Lesson timetable

II sem.
Day Time Type Place Note
Monday 2:30 PM - 4:30 PM lesson Lecture Hall G  
Thursday 11:30 AM - 1:30 PM lesson Lecture Hall C  

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.
Problem solving based on constraint processing (satisfaction and optimization).
Logic-based knowledge representation: normal forms; equality. Theorem proving: satisfiability (SAT),
resolution, rewriting. Intelligent agents: planning, multi-agent systems, coordination.
Probabilistic reasoning, decision theory.

Assessment methods and criteria

The final grade is given by 50% written test + 50% assignment. The written test will focus on exercises or on general questions about techniques studied during the course. The assignment can be a project (usually with a consistent programming part) or a seminar (about 40 mins) given by the student. Partial test mode: it applies only to the exam sessions right at the end of the class. The written test is done during the course (about half of the course) and the assignment can be done in collaboration with another person. Single test mode: written test is done the date of the exam assignment must be individual.