Multi-Agent Systems

MAS Lecturers Literature Schedule Outline Participants Projects Grading Results Links
 

Schedule

Colleges

Classes

 

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.

 

 

 

2010