Modální logika pro distribuované systémy

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.

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 2011/2012:

	06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Po
Út
St
Čt	místnost KN:E-218 Štěpánková O. 12:45–14:15 (přednášková par. 1) Karlovo nám. Cvičebna
Pá

Rozvrh na letní semestr 2011/2012:

Rozvrh není připraven

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)