|
T-79.5102 |
Special Course in Computational Logic |
(4 cr) P V |
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
Back to menu.
Course Material
Lecture Notes
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
Back to menu.
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.
Back to menu.
Feedback
- We welcome feedback which is collected
from Dec 13, 2006, until Jan 3, 2007.
- Please fill in the feedback form
(in English)
Back to menu.
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
Back to menu.
[TCS main]
[Contact Info]
[Personnel]
[Research]
[Publications]
[Software]
[Studies]
[News Archive]
[Links]
Latest update: 13 July 2007.
Tomi Janhunen
|