English
Related papers

Related papers: Communication Pattern Logic: Epistemic and Topolog…

200 papers

Agent communication protocols are becoming critical infrastructure for large language model (LLM) systems that must use tools, coordinate with other agents, and operate across heterogeneous environments. This work presents a human-inspired…

Networking and Internet Architecture · Computer Science 2026-04-14 Dun Yuan , Fuyuan Lyu , Ye Yuan , Weixu Zhang , Bowei He , Jiayi Geng , Linfeng Du , Zipeng Sun , Yankai Chen , Changjiang Han , Jikun Kang , Xi Chen , Haolun Wu , Xue Liu

In numerous artificial intelligence applications, the collaborative efforts of multiple intelligent agents are imperative for the successful attainment of target objectives. To enhance coordination among these agents, a distributed…

Machine Learning · Computer Science 2024-05-15 Shengchao Hu , Li Shen , Ya Zhang , Dacheng Tao

Adaptive networks are well-suited to perform decentralized information processing and optimization tasks and to model various types of self-organized and complex behavior encountered in nature. Adaptive networks consist of a collection of…

Multiagent Systems · Computer Science 2013-05-07 Ali H. Sayed

Collective adaptive systems are new emerging computational systems consisting of a large number of interacting components and featuring complex behaviour. These systems are usually distributed, heterogeneous, decentralised and…

Programming Languages · Computer Science 2017-11-30 Yehia Abd Alrahman , Rocco De Nicola , Michele Loreti

Big Data has become the primary source of understanding the structure and dynamics of the society at large scale. The network of social interactions can be considered as a multiplex, where each layer corresponds to one communication channel…

Physics and Society · Physics 2016-12-21 János Török , Yohsuke Murase , Hang-Hyun Jo , János Kertész , Kimmo Kaski

Motivated by sensor networks and other distributed settings, several models for distributed learning are presented. The models differ from classical works in statistical pattern recognition by allocating observations of an independent and…

Information Theory · Computer Science 2016-11-18 Joel B. Predd , Sanjeev R. Kulkarni , H. Vincent Poor

Concurrent pattern calculus (CPC) drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising from pattern matching to pattern unification, interaction becomes…

Logic in Computer Science · Computer Science 2015-07-01 Thomas Given-Wilson , Daniele Gorla , Barry Jay

This work studies the distributed learning process on a network of agents. Agents make partial observation about an unknown hypothesis and iteratively share their beliefs over a set of possible hypotheses with their neighbors to learn the…

Systems and Control · Electrical Eng. & Systems 2024-11-19 P Raghavendra Rao , Pooja Vyavahare

In this paper, we study asynchronous consensus problems of continuous-time multi-agent systems with discontinuous information transmission. The proposed consensus control strategy is implemented only based on the state information at some…

Dynamical Systems · Mathematics 2007-05-23 Feng Xiao , Long Wang

Kripke models are an effective and widely used tool for representing epistemic attitudes of agents in multi-agent systems, including distributed systems. Dynamic Epistemic Logic (DEL) adds communication in the form of model transforming…

Logic in Computer Science · Computer Science 2024-06-17 Thomas Schlögl , Roman Kuznets , Giorgio Cignarale

One major function of social networks (e.g., massive online social networks) is the dissemination of information such as scientific knowledge, news, and rumors. Information can be propagated by the users of the network via natural…

Computer Science and Game Theory · Computer Science 2010-08-13 Dmitry Zinoviev , Vy Duong

A major achievement in the study of complex networks is the observation that diverse systems, from sub-cellular biology to social networks, exhibit universal topological characteristics. Yet this universality does not naturally translate to…

Physics and Society · Physics 2018-01-29 Chittaranjan Hens , Uzi Harush , Reuven Cohen , Baruch Barzel

Data generated from a system of interest typically consists of measurements from an ensemble of subjects across multiple response and covariate features, and is naturally represented by one response-matrix against one covariate-matrix.…

Methodology · Statistics 2018-07-04 Hsieh Fushing , Shan-Yu Liu , Yin-Chen Hsieh , Brenda McCowan

In physics we often use very simple models to describe systems with many degrees of freedom, but it is not clear why or how this success can be transferred to the more complex biological context. We consider models for the joint…

Neurons and Cognition · Quantitative Biology 2024-12-06 Luisa Ramirez , William Bialek , Stephanie E. Palmer , David J. Schwab

Basic pairs and their morphisms are the most elementary framework in which standard topological notions can be defined. We present here a new interpretation of topological concepts as those which can be communicated faithfully between the…

Logic · Mathematics 2016-11-10 Samuele Maschio , Giovanni Sambin

Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge. We define a…

Logic in Computer Science · Computer Science 2023-08-01 Samuel Bucheli , Roman Kuznets , Thomas Studer

We study a simple but compelling model of $n$ interacting agents via time-dependent, unidirectional communication. The model finds wide application in a variety of fields including synchronization, swarming and distributed decision making.…

Optimization and Control · Mathematics 2007-05-23 Luc Moreau

Dynamics of arbitrary communication system is analysed as unreduced interaction process. The applied generalised, universally nonperturbative method of effective potential reveals the phenomenon of dynamic multivaluedness of competing…

General Physics · Physics 2007-05-23 Andrei P. Kirilyuk

Distributed consensus protocols provide a mechanism for spreading information within clustered networks, allowing agents and clusters to make decisions without requiring direct access to the state of the ensemble. In this work, we propose a…

Systems and Control · Electrical Eng. & Systems 2025-12-12 Federico M. Zegers , Sean Phillips

We introduce a simple model illustrating the role of context in communication and the challenge posed by uncertainty of knowledge of context. We consider a variant of distributional communication complexity where Alice gets some information…

Computational Complexity · Computer Science 2015-07-21 Badih Ghazi , Ilan Komargodski , Pravesh Kothari , Madhu Sudan