Autumn 2006 (periods I and II)

Navigation: [General Information] [Course Material] [Feedback] [Examinations] [Project Assignments] [Software] [TOPI]

Previous years: [Autumn 2005]

This is an advanced course on knowledge representation, automated reasoning and decision making. In autumn 2006, the course concentrates on foundations of agent-based systems and Bayesian models of uncertain reasoning.

General Information

• Please use the TOPI system for registration.
• This course replaces two former courses: T-79.154 Logic in Computer Science: Special Topics II and T-79.230 Foundations of Agent-Based Computing. The course contents is based on T-79.230 this term.
• Lectures: Docent, D.Sc.(Tech.) Tomi Janhunen, Mondays, 12-14, room TB353
• Tutorials: Stud.(Tech.) Vesa Ojala, Tuesdays, 15-16, room TB353
• Course material: Stuart Russel and Peter Norvig: Artificial Intelligence: A Modern Approach. Second edition. Prentice Hall, 2003.
• Brochure in Finnish
• Tentative schedule for lectures

Course Material

Lecture Notes

• Practical arrangements and introduction (.pdf)
• Intelligent agents (.pdf)
• Uncertainty (.pdf)
• Probabilistic reasoning (.pdf)
• Probabilistic reasoning over time (.pdf)
• Making simple decisions (.pdf)
• Making complex decisions (.pdf)
• Learning (.pdf)
• Logical and Bayesian Learning (.pdf)

RoboCup Documentation

• Soccer server manual (.pdf). The client protocol (including some tips) is given in Section 6.

Excercises from Tutorials

• Tutorial 1 (.pdf), no solutions
• Tutorial 2 (.pdf), solutions (.pdf)
• Tutorial 3 (.pdf), solutions (.pdf)
• Tutorial 4 (.pdf), solutions (.pdf)
• Tutorial 5 (.pdf), solutions (.pdf)
• Tutorial 6 (.pdf), solutions (.pdf)
• Tutorial 7 (.pdf), solutions (.pdf)
• Tutorial 8 (.pdf), solutions (.pdf)
• Tutorial 9 (.pdf), solutions (.pdf)
• Tutorial 10 (.pdf), solutions (.pdf)
• Tutorial 11 (.pdf), solutions (.pdf)
• Tutorial 12: project demos on Dec 12, 2006, 15:15 onwards

Project Assignments

• Project proposals are due by October 3, 2006.
• Project assignments are due by December 12, 2006 (24:00).
• Results for submissions received by the 15th of January, 2007 (revised Mar 23, 2007)
• Please follow separate instructions for the project assignment.

Feedback

• We welcome feedback which is collected from Dec 13, 2006, until Jan 3, 2007.
• Please fill in the feedback form (in English)

Examinations

• Please use the TOPI system in order to get registered for an exam. Registration starts roughly two weeks before an exam.
• December 18, 2006, final results (published Feb 8, 2007)
• March 5, 2007, final results (published April 2, 2007)
• May 7, 2007, no examinees showed up