近日，我所博士后许天问助理研究员作为第一作者的论文（Integrating Reflective Equilibrium and Structured Argumentation: A logical Approach to Norm Identification）被第四十届AAAI会议下设的联合会议“语言模型中的逻辑与符号推理”（Bridge Program on Logical and Symbolic Reasoning in Language Models）录用，并于2026年1月20-21日前往新加坡会议现场进行展示，引起听众热烈反响。
论文针对机器伦理中的规范识别问题，提出一种结合反思平衡与结构化论辩的逻辑方法，将规范识别问题转化为纯形式的理论构建问题（theory construction problem），一个理论被定义为包含严格规则、可废止规则与道德情境的非单调推理理论。在此基础上，论文定义了一系列理论构建算子与构建程序，并验证了它们的理性性质。
AAAI会议是人工智能领域国际顶会，本次联合会议由清华大学逻辑学研究中心联合北京大学智能学院、斯坦福大学哲学系、卡内基梅隆大学哲学系与计算机科学系、阿姆斯特丹大学逻辑、语言与计算研究所、墨尔本大学数学与统计学院、奥克兰大学计算机系以及艾伦人工智能研究所等海内外知名高校与科研机构共同组织。
