Dynamická epistemická logika
term_id: dynamic_epistemic_logic
Category: engineering_practice
Definition
Dynamická epistemická logika (DEL) rozšiřuje modální logiku o modelování vývoje znalostí, když agenti přijímají nové informace. Poskytuje nástroje pro analýzu víceagentových systémů, kde se přesvědčení mění kvůli veřejným oznámením nebo soukromým zprávám.
Summary
Formální rámec pro uvažování o změnách stavů znalostí agentů vyplývajících z aktualizací informací nebo událostí.
Key Concepts
- Aktualizace znalostí
- Tok informací
- Víceagentové systémy
- Revize přesvědčení
Use Cases
- Ověřování bezpečnostních protokolů
- Modelování komunikace v rojích robotů
- Analýza scénářů teorie her