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.