Permissible Knowledge Pooling
This work addresses a foundational issue in distributed AI and multi-agent systems by proposing a novel logical framework for permissible knowledge pooling.
The paper tackles the problem of formalizing knowledge pooling in distributed systems by shifting from an intersection-based approach to one that focuses on sharing known information, introducing new modal logics and dynamic mechanisms for knowledge sharing.
Information pooling has been extensively formalised across various logical frameworks in distributed systems, characterized by diverse information-sharing patterns. These approaches generally adopt an intersection perspective, aggregating all possible information, regardless of whether it is known or unknown to the agents. In contrast, this work adopts a unique stance, emphasising that sharing knowledge means distributing what is known, rather than what remains uncertain. This paper introduces new modal logics for knowledge pooling and sharing, ranging from a novel language of knowledge pooling to a dynamic mechanism for knowledge sharing. It also outlines their axiomatizations and discusses a potential framework for permissible knowledge pooling.