20.05.2008
Jak nejít na zkoušku či jak si ji ulehčit. Průběžně aktualizováno.
12.05.2008
1.05.2008
Logiky pro MAS. Modální logika epistemickým pohledem. Epistemická logika.
21.04.2008
Logiky pro MAS. Normální modální logika.
20.04.2008
Abstraktní argumentační systém.
14.04.2008
Dokončení komunikace. Argumentace.
7.04.2008
Koordinace pomocí sociálních norem. Variace Contract Netu.
6.04.2008
5.04.2008
Shrnutí zimního semestru a výhled do semestru letního.
25.02.2008
Vždy v pondělí od 15:40 v S8.
12.01.2008
Kritéria pro interakční protokoly. Hlasování. Clarkův daňový mechanismus.
23.12.2007
Poznámky k tomu, jak nemuset jít na zkoušku.
Strategie BDI agentů. Multiagentní hry.
6.12.2007
Shrnutí symbolické a reaktivní architektury, agentově-orientované programování. Hybridní architektury. BDI agenti.
28.11.2007
Symbolická a reaktivní architektura.
14.11.2007
Standardní, čistě reaktivní, vnímající a stavové systémy. Dokončení užitkových funkcí.
4.11.2007
Cihličky. Užitkové funkce.
3.11.2007
Abstraktní architektury - úvodní definice.
2.11.2007
Úvod do multiagentních systémů.
1.11.2007
2.10.2007
11.01.2007
Co bude a nebude na zkoušce.
Vytváření koalic, faktorizace.
Zeuthenova strategie. Hlasování, Clarkův daňový mechanismus. Aukce.
12.12.2006
Monotónní ústupkový protokol.
Vyjednávací protokoly, Contract Net.
Vyjednávání. Monotónní ústupkový protokol. Contract Net.
Paradox překvapivé písemky.
KQML, ontologie, vězňovo dilema.
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.
Otázky na hru na x-y z hlediska MAS.
16.11.2006
Praktické odvozování. Plánovací agenti. BDI - domněnky, touhy, záměry. Řídící smyčka.
13.11.2006
Reaktivní architektury. Inteligence podle Brookse. Subsumpční architektura. Situační automaty, RULER a GAPPS. Hybridní architektury.
Symbolická architektura agentů, agenti jako dokazovači vět. Agentově orientované programování. Agent0. Concurrent MetateM.
29.10.2006
Is it an agent, or just a program?