Permissible Knowledge Pooling

要約

情報プーリングは、分散システムのさまざまな論理フレームワークにわたって広範囲に形式化されており、多様な情報共有パターンを特徴としています。
これらのアプローチは通常、交差の観点を採用し、エージェントにとって既知であるか未知であるかに関係なく、考えられるすべての情報を集約します。
対照的に、この作品は独特のスタンスを採用しており、知識の共有とは、不確実なものではなく、既知のものを配布することを意味することを強調しています。
この論文では、知識プーリングの新しい言語から知識共有のための動的なメカニズムに至るまで、知識プーリングと共有のための新しいモーダル ロジックを紹介します。
また、それらの公理化の概要を説明し、許容される知識プールの潜在的なフレームワークについても説明します。

要約(オリジナル)

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.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google