Reasoning about Distributed Knowledge of Groups with Infinitely Many Agents - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

Reasoning about Distributed Knowledge of Groups with Infinitely Many Agents

Abstract

Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about the distributed information of potentially infinite groups. We characterize the notion of distributed information of a group of agents as the infimum of the set of join-preserving functions that represent the spaces of the agents in the group. We provide an alternative characterization of this notion as the greatest family of join-preserving functions that satisfy certain basic properties. We show compositionality results for these characterizations and conditions under which information that can be obtained by an infinite group can also also be obtained by a finite group. Finally, we provide algorithms that compute the distributive group information of finite groups.
Fichier principal
Vignette du fichier
main.pdf (636.99 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02172415 , version 1 (03-07-2019)
hal-02172415 , version 2 (06-11-2019)

Identifiers

Cite

Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, et al.. Reasoning about Distributed Knowledge of Groups with Infinitely Many Agents. CONCUR 2019 - 30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. pp.1-29, ⟨10.4230/LIPIcs.CONCUR.2019.29⟩. ⟨hal-02172415v2⟩
216 View
164 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More