English
Related papers

Related papers: Communication Pattern Logic: Epistemic and Topolog…

200 papers

We study the problem of distributed cooperative learning, where a group of agents seeks to agree on a set of hypotheses that best describes a sequence of private observations. In the scenario where the set of hypotheses is large, we propose…

Machine Learning · Computer Science 2021-09-22 Mohammad Taha Toghani , César A. Uribe

The standard semantics of multi-agent epistemic logic S5 is based on Kripke models whose accessibility relations are reflexive, symmetric and transitive. This one dimensional structure contains implicit higher-dimensional information beyond…

Logic in Computer Science · Computer Science 2022-11-10 Éric Goubault , Jérémy Ledent , Sergio Rajsbaum

Semantic communication enables intelligent agents to extract meaning (or semantics) of information via interaction, to carry out collaborative tasks. In this paper, we study semantic communication from a topological space perspective, in…

Signal Processing · Electrical Eng. & Systems 2022-11-01 Qiyang Zhao , Mehdi Bennis , Merouane Debbah , Daniel Benevides da Costa

Collaboration is a fundamental and essential characteristic of many complex systems, ranging from ant colonies to human societies. Each component within a complex system interacts with others, even at a distance, to accomplish a given task.…

Multiagent Systems · Computer Science 2025-09-04 Mehdi Bakhshipoor , Yousef Azizi , Seyed Ehsan Nedaaee Oskoee

This paper investigates the formal pragmatics of ambiguous expressions by modeling ambiguity in a multi-agent system. Such a framework allows us to give a more refined notion of the kind of information that is conveyed by ambiguous…

Computation and Language · Computer Science 2007-05-23 Christof Monz

Communication is highly overloaded. Despite this, even young children are good at leveraging context to understand ambiguous signals. We propose a computational account of overloaded signaling from a shared agency perspective which we call…

Artificial Intelligence · Computer Science 2021-06-07 Stephanie Stacy , Chenfei Li , Minglu Zhao , Yiling Yun , Qingyi Zhao , Max Kleiman-Weiner , Tao Gao

Recent papers have treated {\em control communication complexity} in the context of information-based, multiple agent control systems including nonlinear systems of the type that have been studied in connection with quantum information…

Systems and Control · Computer Science 2012-02-02 Wing Shing Wong , John Baillieul

The gossip problem, in which information (known as secrets) must be shared among a certain number of agents using the minimum number of calls, is of interest in the conception of communication networks and protocols. We extend the gossip…

Artificial Intelligence · Computer Science 2016-06-15 Martin C. Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Pierre Régnier

Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other secrets. Recently a number of authors studied distributed epistemic gossip protocols. These…

Logic in Computer Science · Computer Science 2017-07-28 Krzysztof R. Apt , Dominik Wojtczak

In this paper, we study a distributed parameter estimation problem with an asynchronous communication protocol over multi-agent systems. Different from traditional time-driven communication schemes, in this work, data can be transmitted…

Systems and Control · Computer Science 2019-03-04 Xingkang He , Qian Liu , Junfeng Wu , Karl Henrik Johansson

Distributed computing models typically assume reliable communication between processors. While such assumptions often hold for engineered networks, e.g., due to underlying error correction protocols, their relevance to biological systems,…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-06-29 Ofer Feinerman , Bernhard Haeupler , Amos Korman

We consider the model of cooperative learning via distributed non-Bayesian learning, where a network of agents tries to jointly agree on a hypothesis that best described a sequence of locally available observations. Building upon recently…

Optimization and Control · Mathematics 2020-10-21 Eduardo Mojica-Nava , David Yanguas-Rojas , César A. Uribe

Much of the software we use in everyday life consists of distributed components (running on separate cores or even computers) that collaborate through communication (by exchanging messages). It is crucial to develop robust methods that can…

Logic in Computer Science · Computer Science 2024-03-04 Bas van den Heuvel

Any kind of dynamics in dynamic epistemic logic can be represented as an action model. Right? Wrong! In this contribution we prove that the update expressivity of communication patterns is incomparable to that of action models. Action…

Logic in Computer Science · Computer Science 2023-07-12 Armando Castañeda , Hans van Ditmarsch , David A. Rosenblueth , Diego A. Velázquez

This paper analyzes a dynamic interaction between a fully rational, privately informed sender and a boundedly rational, uninformed receiver with memory constraints. The sender controls the flow of information, while the receiver designs a…

Theoretical Economics · Economics 2025-11-12 Qingmin Liu , Yuyang Miao

In this paper, we generalize epistemic logic so that it can help reason about ways of combining common knowledge and distributed knowledge such as "common distributed knowledge", "distributed common knowledge", "distributed common…

Logic in Computer Science · Computer Science 2025-12-01 Chenwei Shi

Machine Learning (ML) has emerged as a powerful form of data modelling with widespread applicability beyond its roots in the design of autonomous agents. However, relatively little attention has been paid to the interaction between people…

Artificial Intelligence · Computer Science 2024-10-29 A. Baskar , Ashwin Srinivasan , Michael Bain , Enrico Coiera

Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes. In the present paper, we introduce a sound and complete…

Logic in Computer Science · Computer Science 2017-07-28 Willem Conradie , Sabine Frittella , Alessandra Palmigiano , Michele Piazzai , Apostolos Tzimoulis , Nachoem M. Wijnberg

This paper studies the organization of communication between biased senders and a receiver. Senders can misreport their private information at a cost. Efficiency is achieved by clearing information asymmetries without incurring costs.…

Theoretical Economics · Economics 2025-02-04 Federico Vaccari

Distributed dynamic gossip is a generalization of the classic telephone problem in which agents communicate to share secrets, with the additional twist that also telephone numbers are exchanged to determine who can call whom. Recent work…

Logic in Computer Science · Computer Science 2019-07-30 Hans van Ditmarsch , Malvin Gattinger , Louwe B. Kuijer , Pere Pardo