OBJECTIVE
The goal of the course is to cover the following Artificial Intelligence
topics (integrating and complementing the contents of Artificial
Intelligence and Machine Learning): Automated Search, Logic Programming,
Knowledge Representation and Reasoning, Automated Planning, Multi
Agent Systems.
Plan of the Lectures
Knowledge Representation and Reasoning
- Knowledge Representation in FOL
- Non monotonic Reasoning
- Semantic Networks and Frames
- Constraint programming
- Exercises
Logic programming
- Introduction
- Data Structures
- Non linear Data Structures
- NAF, cut and meta-programming
- Search and other AI Classics
- Exercises
Planning
- Classical Planning
- Partial Order Planning
- Heuristics for planning
- Non classical planning
- Exercises
Multi-agent systems
- Basics of MAS
- Working together: cooperation and teamwork
- Distributed Constraint Optimization
- MAS Applications and Multi Robot Systems
- Exercises
Schedule
Monday 10:15 -- 11:45, Room B2
Monday 12:00 -- 13:30, Room B2
Wednesday 12:00 -- 13:30, Room B2
Classes start February 22nd, 2016
Exam dates
Book through Infostud (please email the teacher in case there is no registration open).
The exam periods are:
March-April 2016 (for old students registered in 2014)
June 2016
July 2016
September 2016
November 2016
January 2017
February 2017 (belonging to academic year 2016-17)
In academic year 2014/15 the syllabus is changed.
Students enrolled in the academic year 2013/14 or earlier must contact
the teacher in advance, as they have to take the exam according to the
old syllabus.
- Teacher: Daniele Nardi
- Teacher: Daniele NARDI
- Teacher: Francesco Riccio