Advanced

Intensional Protocols for Dynamic Epistemic Logic

van Lee, Hanna S.; Rendsvig, Rasmus K. LU and van Wijk, Suzanne (2019) In Journal of Philosophical Logic
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)
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Contribution to journal
publication status
epub
subject
keywords
Dynamic epistemic logic, Dynamical systems, Epistemic temporal logic, Multi-agent systems, Protocols
in
Journal of Philosophical Logic
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
2019-07-09 04:49:16
@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},
  keyword      = {Dynamic epistemic logic,Dynamical systems,Epistemic temporal logic,Multi-agent systems,Protocols},
  language     = {eng},
  month        = {05},
  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},
  year         = {2019},
}