AI Chat AI Image Generator AI Video Text to Speech

Semantic Structures for Spatially-Distributed Multi-Agent Systems

08/23/2019

∙

by Frank Valencia, et al.

∙

∙

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.

page 1

page 2

page 3

page 4

research

∙ 10/20/2020

Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems

Spatial constraint systems (scs) are semantic structures for reasoning a...

0 Michell Guzman, et al. ∙

research

∙ 06/08/2023

Learnability with PAC Semantics for Multi-agent Beliefs

The tension between deduction and induction is perhaps the most fundamen...

0 Ionela G. Mocanu, et al. ∙

research

∙ 09/15/2021

Learning What Others Know

We propose a number of powerful dynamic-epistemic logics for multi-agent...

0 Alexandru Baltag, et al. ∙

research

∙ 05/15/2023

Depth-bounded epistemic logic

Epistemic logics model how agents reason about their beliefs and the bel...

0 Farid Arthaud, et al. ∙

research

∙ 09/09/2019

A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification

This paper addresses the issue of specifying, simulating, and verifying ...

0 Miguel Romero, et al. ∙

research

∙ 08/03/2020

COVID-19 Misinformation and Disinformation on Social Networks – The Limits of Veritistic Countermeasures

The COVID-19 pandemic has been the subject of a vast amount of misinform...

0 Andrew Buzzell, et al. ∙

research

∙ 03/27/2023

Semi-simplicial Set Models for Distributed Knowledge

In recent years, a new class of models for multi-agent epistemic logic h...

0 Eric Goubault, et al. ∙