A process algebraic framework for multi-agent dynamic epistemic systems
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911297216446464 |
|---|---|
| author | Aldini, Alessandro |
| author_facet | Aldini, Alessandro |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_17537 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A process algebraic framework for multi-agent dynamic epistemic systems Aldini, Alessandro Artificial Intelligence Formal Languages and Automata Theory Logic in Computer Science 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. |
| title | A process algebraic framework for multi-agent dynamic epistemic systems |
| topic | Artificial Intelligence Formal Languages and Automata Theory Logic in Computer Science |
| url | https://arxiv.org/abs/2407.17537 |