近日，我中心23级博士生洪博同学的论文荣获了LORI2023的最佳学生论文奖。洪博同学的获奖论文报告了其北大硕士学位论文的部分工作，导师为王彦晶。该论文推广了“知道值”算子，使之可以表达“知道一个概念的外延”，考虑了多种可能的语义，并做出了公理化等一系列技术结果。这是本中心在读学生第二次获得该奖项，第一届苏天辅最佳学生论文奖由我中心18级博士生王勋同学（现任职于中央民族大学）获得，请见相关报道。本中心在知道值的逻辑方面曾做出多项成果，发表于IJCAI13、AiML14、AiML16，TARK21等逻辑学及人工智能顶级国际会议论文集。除了获奖成果，洪博同学的硕士论文还解决了带公开宣告的知道值逻辑PALKv的直接公理化问题。

【以下转自西南大学逻辑与智能研究中心公众号】

2023年10月26日，第二届“天辅最佳学生论文奖”在山东大学举行的“第九届‘逻辑、理性与互动’国际会议”（LORI-IX）上隆重颁发。北京大学逻辑学博士生洪博同学为大会提交的论文《Knowing the value of a predicate》荣获天辅最佳学生论文奖。

  “逻辑、理性与互动”国际会议秘书长刘奋荣教授代表组织委员会和基金管理委员会宣读颁奖词，并为洪博同学颁发了证书和奖金。

1989年，Plaza引入了“知道值”算子Kv。前人对该算子的研究都是围绕“知道指示词d的值”Kvd展开的，洪博同学将Kv算子拓展为可同时对谓词使用，即将KvP算子解释为“知道谓词P的值”，给出其逻辑语言及语义，并证明了对应公理系统的强完备性。该论文得到了大会三位匿名评审专家的一致好评。

“苏天辅教育基金”是根据苏天辅先生生前意愿，在西南大学教育基金会的倡导和指导下建立的，属于西南大学教育基金会下设的大师子基金项目。本基金为开放基金，接受政府、校友、同行、社会各界集体或个人的捐助。捐助的经费将全部并入基金本金，同时，将基金的全部收益用于奖励由苏天辅教育基金管理委员会评选出的优秀个人。依据苏天辅教育基金章程，目前基金主要奖励西南大学国家治理学院哲学专业特别是逻辑学专业的优秀全日制毕业生，以及与哲学和逻辑学专业相关的全国性学会专业委员会主办的会议或知名国际会议（如LORI）评审出的最佳学生论文获得者。