Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2018/2019

Modální logika pro distribuované systémy

Přihlášení do KOSu pro zápis předmětu Zobrazit rozvrh
Kód Zakončení Kredity Rozsah Jazyk výuky
XP33MOL ZK 4 2+0s česky
Přednášející:
Olga Štěpánková (gar.)
Cvičící:
Olga Štěpánková (gar.)
Předmět zajišťuje:
katedra kybernetiky
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.

Výsledek studentské ankety předmětu je zde: http://www.fel.cvut.cz/anketa/aktualni/courses/XP33MOL

Požadavky:
Osnova přednášek:
Osnova cvičení:
Cíle studia:
Studijní materiály:

Fagin R. et al.: Reasning about Knowledge, The MIT Press 1995

Poznámka:
Rozvrh na zimní semestr 2018/2019:
Rozvrh není připraven
Rozvrh na letní semestr 2018/2019:
Rozvrh není připraven
Předmět je součástí následujících studijních plánů:
Platnost dat k 17. 6. 2019
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet11562804.html