Intensional Protocols for Dynamic Epistemic Logic
(2019) In Journal of Philosophical Logic 48(6). p.1077-1118- Abstract
In dynamical multi-agent systems, agents are controlled by protocols. In choosing a class of formal protocols, an implicit choice is made concerning the types of agents, actions and dynamics representable. This paper investigates one such choice: An intensional protocol class for agent control in dynamic epistemic logic (DEL), called ‘DEL dynamical systems’. After illustrating how such protocols may be used in formalizing and analyzing information dynamics, the types of epistemic temporal models that they may generate are characterized. This facilitates a formal comparison with the only other formal protocol framework in dynamic epistemic logic, namely the extensional ‘DEL protocols’. The paper concludes with a conceptual comparison,... (More)
In dynamical multi-agent systems, agents are controlled by protocols. In choosing a class of formal protocols, an implicit choice is made concerning the types of agents, actions and dynamics representable. This paper investigates one such choice: An intensional protocol class for agent control in dynamic epistemic logic (DEL), called ‘DEL dynamical systems’. After illustrating how such protocols may be used in formalizing and analyzing information dynamics, the types of epistemic temporal models that they may generate are characterized. This facilitates a formal comparison with the only other formal protocol framework in dynamic epistemic logic, namely the extensional ‘DEL protocols’. The paper concludes with a conceptual comparison, highlighting modeling tasks where DEL dynamical systems are natural.
(Less)
- author
- van Lee, Hanna S. ; Rendsvig, Rasmus K. LU and van Wijk, Suzanne
- organization
- publishing date
- 2019-05-28
- type
- Contribution to journal
- publication status
- published
- subject
- keywords
- Dynamic epistemic logic, Dynamical systems, Epistemic temporal logic, Multi-agent systems, Protocols
- in
- Journal of Philosophical Logic
- volume
- 48
- issue
- 6
- pages
- 1077 - 1118
- publisher
- Springer
- external identifiers
-
- scopus:85066781341
- ISSN
- 0022-3611
- DOI
- 10.1007/s10992-019-09508-w
- language
- English
- LU publication?
- yes
- id
- 60a8b349-3f98-422a-a310-b7e9ad5a7613
- date added to LUP
- 2019-06-24 12:13:27
- date last changed
- 2022-04-26 01:56:26
@article{60a8b349-3f98-422a-a310-b7e9ad5a7613, abstract = {{<p>In dynamical multi-agent systems, agents are controlled by protocols. In choosing a class of formal protocols, an implicit choice is made concerning the types of agents, actions and dynamics representable. This paper investigates one such choice: An intensional protocol class for agent control in dynamic epistemic logic (DEL), called ‘DEL dynamical systems’. After illustrating how such protocols may be used in formalizing and analyzing information dynamics, the types of epistemic temporal models that they may generate are characterized. This facilitates a formal comparison with the only other formal protocol framework in dynamic epistemic logic, namely the extensional ‘DEL protocols’. The paper concludes with a conceptual comparison, highlighting modeling tasks where DEL dynamical systems are natural.</p>}}, author = {{van Lee, Hanna S. and Rendsvig, Rasmus K. and van Wijk, Suzanne}}, issn = {{0022-3611}}, keywords = {{Dynamic epistemic logic; Dynamical systems; Epistemic temporal logic; Multi-agent systems; Protocols}}, language = {{eng}}, month = {{05}}, number = {{6}}, pages = {{1077--1118}}, publisher = {{Springer}}, series = {{Journal of Philosophical Logic}}, title = {{Intensional Protocols for Dynamic Epistemic Logic}}, url = {{http://dx.doi.org/10.1007/s10992-019-09508-w}}, doi = {{10.1007/s10992-019-09508-w}}, volume = {{48}}, year = {{2019}}, }