T-79.5102 Special Course in Computational Logic

Tentative Schedule (Autumn 2006)

Period I

Lecture 1 (11.9.2006)

Introduction, Intelligent agents (Ch 2, slides 1-10)

Lecture 2 (18.9.2006)

Intelligent agents (slides 11-32), Uncertainty (Ch 13, excluding 13.7; slides 1-6)

Lecture 3 (25.9.2006)

Uncertainty (slides 7-38)

Lecture 4 (2.10.2006)

Probabilistic reasoning (Ch 14; excluding 14.6)

Lecture 5 (9.10.2006)

Probabilistic reasoning (ctd)

Lecture 6 (16.10.2006)

Probabilistic reasoning over time (Ch 15; excluding 15.4 and 15.6)

Lecture 7 (23.10.2006)

Making simple decisions (Ch 16)

Period II

Lecture 8 (6.11.2006)

Making simple decisions (ctd)

Lecture 9 (13.11.2006)

Making complex decisions (Ch 17; excluding 17.6 and 17.7)

Lecture 10 (20.11.2006)

Making complex decisions (ctd), Learning from observations (Ch 18; excluding 18.5)

Lecture 11 (27.11.2006)

Learning from observations (ctd)

Lecture 12 (4.12.2006)

Logical learning (Ch 19.1), Bayesian learning (Ch 20.1)

Lecture 13 (11.12.2006)

Summary and feedback