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.
Dom�c� �kol 5
Organiza�n� struktura.
Dom�c� �kol 4
Vyjedn�v�n�.
12.05.2008
Dom�c� �kol 3
Intencion�ln� logika.
1.05.2008
20. p�edn�ka (28. dubna 2008)
Logiky pro MAS. Mod�ln� logika epistemick�m pohledem. Epistemick� logika.
21.04.2008
19. p�edn�ka (21. dubna 2008)
Logiky pro MAS. Norm�ln� mod�ln� logika.
20.04.2008
Dom�c� �kol 2
Abstraktn� argumenta�n� syst�m.
14.04.2008
18. p�edn�ka (14. dubna 2008)
Dokon�en� komunikace. Argumentace.
7.04.2008
17. p�edn�ka (7. dubna 2008)
Koordinace pomoc� soci�ln�ch norem. Variace Contract Netu.
6.04.2008
Dom�c� �kol 1
Koordinace pomoc� norem.
16. p�edn�ka (31. b�ezna 2008)
Spolupr�ce.
15. p�edn�ka (10. b�ezna 2008)
Vytv��en� koalic.
14. p�edn�ka (3. b�ezna 2008)
Vyjedn�v�n�.
5.04.2008
13. p�edn�ka (25. �nora 2008)
Shrnut� zimn�ho semestru a v�hled do semestru letn�ho.
25.02.2008
P�edn�ka v letn�m semestru
V�dy v pond�l� od 15:40 v S8.
12.01.2008
12. p�edn�ka (9. ledna 2008)
Krit�ria pro interak�n� protokoly. Hlasov�n�. Clark�v da�ov� mechanismus.
23.12.2007
Dom�c� �lohy
Pozn�mky k tomu, jak nemuset j�t na zkou�ku.
10. p�edn�ka (12. prosince 2007)
Strategie BDI agent�. Multiagentn� hry.
6.12.2007
9. p�edn�ka (5. prosince 2007)
Shrnut� symbolick� a reaktivn� architektury, agentov�-orientovan� programov�n�. Hybridn� architektury. BDI agenti.
28.11.2007
7. a 8. p�edn�ka (samostudium)
Symbolick� a reaktivn� architektura.
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�.
4.11.2007
4. p�edn�ka (31. ��jna 2007)
Cihli�ky. U�itkov� funkce.
3.11.2007
3. p�edn�ka (17. ��jna)
Abstraktn� architektury - �vodn� definice.
2.11.2007
2. p�edn�ka (10. ��jna)
�vod do multiagentn�ch syst�m�.
1.11.2007
1. p�edn�ka (3. ��jna 2007)
�vod do p�edm�tu.
2.10.2007
Pozv�nka na p�edn�ku
Kdy a o �em.
11.01.2007
Zkou�ka
Co bude a nebude na zkou�ce.
11. p�edn�ka (9. ledna 2007)
Vytv��en� koalic, faktorizace.
10. p�edn�ka (19. prosince 2006)
Zeuthenova strategie. Hlasov�n�, Clark�v da�ov� mechanismus. Aukce.
12.12.2006
�lohy 9
Monot�nn� �stupkov� protokol.
�ten� 9
Vyjedn�vac� protokoly, Contract Net.
9. p�edn�ka (12. prosince 2006)
Vyjedn�v�n�. Monot�nn� �stupkov� protokol. Contract Net.
�lohy 8
Paradox p�ekvapiv� p�semky.
�ten� 8
KQML, ontologie, v�z�ovo dilema.
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.
�lohy 7
Ot�zky na hru na x-y z hlediska MAS.
�ten� 7
Pokud v�s zaj�maj� hry.
7. p�edn�ka (21. listopadu 2006)
Hra na X-Y.
16.11.2006
�lohy 6
Co v�m chyb�?
�ten� 6
Wooldridge
6. p�edn�ka (14. listopadu 2006)
Praktick� odvozov�n�. Pl�novac� agenti. BDI - domn�nky, touhy, z�m�ry. ��d�c� smy�ka.
13.11.2006
�lohy 5
Brooks.
�ten� 5
Isbister, Doyle.
5. p�edn�ka
Reaktivn� architektury. Inteligence podle Brookse. Subsump�n� architektura. Situa�n� automaty, RULER a GAPPS. Hybridn� architektury.
�lohy 4
Agent-0.
�ten� 4
Shoham.
4. p�edn�ka (31. ��jna)
Symbolick� architektura agent�, agenti jako dokazova�i v�t. Agentov� orientovan� programov�n�. Agent0. Concurrent MetateM.
29.10.2006
�lohy 3
Is it an agent, or just a program?
�ten� 3
U�itkov� funkce.
