Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems
| Autor: | Guzmán, Michell, Knight, Sophia, Quintero, Santiago, Ramírez, Sergio, Rueda, Camilo, Valencia, Frank |
|---|---|
| Přispěvatelé: | Fortiss [Munich], Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX), Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), University of Minnesota [Duluth], University of Minnesota System, Concurrency, Mobility and Transactions (COMETE), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX), Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Pontificia universidad Javeriana, Cali, This work has been partially supported by the ECOS-NORD project FACTS (C19M03)., École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) |
| Jazyk: | angličtina |
| Rok vydání: | 2021 |
| Předmět: |
FOS: Computer and information sciences
Infinitely Many Agents Distributed Knowledge Algebraic Modeling Reasoning about Groups Reasoning about Space Computer Science - Multiagent Systems Mathematical Morphology [INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC] Multiagent Systems (cs.MA) |
| Zdroj: | Journal of Logical and Algebraic Methods in Programming Journal of Logical and Algebraic Methods in Programming, Elsevier, In press Journal of Logical and Algebraic Methods in Programming, inPress |
| ISSN: | 2352-2208 |
| Popis: | International audience; 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. For completely distributive lattices, we establish that distributed information of a group is the greatest information below all possible combinations of information in the spaces of the agents in the group that derive a given piece of information. We show compositionality results for these characterizations and conditions under which information that can be obtained by an infinite group can also be obtained by a finite group. Finally, we provide an application on mathematical morphology where dilations, one of its fundamental operations, define an scs on a powerset lattice. We show that distributed information represents a particular dilation in such scs. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect