English
Related papers

Related papers: Modal Logic for Distributed Trust

200 papers

Possibility theory is proposed as an uncertainty representation framework for distributed learning in multi-agent systems and robot swarms. In particular, we investigate its application to the best-of-n problem where the aim is for a…

Multiagent Systems · Computer Science 2020-01-22 Jonathan Lawry , Michael Crosscombe , David Harvey

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

A protocol for distributed estimation of discrete distributions is proposed. Each agent begins with a single sample from the distribution, and the goal is to learn the empirical distribution of the samples. The protocol is based on a simple…

Optimization and Control · Mathematics 2014-06-06 Anand D. Sarwate , Tara Javidi

We consider the problem of multi-choice majority voting in a network of $n$ agents where each agent initially selects a choice from a set of $K$ possible choices. The agents try to infer the choice in majority merely by performing local…

Multiagent Systems · Computer Science 2019-07-17 Hamidreza Bandealinaeini , Saber Salehkaleybar

We propose a number of powerful dynamic-epistemic logics for multi-agent information sharing and acts of publicly or privately accessing other agents' information databases. The static base of our logics is obtained by adding to standard…

Logic in Computer Science · Computer Science 2021-09-16 Alexandru Baltag , Sonja Smets

Conversational grounding is a collaborative mechanism for establishing mutual knowledge among participants engaged in a dialogue. This experimental study analyzes information-seeking conversations to investigate the capabilities of large…

Computation and Language · Computer Science 2024-06-05 Kristiina Jokinen , Phillip Schneider , Taiga Mori

This paper proposes and analyzes a novel multi-agent opinion dynamics model in which agents have access to actions which are quantized version of the opinions of their neighbors. The model produces different behaviors observed in social…

Dynamical Systems · Mathematics 2016-02-08 N. R. Chowdhury , I. -C. Morarescu , S. Martin , S. Srikant

For autonomous agents to successfully operate in real world, the ability to anticipate future motions of surrounding entities in the scene can greatly enhance their safety levels since potentially dangerous situations could be avoided in…

Machine Learning · Computer Science 2019-06-04 Yeping Hu , Wei Zhan , Liting Sun , Masayoshi Tomizuka

Nowadays, social networks became essential in information exchange between individuals. Indeed, as users of these networks, we can send messages to other people according to the links connecting us. Moreover, given the large volume of…

Artificial Intelligence · Computer Science 2015-01-21 Salma Ben Dhaou , Mouloud Kharoune , Arnaud Martin , Boutheina Ben Yaghlane

A multi-level model of opinion formation is presented which takes into account that attitudes on different issues are usually not independent. In the model, agents exchange beliefs regarding a series of facts. A cognitive structure of…

Physics and Society · Physics 2021-10-11 Sven Banisch , Eckehard Olbrich

We introduce a new logic of graded distributed belief that allows us to express the fact that a group of agents distributively believe that a certain fact holds with at least strength k. We interpret our logic by means of computationally…

Logic in Computer Science · Computer Science 2025-12-01 Emiliano Lorini , Dmitry Rozplokhas

We introduce a novel capabilities-based bi-directional multi-task trust model that can be used for trust prediction from either a human or a robotic trustor agent. Tasks are represented in terms of their capability requirements, while…

Robotics · Computer Science 2021-06-07 Hebert Azevedo-Sa , X. Jessie Yang , Lionel P. Robert , Dawn M. Tilbury

Computational simulations are a popular method for testing hypotheses about the emergence of communication. This kind of research is performed in a variety of traditions including language evolution, developmental psychology, cognitive…

Artificial Intelligence · Computer Science 2023-03-09 Julian Zubek , Tomasz Korbak , Joanna Rączaszek-Leonardi

The article is devoted to the issues of using discrete simulation models for modeling some basic technological processes. In the scientific work, models in the form of multi-agent systems have been investigated, which allow us to consider a…

Multiagent Systems · Computer Science 2021-09-28 Sergey Petrovich Bobkov , Irina Aleksandrovna Astrakhantseva

Large Language Model (LLM)-based Multi-Agent Systems (MASs) are increasingly deployed for agentic tasks, such as web automation, itinerary planning, and collaborative problem solving. Yet, their interactive nature introduces new security…

Multiagent Systems · Computer Science 2026-03-18 Samira Abedini , Sina Mavali , Lea Schönherr , Martin Pawelczyk , Rebekka Burkholz

Motivated by the effectiveness of correlation attacks against Tor, the censorship arms race, and observations of malicious relays in Tor, we propose that Tor users capture their trust in network elements using probability distributions over…

Cryptography and Security · Computer Science 2014-06-16 Aaron D. Jaggard , Aaron Johnson , Paul Syverson , Joan Feigenbaum

Norms are known to be a major factor determining humans behavior. It's also shown that norms can be quite effective tool for building agent-based societies. Various normative architectures have been proposed for designing normative…

Multiagent Systems · Computer Science 2015-08-20 Francisco Lopez

Defining and measuring trust in dynamic, multiagent teams is important in a range of contexts, particularly in defense and security domains. Team members should be trusted to work towards agreed goals and in accordance with shared values.…

Artificial Intelligence · Computer Science 2024-01-26 Edmund R. Hunt , Chris Baber , Mehdi Sobhani , Sanja Milivojevic , Sagir Yusuf , Mirco Musolesi , Patrick Waterson , Sally Maynard

We propose a simple global computing framework, whose main concern is code migration. Systems are structured in sites, and each site is divided into two parts: a computing body, and a membrane, which regulates the interactions between the…

Programming Languages · Computer Science 2017-01-11 Daniele Gorla , Matthew Hennessy , Vladimiro Sassone

Network-structured data becomes ubiquitous in daily life and is growing at a rapid pace. It presents great challenges to feature engineering due to the high non-linearity and sparsity of the data. The local and global structure of the…

Machine Learning · Computer Science 2025-01-31 Xin Sun , Zenghui Song , Yongbo Yu , Junyu Dong , Claudia Plant , Christian Boehm