Modální logika pro distribuované systémy

B181 - Zimní 18/19

Modální logika pro distribuované systémy - XP33MOL

Kredity 4
Semestry zimní
Zakončení zkouška
Jazyk výuky čeština
Rozsah výuky 2P+0S
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
Cíle studia
Žádná data.
Osnovy přednášek
Žádná data.
Osnovy cvičení
Žádná data.
Literatura
Fagin R. et al.: Reasning about Knowledge, The MIT Press 1995
Požadavky
Žádná data.