Group Logic with Distributed Knowledge

Rustam Galimullin; Thomas Ågotnes; Natasha Alechina

doi:10.1007/978-3-662-60292-8_8

Group Logic with Distributed Knowledge

Rustam Galimullin^*, Thomas Ågotnes, Natasha Alechina

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Abstract

Public announcement logic (PAL) is an extension of epistemic logic with dynamic operators that model the effects of all agents simultaneously and publicly acquiring the same piece of information. One of the extensions of PAL, group announcement logic (GAL), allows quantification over (possibly joint) announcements made by agents. In GAL, it is possible to reason about what groups can achieve by making such announcements. It seems intuitive that this notion of coalitional ability should be closely related to the notion of distributed knowledge, the implicit knowledge of a group. Thus, we study the extension of GAL with distributed knowledge, and in particular possible interaction properties between GAL operators and distributed knowledge. The perhaps surprising result is that there in fact are no interaction properties, contrary to intuition. We make this claim precise by providing a sound and complete axiomatisation of GAL with distributed knowledge.

Original language	English
Title of host publication	Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings
Editors	Patrick Blackburn, Emiliano Lorini, Meiyun Guo
Publisher	Springer
Pages	98-111
Number of pages	14
ISBN (Print)	9783662602911
DOIs	https://doi.org/10.1007/978-3-662-60292-8_8
Publication status	Published - 2019
Externally published	Yes
Event	7th International Workshop on Logic, Rationality, and Interaction, LORI 2019 - Chongqing, China Duration: 18 Oct 2019 → 21 Oct 2019

Publication series

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11813 LNCS
ISSN	0302-9743

Conference

Conference	7th International Workshop on Logic, Rationality, and Interaction, LORI 2019
Abbreviated title	LORI 2019
Country/Territory	China
City	Chongqing
Period	18/10/19 → 21/10/19

Keywords

Distributed knowledge
Dynamic epistemic logic
Group announcement logic
Resolved distributed knowledge

Access to Document

10.1007/978-3-662-60292-8_8

Cite this

Galimullin, Rustam ; Ågotnes, Thomas ; Alechina, Natasha. / Group Logic with Distributed Knowledge. Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings. editor / Patrick Blackburn ; Emiliano Lorini ; Meiyun Guo. Springer, 2019. pp. 98-111 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11813 LNCS).

@inproceedings{6b358c6ef09744ed9ba08bfa1c798428,

title = "Group Logic with Distributed Knowledge",

abstract = "Public announcement logic (PAL) is an extension of epistemic logic with dynamic operators that model the effects of all agents simultaneously and publicly acquiring the same piece of information. One of the extensions of PAL, group announcement logic (GAL), allows quantification over (possibly joint) announcements made by agents. In GAL, it is possible to reason about what groups can achieve by making such announcements. It seems intuitive that this notion of coalitional ability should be closely related to the notion of distributed knowledge, the implicit knowledge of a group. Thus, we study the extension of GAL with distributed knowledge, and in particular possible interaction properties between GAL operators and distributed knowledge. The perhaps surprising result is that there in fact are no interaction properties, contrary to intuition. We make this claim precise by providing a sound and complete axiomatisation of GAL with distributed knowledge.",

keywords = "Distributed knowledge, Dynamic epistemic logic, Group announcement logic, Resolved distributed knowledge",

author = "Rustam Galimullin and Thomas {\AA}gotnes and Natasha Alechina",

note = "Publisher Copyright: {\textcopyright} 2019, Springer-Verlag GmbH Germany, part of Springer Nature.; 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, LORI 2019 ; Conference date: 18-10-2019 Through 21-10-2019",

year = "2019",

doi = "10.1007/978-3-662-60292-8_8",

language = "English",

isbn = "9783662602911",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "98--111",

editor = "Patrick Blackburn and Emiliano Lorini and Meiyun Guo",

booktitle = "Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings",

}

Galimullin, R, Ågotnes, T & Alechina, N 2019, Group Logic with Distributed Knowledge. in P Blackburn, E Lorini & M Guo (eds), Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11813 LNCS, pp. 98-111, 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, Chongqing, China, 18/10/19. https://doi.org/10.1007/978-3-662-60292-8_8

Group Logic with Distributed Knowledge. / Galimullin, Rustam; Ågotnes, Thomas; Alechina, Natasha.
Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings. ed. / Patrick Blackburn; Emiliano Lorini; Meiyun Guo. Springer, 2019. p. 98-111 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11813 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - Group Logic with Distributed Knowledge

AU - Galimullin, Rustam

AU - Ågotnes, Thomas

AU - Alechina, Natasha

PY - 2019

Y1 - 2019

N2 - Public announcement logic (PAL) is an extension of epistemic logic with dynamic operators that model the effects of all agents simultaneously and publicly acquiring the same piece of information. One of the extensions of PAL, group announcement logic (GAL), allows quantification over (possibly joint) announcements made by agents. In GAL, it is possible to reason about what groups can achieve by making such announcements. It seems intuitive that this notion of coalitional ability should be closely related to the notion of distributed knowledge, the implicit knowledge of a group. Thus, we study the extension of GAL with distributed knowledge, and in particular possible interaction properties between GAL operators and distributed knowledge. The perhaps surprising result is that there in fact are no interaction properties, contrary to intuition. We make this claim precise by providing a sound and complete axiomatisation of GAL with distributed knowledge.

AB - Public announcement logic (PAL) is an extension of epistemic logic with dynamic operators that model the effects of all agents simultaneously and publicly acquiring the same piece of information. One of the extensions of PAL, group announcement logic (GAL), allows quantification over (possibly joint) announcements made by agents. In GAL, it is possible to reason about what groups can achieve by making such announcements. It seems intuitive that this notion of coalitional ability should be closely related to the notion of distributed knowledge, the implicit knowledge of a group. Thus, we study the extension of GAL with distributed knowledge, and in particular possible interaction properties between GAL operators and distributed knowledge. The perhaps surprising result is that there in fact are no interaction properties, contrary to intuition. We make this claim precise by providing a sound and complete axiomatisation of GAL with distributed knowledge.

KW - Distributed knowledge

KW - Dynamic epistemic logic

KW - Group announcement logic

KW - Resolved distributed knowledge

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

U2 - 10.1007/978-3-662-60292-8_8

DO - 10.1007/978-3-662-60292-8_8

M3 - Conference Article in proceeding

AN - SCOPUS:85075660286

SN - 9783662602911

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 98

EP - 111

BT - Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings

A2 - Blackburn, Patrick

A2 - Lorini, Emiliano

A2 - Guo, Meiyun

PB - Springer

T2 - 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019

Y2 - 18 October 2019 through 21 October 2019

ER -

Galimullin R, Ågotnes T, Alechina N. Group Logic with Distributed Knowledge. In Blackburn P, Lorini E, Guo M, editors, Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings. Springer. 2019. p. 98-111. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11813 LNCS). doi: 10.1007/978-3-662-60292-8_8

Group Logic with Distributed Knowledge

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this