A process algebraic framework for multi-agent dynamic epistemic systems
Artificial Intelligence
2025-12-03 v2 Formal Languages and Automata Theory
Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.2407.17537,
title = {A process algebraic framework for multi-agent dynamic epistemic systems},
author = {Alessandro Aldini},
journal= {arXiv preprint arXiv:2407.17537},
year = {2025}
}