Advanced · Cognitive
Dynamic epistemic logic (DEL)
Visual diagram · (in preparation) · Math · (in preparation) · Worked example · 3 difficulty levels.
TL;DR. A logical framework that models how agents' knowledge and beliefs change over time due to events or new information.
Technical Definition
A logical framework that models how agents' knowledge and beliefs change over time due to events or new information.
How it works
Dynamic Epistemic Logic (DEL) extends traditional epistemic logic to reason about knowledge updates in multi-agent systems. It provides tools to analyze how an agent's knowledge state evolves when they observe actions, receive information, or experience events. DEL is crucial for modeling strategic reasoning and belief revision.
Related Concepts
- Knowledge Representation — How facts and relationships are encoded so a system can reason over them.
- Multi-Agent Systems (MAS) — Systems composed of multiple interacting intelligent agents that cooperate or compete to achieve individual or collective goals.