English
Related papers

Related papers: Permissible Knowledge Pooling

200 papers

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

By 'informational entropy', we understand an inherent boundary to knowability, due e.g. to perceptual, theoretical, evidential or linguistic limits. In this paper, we discuss a logical framework in which this boundary is incorporated into…

The existence of a coalition strategy to achieve a goal does not necessarily mean that the coalition has enough information to know how to follow the strategy. Neither does it mean that the coalition knows that such a strategy exists. The…

Artificial Intelligence · Computer Science 2017-07-28 Pavel Naumov , Jia Tao

Possibilistic logic bases and possibilistic graphs are two different frameworks of interest for representing knowledge. The former stratifies the pieces of knowledge (expressed by logical formulas) according to their level of certainty,…

Artificial Intelligence · Computer Science 2013-01-30 Salem Benferhat , Didier Dubois , Laurent Garcia , Henri Prade

The computability power of a distributed computing model is determined by the communication media available to the processes, the timing assumptions about processes and communication, and the nature of failures that processes can suffer. In…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-04-27 Eric Goubault , Sergio Rajsbaum

Resource pooling in ad hoc networks deals with accumulating computing and network resources to implement network control schemes such as routing, congestion, traffic management, and so on. Pooling of resources can be accomplished using the…

Networking and Internet Architecture · Computer Science 2017-07-12 Seema B Hegde , B. Sathish babu , Pallapa Venkatram

Simplicial complexes are a versatile and convenient paradigm on which to build all the tools and techniques of the logic of knowledge, on the assumption that initial epistemic models can be described in a distributed fashion. Thus, we can…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-08-06 Hans van Ditmarsch , Eric Goubault , Jeremy Ledent , Sergio Rajsbaum

When we work with information from multiple sources, the formalism each employs to handle uncertainty may not be uniform. In order to be able to combine these knowledge bases of different formats, we need to first establish a common basis…

Artificial Intelligence · Computer Science 2013-02-18 Choh Man Teng

The existence of a coalition strategy to achieve a goal does not necessarily mean that the coalition has enough information to know how to follow the strategy. Neither does it mean that the coalition knows that such a strategy exists. The…

Artificial Intelligence · Computer Science 2017-06-19 Pavel Naumov , Jia Tao

Information Integration is a young and exciting field with enormous research and commercial significance in the new world of the Information Society. It stands at the crossroad of Databases and Artificial Intelligence requiring novel…

Artificial Intelligence · Computer Science 2007-05-23 Yannis Dimopoulos , Antonis Kakas

We use a novel type of epistemic logic, employing comparative knowledge assertions, to analyze the relative epistemic powers of individuals or groups of agents. Such comparative assertions can express that a group has the potential to…

Logic in Computer Science · Computer Science 2025-12-09 Baltag Alexandru , Smets Sonja

In formal epistemology, group knowledge is often modelled as the knowledge that the group would have, if the agents shared all their individual knowledge. However, this interpretation does not account for relations between agents. In this…

Logic in Computer Science · Computer Science 2024-03-28 Christian Cachin , David Lehnherr , Thomas Studer

Within the framework proposed in this paper, we address the issue of extending the certain networks to a fuzzy certain networks in order to cope with a vagueness and limitations of existing models for decision under imprecise and uncertain…

Artificial Intelligence · Computer Science 2012-06-06 Abdelkader Heni , Mohamed Nazih Omri , Adel Alimi

In this paper we study the problem of information sharing among rational self-interested agents as a dynamic game of asymmetric information. We assume that the agents imperfectly observe a Markov chain and they are called to decide whether…

Computer Science and Game Theory · Computer Science 2021-03-30 Konstantinos Ntemos , George Pikramenos , Nicholas Kalouptsidis

This paper presents the first framework for integrating procedural knowledge, or "know-how", into the Linked Data Cloud. Know-how available on the Web, such as step-by-step instructions, is largely unstructured and isolated from other…

Artificial Intelligence · Computer Science 2016-04-18 Paolo Pareti , Benoit Testu , Ryutaro Ichise , Ewan Klein , Adam Barker

This article argues that the Situation theory and the Channel theory can be used as a general framework for Imperfect Information Management. Different kinds of imperfections are uncertainty, imprecision, vagueness, incompleteness,…

Logic in Computer Science · Computer Science 2022-06-07 Farhad Naderian

This paper describes information flow within logical environments. The theory of information flow, the logic of distributed systems, was first defined by Barwise and Seligman (Information Flow: The Logic of Distributed Systems. 1997).…

Logic in Computer Science · Computer Science 2016-03-14 Robert E. Kent

The Information bottleneck method is an unsupervised non-parametric data organization technique. Given a joint distribution P(A,B), this method constructs a new variable T that extracts partitions, or clusters, over the values of A that are…

Machine Learning · Computer Science 2013-01-14 Nir Friedman , Ori Mosenzon , Noam Slonim , Naftali Tishby

In a knowledge society, the term knowledge must be considered a core resource for organizations. So, beyond being a medium to progress and to innovate, knowledge is one of our most important resources: something necessary to…

Computers and Society · Computer Science 2024-04-09 Mario Lezoche , Sanabria Freddy Muñoz , Collazos Cesar , Torres Diego , Agredo Vanessa , Ruiz Pablo , Hurtado Julio

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