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.