Singleton Joseph, Booth Richard
Cardiff University, Cardiff, UK.
Synthese. 2023;201(2):64. doi: 10.1007/s11229-023-04064-y. Epub 2023 Feb 13.
In this paper we present a modal logic framework to reason about the expertise of information sources. A source is considered an expert on a proposition if they are able to correctly refute in any possible world where is false. Closely connected with expertise is a notion of : is said to be "sound" if it is true of the source. That is, any statement logically weaker than on which the source has expertise must in fact be true. This is relevant for modelling situations in which sources make claims beyond their domain of expertise. Particular attention is paid to the connection between expertise and : we show that expertise and soundness admit precise interpretations in terms of , under certain conditions. We go on to extend the framework to multiple sources, defining two notions of . These also have epistemic interpretations via distributed and common knowledge from multi-agent epistemic logic. On the technical side, we give several sound and complete axiomatisations of various classes of expertise models.
在本文中，我们提出一个模态逻辑框架来推理信息源的专业性。如果一个信息源在任何 为假的可能世界中都能正确反驳 ，那么该信息源就被认为是关于命题 的专家。与专业性紧密相关的是一个“合理性”的概念：如果 对于该信息源为真，那么 就被称为“合理的”。也就是说，该信息源具有专业性的任何逻辑上比 弱的陈述实际上都必须为真。这对于对信息源做出超出其专业领域主张的情况进行建模是相关的。我们特别关注专业性与合理性之间的联系：我们表明，在某些条件下，专业性和合理性可以根据 给出精确的解释。我们接着将该框架扩展到多个信息源，定义了两种“合理性”概念。这些概念也通过多智能体认知逻辑中的分布式知识和公共知识具有认知解释。在技术方面，我们给出了各类专业性模型的几个可靠且完备的公理化。
