Intensional Protocols for Dynamic Epistemic Logic

Hanna S. van Lee; Rasmus K. Rendsvig; Suzanne van Wijk

doi:10.1007/s10992-019-09508-w

Intensional Protocols for Dynamic Epistemic Logic

Hanna S. van Lee, Rasmus K. Rendsvig^*, Suzanne van Wijk

^*Corresponding author af dette arbejde

Institut for Kommunikation

2 Citationer (Scopus)

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, highlighting modeling tasks where DEL dynamical systems are natural.

Originalsprog	Engelsk
Tidsskrift	Journal of Philosophical Logic
Vol/bind	48
Udgave nummer	6
Sider (fra-til)	1077–1118
ISSN	0022-3611
DOI	https://doi.org/10.1007/s10992-019-09508-w
Status	Udgivet - 1 dec. 2019

Adgang til dokumentet

10.1007/s10992-019-09508-w

Andre filer og links

Link to publication in Scopus

Citationsformater

@article{e703e0ae144a4254b2809e2077a6a405,

title = "Intensional Protocols for Dynamic Epistemic 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 {\textquoteleft}DEL dynamical systems{\textquoteright}. 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 {\textquoteleft}DEL protocols{\textquoteright}. The paper concludes with a conceptual comparison, highlighting modeling tasks where DEL dynamical systems are natural.",

keywords = "Dynamic epistemic logic, Dynamical systems, Epistemic temporal logic, Multi-agent systems, Protocols",

author = "{van Lee}, {Hanna S.} and Rendsvig, {Rasmus K.} and {van Wijk}, Suzanne",

year = "2019",

month = dec,

day = "1",

doi = "10.1007/s10992-019-09508-w",

language = "English",

volume = "48",

pages = "1077–1118",

journal = "Journal of Philosophical Logic",

issn = "0022-3611",

publisher = "Springer Netherlands",

number = "6",

}

TY - JOUR

T1 - Intensional Protocols for Dynamic Epistemic Logic

AU - van Lee, Hanna S.

AU - Rendsvig, Rasmus K.

AU - van Wijk, Suzanne

PY - 2019/12/1

Y1 - 2019/12/1

N2 - 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.

AB - 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.

KW - Dynamic epistemic logic

KW - Dynamical systems

KW - Epistemic temporal logic

KW - Multi-agent systems

KW - Protocols

UR - http://www.scopus.com/inward/record.url?scp=85066781341&partnerID=8YFLogxK

U2 - 10.1007/s10992-019-09508-w

DO - 10.1007/s10992-019-09508-w

M3 - Journal article

AN - SCOPUS:85066781341

SN - 0022-3611

VL - 48

SP - 1077

EP - 1118

JO - Journal of Philosophical Logic

JF - Journal of Philosophical Logic

IS - 6

ER -

Intensional Protocols for Dynamic Epistemic Logic

Abstract

Adgang til dokumentet

Andre filer og links

Fingeraftryk

Citationsformater