P33MOL | Modální logika | Rozsah výuky: | 2+0 | ||
---|---|---|---|---|---|
Přednášející (garant): | Štěpánková O. | Typ předmětu: | S | Zakončení: | Z,ZK |
Zodpovědná katedra: | 333 | Kreditů: | 2 | 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.
Literatura Č:
Literatura A:
|
Stránka vytvořena 14. 2. 2002, semestry: Z/2001-2, Z/2002-3, L/2001-2, L/2002-3, 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) |