The Review of Symbolic Logic ( IF 0.9 ) Pub Date : 2021-02-22 , DOI: 10.1017/s1755020321000058 ZOÉ CHRISTOFF 1 , NORBERT GRATZL 2 , OLIVIER ROY 3
We study the logic of so-called lexicographic or priority merge for multi-agent plausibility models. We start with a systematic comparison between the logical behavior of priority merge and the more standard notion of pooling through intersection, used to define, for instance, distributed knowledge. We then provide a sound and complete axiomatization of the logic of priority merge, as well as a proof theory in labeled sequents that admits cut. We finally study Moorean phenomena and define a dynamic resolution operator for priority merge for which we also provide a complete set of reduction axioms.
中文翻译:
优先合并和交叉模式
我们研究了多智能体合理性模型的所谓字典或优先级合并的逻辑。我们首先对优先级合并的逻辑行为和更标准的通过交集进行池化的概念进行系统比较,用于定义例如分布式知识。然后,我们提供了优先级合并逻辑的合理且完整的公理化,以及承认切割的标记序列中的证明理论。我们最终研究了摩尔现象并为优先合并定义了一个动态分辨率算子,我们还为此提供了一套完整的归约公理。