Semantic Structures for Spatially-Distributed Multi-Agent Systems
Frank Valencia (CNRS-LIX, Ecole Polytechnique de Paris, Univ., Javeriana Cali.)
TL;DR
This paper discusses the theory and main results of spatial constraint systems, semantic structures used for reasoning about spatial and epistemic information in concurrent multi-agent systems, with applications in social networks and modal logics.
Contribution
It provides a comprehensive overview of the theory and main results related to spatial constraint systems, highlighting their applications in reasoning about beliefs, lies, and group epistemic behavior.
Findings
Spatial constraint systems effectively model epistemic and spatial information.
They provide semantics for process calculi and modal logics.
Applications include social network analysis and reasoning about group beliefs.
Abstract
Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. They have been used to reason about beliefs, lies, and group epistemic behaviour inspired by social networks. They have also been used for proving new results about modal logics and giving semantics to process calculi. In this paper we will discuss the theory and main results about scs.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.