Multi-Agent Systems |
|||||||||||
MAS | Lecturers | Literature | Schedule | Outline | Participants | Projects | Grading | Results | Links |
  |
|
|
Date: |
Topic: |
Taught
by: |
Homework: |
E |
Mon 08-02-2010 9h15-11h00 Bernoulliborg 165 |
Preparatory
lecture: Modal logic for computer scientists. |
Barteld |
|
1 |
Thu 11-02-2010 11h15-13h00 Bernoulliborg 293 |
Epistemic
formulas and Kripke semantics. Homework about
this lecture: Set A -
1.1, 1.2, 1.3, 1.4, 1.5, 1.6, 1.10 |
Barteld |
|
2 |
Mon 15-02-2010 9h15-11h00 Bernoulliborg 165 |
System
K and S5. Homework about
this lecture: Set B - 1.11, 1.13, 1.14, 1.15 |
Barteld |
Homework due this lecture: Set A -
1.1, 1.2, 1.3, 1.4, 1.5, 1.6, 1.10 |
3 |
Thu 18-02-2010 11h15-13h00 Bernoulliborg 293 |
1
agent & distributed systems. Homework about
this lecture: Set C - 1.18, 1.19, 1.20, LOKw3, OOPS1 |
Barteld |
- |
|
Mon 22-02-2010 |
No class. |
|
|
|
Thu 25-02-2010 |
No class. |
|
|
4 |
Mon 01-03-2010 9h15-11h00 Bernoulliborg 165 |
Common
knowledge: Examples & derivations. Homework about
this lecture: Set D - 2.1, 2.2, 2.4, 2.5, 2.6 |
Barteld |
Homework due this lecture: Set B + Set
C - 1.11, 1.13, 1.14, 1.15 + 1.18, 1.19, 1.20, LOKw3, OOPS1 |
5 |
Thu 04-03-2010 9h15-11h00 Bernoulliborg 165 |
Common
knowledge: Application to distributed systems. Homework about
this lecture: Set E -
2.13, 2.14, 2.16 |
Barteld |
Homework due this lecture: Set D -
2.1, 2.2, 2.4, 2.5, 2.6 |
6 |
Mon 08-03-2010 11h15-13h00 Bernoulliborg 165 |
Distributed
knowledge & beliefs. Homework about
this lecture: Set F - 2.21, 2.22 |
Barteld |
Homework due at 17h00: Project proposal. |
7 |
Thu 11-03-2010 9h15-11h00 Bernoulliborg 165 |
BDI
architectures: Beliefs, desires & intentions. Homework about
this lecture: Set G -
2.23, 2.24 |
Barteld |
Homework due this lecture: Set E + Set F - 2.12, 2.14, 2.16 + 2.21, 2.22 |
|
Mon 15-03-2010 Deadline: 17h00 |
No
class: Turning in of final homework. |
|
Homework due at 17h00: Set G - 2.23, 2.24 |
D1 |
Mon 29-03-2010 Deadline: 17h00 |
No
class: First opportunity to turn in project report, with promise of comments
by 03-04-2010. |
|
Homework due at 17h00 (optional):
First version project report. |
D2 |
Thu 08-04-2010 Deadline: 11h00 |
No
class: Turning in of final project report. |
|
Homework due at 11h00: Final version
project report. |
P1 |
Wed 14-04-2010 9u00-12h00 |
Final project presentations I. |
|
|
|