Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
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:

Plán Obor Role Dop. semestr
DOKK Elektrotechnika a informatika S Není
DOKP Elektrotechnika a informatika S Není


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)