Modální logika pro distribuované systémy

Garant předmětu:

Přednášející:

Cvičící:

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:

Další informace:

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů:

• Doktorské studium, prezenční forma (povinně volitelný předmět)
• Doktorské studium, kombinovaná forma (povinně volitelný předmět)
• Doktorské studium, strukturované prezenční (povinně volitelný předmět)
• Doktorské studium, strukturované kombinované (povinně volitelný předmět)