Dynamic Epistemic Logic (Del)

Logical framework that deals with knowledge and information change, particularly focused on situations involving multiple agents and studies how their knowledge changes when events occur.

Dynamic Epistemic Logic (Del)

Areas of application

  • Artificial Intelligence
  • Cognitive Science
  • Computer Science
  • Philosophy
  • Logic
  • Knowledge Management
  • Decision Making

Example

A group of agents must collaborate to solve a complex problem. As they share information and update their beliefs, their collective knowledge evolves. DEL can model the changing nature of their understanding and the impact of new information on their decision-making process.