空间分布多Agent系统的语义结构
Semantic Structures for Spatially-Distributed Multi-Agent Systems
摘要：
空间约束系统是并发系统中用于空间和认知信息推理的语义结构。它们被用来对信念、谎言和受社交网络启发的群体认知行为进行推理。它们也被用来证明模态逻辑的新结果，并给出处理演算的语义。本文将讨论自相关系统的理论和主要结果。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
