2025年03月25日，中山大学逻辑学教授、博士生导师王轶到访我中心，为中心师生带来了模态逻辑系列报告的第三讲：“加权模态逻辑——理论及其应用”。本次报告由熊作军副教授主持、蒋军利博士及中心在读硕博研究生参与了此次报告。

王教授从个体之间的相似性出发，介绍了关于相似性的一些基本理论，进而将相似性的概念拓展到可能世界语义学上，即可能世界之间也存在着相似性。为了更进一步形式化可能世界间相似性，王教授在基本模态逻辑模型的基础上引入一个参数集或者特征集，每个可能世界上都包含着若干个特征。可能世界之间不再是普通的二元关系，而是带有标记的二元关系。两个可能世界之间关系的标记由这两个可能世界上的参数集决定，即，两个可能世界之间的关系上存在某个标记，当且仅当，该标记同时存在于两个可能世界的参数集中。之后，王教授将这种带有加权的关系语义学模型放到知识逻辑的背景下讨论，利用参数集来定义主体的认知能力，再由主体的认知能力与可能世界之间的相似性来定义主体的“认知不可区分关系”，由此形成了一个带有权重的知识逻辑。

在应用层面，王教授具体介绍了一些加权模态逻辑的应用场景，从而体现其广泛的应用空间。比如，加权模态逻辑可以将概率作为参数从而刻画独特的概率情境；可以在加权模态逻辑中定义一些群体知识算子，得到一个更符合直观的分布式知识；可以引入动态算子，以实现对“遗忘”的刻画等等。

报告的最后，王教授介绍了他们团队在加权模态逻辑方面的一些工作，包括已完成的工作、正在进行的研究以及对未来研究的一些想法，并非常欢迎中心研究生围绕加权模态逻辑进行更深入的研究。在交流讨论环节，中心师生就自身的研究兴趣与王教授展开了较为深入的交流，获得了宝贵的建议。最后，与会师生以热烈的掌声感谢王教授的报告。

（潘易欣/图稿，熊作军/审核，彭子骄/发布）