výuka

Petr Olmer, MFF UK

20.05.2008

Vyhodnocení domácích úkolů

Jak nejít na zkoušku či jak si ji ulehčit. Průběžně aktualizováno.
Petr Olmer, 20.05.2008, 11:45:00, trvalý odkaz, komentáře (0)

12.05.2008

1.05.2008

20. přednáška (28. dubna 2008)

Logiky pro MAS. Modální logika epistemickým pohledem. Epistemická logika.
Petr Olmer, 1.05.2008, 10:45:00, trvalý odkaz, komentáře (0)

21.04.2008

19. přednáška (21. dubna 2008)

Logiky pro MAS. Normální modální logika.
Petr Olmer, 21.04.2008, 21:17:00, trvalý odkaz, komentáře (0)

20.04.2008

Domácí úkol 2

Abstraktní argumentační systém.
Petr Olmer, 20.04.2008, 22:51:20, trvalý odkaz, komentáře (0)

14.04.2008

7.04.2008

17. přednáška (7. dubna 2008)

Koordinace pomocí sociálních norem. Variace Contract Netu.
Petr Olmer, 7.04.2008, 23:13:00, trvalý odkaz, komentáře (0)

6.04.2008

5.04.2008

13. přednáška (25. února 2008)

Shrnutí zimního semestru a výhled do semestru letního.
Petr Olmer, 5.04.2008, 18:36:00, trvalý odkaz, komentáře (0)

25.02.2008

12.01.2008

12. přednáška (9. ledna 2008)

Kritéria pro interakční protokoly. Hlasování. Clarkův daňový mechanismus.
Petr Olmer, 12.01.2008, 13:17:00, trvalý odkaz, komentáře (0)

23.12.2007

Domácí úlohy

Poznámky k tomu, jak nemuset jít na zkoušku.
Petr Olmer, 23.12.2007, 21:59:00, trvalý odkaz, komentáře (0)

6.12.2007

9. přednáška (5. prosince 2007)

Shrnutí symbolické a reaktivní architektury, agentově-orientované programování. Hybridní architektury. BDI agenti.
Petr Olmer, 6.12.2007, 22:58:00, trvalý odkaz, komentáře (0)

28.11.2007

14.11.2007

5. přednáška (7. listopadu 2007)

Standardní, čistě reaktivní, vnímající a stavové systémy. Dokončení užitkových funkcí.
Petr Olmer, 14.11.2007, 14:41:00, trvalý odkaz, komentáře (0)

4.11.2007

3.11.2007

3. přednáška (17. října)

Abstraktní architektury - úvodní definice.
Petr Olmer, 3.11.2007, 14:19:00, trvalý odkaz, komentáře (0)

2.11.2007

1.11.2007

2.10.2007

11.01.2007

Zkouška

Co bude a nebude na zkoušce.
Petr Olmer, 11.01.2007, 18:55:00, trvalý odkaz, komentáře (0)

10. přednáška (19. prosince 2006)

Zeuthenova strategie. Hlasování, Clarkův daňový mechanismus. Aukce.
Petr Olmer, 11.01.2007, 17:56:00, trvalý odkaz, komentáře (0)

12.12.2006

Úlohy 9

Monotónní ústupkový protokol.
Petr Olmer, 12.12.2006, 18:51:00, trvalý odkaz, komentáře (0)

Čtení 9

Vyjednávací protokoly, Contract Net.
Petr Olmer, 12.12.2006, 18:43:00, trvalý odkaz, komentáře (0)

9. přednáška (12. prosince 2006)

Vyjednávání. Monotónní ústupkový protokol. Contract Net.
Petr Olmer, 12.12.2006, 18:40:00, trvalý odkaz, komentáře (0)

Úlohy 8

Paradox překvapivé písemky.
Petr Olmer, 12.12.2006, 18:29:00, trvalý odkaz, komentáře (0)

Čtení 8

KQML, ontologie, vězňovo dilema.
Petr Olmer, 12.12.2006, 18:21:00, trvalý odkaz, komentáře (0)

8. přednáška (5. prosince 2006)

Komunikace v MAS. Koordinace, spolupráce a soutěžení. Aspekty komunikace, dimenze smyslu. Užitkové funkce, dominantní strategie, Nashova rovnováha. Vězňovo dilema.
Petr Olmer, 12.12.2006, 18:16:00, trvalý odkaz, komentáře (0)

Úlohy 7

Otázky na hru na x-y z hlediska MAS.
Petr Olmer, 12.12.2006, 18:14:00, trvalý odkaz, komentáře (0)

Čtení 7

Pokud vás zajímají hry.
Petr Olmer, 12.12.2006, 17:59:00, trvalý odkaz, komentáře (0)

16.11.2006

6. přednáška (14. listopadu 2006)

Praktické odvozování. Plánovací agenti. BDI - domněnky, touhy, záměry. Řídící smyčka.
Petr Olmer, 16.11.2006, 23:53:00, trvalý odkaz, komentáře (0)

13.11.2006

5. přednáška

Reaktivní architektury. Inteligence podle Brookse. Subsumpční architektura. Situační automaty, RULER a GAPPS. Hybridní architektury.
Petr Olmer, 13.11.2006, 9:26:00, trvalý odkaz, komentáře (0)

4. přednáška (31. října)

Symbolická architektura agentů, agenti jako dokazovači vět. Agentově orientované programování. Agent0. Concurrent MetateM.
Petr Olmer, 13.11.2006, 9:11:00, trvalý odkaz, komentáře (0)

29.10.2006

Úlohy 3

Is it an agent, or just a program?
Petr Olmer, 29.10.2006, 18:33:00, trvalý odkaz, komentáře (0)