| XP33MOL | Modální logika pro distribuované systémy | Rozsah výuky: | 2+0s | ||
|---|---|---|---|---|---|
| Garant: | Štěpánková O. | Typ předmětu: | S | Zakončení: | ZK |
| Vyučující: | Štěpánková O. | ||||
| Zodpovědná katedra: | 13133 | Kreditů: | 4 | Semestr: | Z |
Anotace:
Hádanka o "ušmudlaných dětech" jako motivace pro studium znalostí a jejich
využití v prostředí s více agenty. Zavedení modálních operátorů pro znalosti
jednotlivých agentů, definice jejich sémantiky pomocí Kripkeho struktur
možných světů. Znalost a její vlastnosti. Vztah mezi axiomy
charakterizujícími znalost a relací přístupnosti v Kripkeho struktuře.
Společná a distribuovaná znalost v multi-agentním systému, hledání dohody.
BDI architektura a prostředky modální logiky.
Osnovy přednášek:
Osnovy cvičení:
Literatura:
Fagin R. et al.: Reasning about Knowledge, The MIT Press 1995
Požadavky:
Předmět je zahrnut do těchto studijních plánů:
|
| Stránka vytvořena 21. 5. 2013, semestry: L/2011-2, L/2012-3, L/2010-1, Z/2011-2, Z/2010-1, Z/2013-4, připomínky k informační náplni zasílejte správci studijních plánů | Návrh a realizace: I. Halaška (K336), J. Novák (K336) |