Dynamisk epistemisk logikk
term_id: dynamic_epistemic_logic
Category: engineering_practice
Definition
Dynamisk epistemisk logikk (DEL) utvider modalllogikk for å modellere hvordan kunnskap utvikles når aktører mottar ny informasjon. Den gir verktøy for å analysere multi-aktør-systemer der troer endres på grunn av offentlige eller private meldinger.
Summary
Et formelt rammeverk for resonnement om endringer i aktørenes kunnskapstilstander som følge av informasjonsoppdateringer eller hendelser.
Key Concepts
- Kunnskapsoppdatering
- Informasjonsflyt
- Multi-aktør-systemer
- Trorevisjon
Use Cases
- Verifisering av sikkerhetsprotokoller
- Modellering av kommunikasjon i robotsvømmer
- Analyse av spillteoretiske scenarier