výuka

Důsledky modálních axiomů pro agentové systémy. Rozlišování znalostí a domněnek (S5, slabý S5). Pozitivní a negativní introspekce.

Epistemická logika. Distribuované systémy, globální stav jako důsledek lokálních stavů. Běhy, pointy. Ekvivalence nerozlišitelných stavů. Sémantika operátoru K.

Common knowledge, distributed knowledge.

Příprava diskuse na příští týden: Aplikace MAS — najděte nějakou (pro vás) zajímavou existující aplikaci MAS, prostudujte ji a připravte si o ní krátké povídání.