Logique épistémique dynamique
term_id: dynamic_epistemic_logic
Category: engineering_practice
Definition
La logique épistémique dynamique (LED) étend la logique modale pour modéliser comment la connaissance évolue lorsque les agents reçoivent de nouvelles informations. Elle fournit des outils pour analyser les systèmes multi-agents où les croyances changent suite à des publications ou événements.
Summary
Un cadre formel pour raisonner sur les changements dans les états de connaissance des agents résultant de mises à jour d’informations ou d’événements.
Key Concepts
- Mise à jour de la connaissance
- Flux d’information
- Systèmes multi-agents
- Révision des croyances
Use Cases
- Vérification des protocoles de sécurité
- Modélisation de la communication dans les essaims de robots
- Analyse de scénarios de théorie des jeux
Related Terms
- Logique modale (Extension de la logique classique avec des opérateurs de nécessité et de possibilité)
- Théorie des jeux (Étude des modèles mathématiques de conflit et de coopération)
- Systèmes distribués (Systèmes dont les composants sont situés sur différents ordinateurs réseau)
- Logique épistémique (Étude formelle de la connaissance et des croyances)