SWI085 Seminář z multi-agentních systémů

Anotace a syllabus

letní semestr 2002/2003
pondeli 14:00-13:50, ucebna E4

Aktualne

  • Dne 14. dubna seminar odpada.
  • Konference mff-3apl.

    Základní literatura

    (dostupna v knihovne MFF)

    Michael Wooldridge: An Introduction to MultiAgent Systems
    Gerhard Weiss (editor): Multiagent Systems: A Modern Approach to distributed artificial intelligence

    Multiagentni system na umlouvani predmetu

    Zatim jsme se shodli na tom, ze system budeme psat v jazyce 3APL (v Haskell verzi), ze se kazdy podiva na stranky tohoto jazyka a ze si kazdy precte, jak muze vypadat takovy umlouvaci protokol v 3APL. Diskuse o specifikaci poľadavků probíhá v konferenci.

    Průběh seminářů (referaty)

    1. seminář, 24. unora 2003

    Uvodni diskuse, rozdeleni referatu.

    2. seminář, 3. brezna 2003

    Petr Olmer: Jazyk 3APL.

    3. seminář, 10. brezna 2003

    Daniel Cech: A Programming Logic for Part of the Programming Language 3APL.
    Petr Olmer: Komunikace mezi agenty v 3APL.

    4. seminář, 17. brezna 2003

    Specifikace programu UMLUVY (pozadavky na system).

    5. seminář, 24. brezna 2003

    Petr Svab: Design Patterns.
    UMLUVY: Interakcni protokol.

    6. seminář, 31. brezna 2003

    Mikolas Janota: On Commitments, Roles, and Obligations.

    7. seminář

    8. seminář

    9. seminář

    10. seminář

    11. seminář

    12. seminář

    13. seminář

    14. seminář

    Přečtěte si (samostudium)

    Jazyk Agent0

    Maličko o jazyku Agent0
    Něco víc o Agent0 (kapitola 6)
    Neco k logice CTL*, plus nemecky zde. Tady obecneji k casovym logikam.
    Modalni logika (kapitoly 1, 2 a 6), viz tez Wooldrigde, kap. 12.
    Vyjednavani - Zeuthenova strategie (slajdy PPT) nebo neco jineho v Postscriptu, viz tez Wooldridge, kap. 7
    Wooldridgovy slajdy
    6cJak vypada zkouska v Liverpoolu

    Kontakt

    Petr Olmer
    Katedra teoretické informatiky a matematické logiky
    Malostranské náměstí 25, 2. patro, č. dveří 207
    telefon 22191-4251
    e-mail petr@olmer.cz

    Konzultace po dohodě na výše uvedené adrese.

    Petr Olmer, 18. brezna 2003