新著新论|学院蒋军利老师合作新作刊发在中科院Top期刊《Journal of Philosophical Logic》

发布时间： 2024-01-17 18:09:44 已阅读：

我院哲学系蒋军利老师团队撰写的《A Dynamic Logic of Data-Informed Knowledge》一文，2024年1月发表于中科院期刊分区人文学学科哲学大类分区一区Top期刊《Journal of Philosophical Logic》。在数智化时代背景下，从数据中获得新知已经成为人们获取知识的主要途径，该文围绕数据的发布和撤销行为与认知行为之间的交互，提出了一个能够刻画数据间关系的函数以及三个行为模态交互影响的动态逻辑系统。数据的发布和数据的撤销并不是两个简单的互逆动作，文章从两个模态彼此的不可定义性上说明了这一点。主要的技术结果是给出了两个动态算子彼此的不可定义性，可靠且完全的公理化系统，以及模型检测算法。

在线链接https://doi.org/10.1007/s10992-023-09740-5