A process algebraic framework for multi-agent dynamic epistemic systems
This provides a foundational framework for researchers in formal methods and multi-agent systems, though it appears incremental as it builds on existing models.
The paper tackled the problem of modeling and analyzing multi-agent dynamic epistemic systems by combining labeled transition systems with epistemic models, resulting in a unifying framework with a process algebraic specification language and a modal logic for verification.
This paper combines the classical model of labeled transition systems with the epistemic model for reasoning about knowledge. The result is a unifying framework for modeling and analyzing multi-agent, knowledge-based, dynamic systems. On the modeling side, we propose a process algebraic, agent-oriented specification language that makes such a framework easy to use for practical purposes. On the verification side, we define a modal logic encompassing temporal and epistemic operators.