智能机器何以逻辑地“明辨是非”?——自动驾驶电车难题的一种缺省逻辑分析  

Teaching Intelligent Machinery to Understand Logically"Good"and"Bad":A Default Logic Analysis of the Trolley Problem in Autonomous Vehicles

作　　者：阴昭晖 Yin Zhaohui

机构地区：[1]中国政法大学人文学院

出　　处：《哲学研究》2024年第10期84-95,共12页Philosophical Research

基　　金：国家社会科学基金一般项目“人与人工智能‘价值共同体’理念构建中的算法价值与价值算法研究”(编号20BZX016)的阶段性成果。

摘　　要：在探讨智能机器是否具备成为伦理能动者的资格时,一个普遍被认可的先决条件是,它们能够进行高水平的价值或道德推理。因此,研究如何将现代逻辑有效地嵌入智能机器之中就具有理论意义和现实需求。从逻辑学的观点看,自动驾驶电车难题可以被形式化为一种冲突情境下的非单调规范推理问题。而通常用以处理规范推理的道义逻辑面临着处理冲突能力不足及约根森困境等挑战。为应对这些问题,霍尔蒂提出的缺省逻辑主张摆脱经典道义语义学的束缚,转而将规范句表达为缺省蕴涵公式,且创造性地通过极大地满足规范集中位阶最高的规范子集来确定规范句的真值。这一方法显著增强了其形式刻画能力。在霍尔蒂理论中,电车难题被重构为一个缺省理论模型,据此可以对不同驾驶情景的价值推理及价值属性进行有效的逻辑分析。此外,可以构建一种基于主体性的价值分析框架,将其作为剖析自动驾驶电车难题的伦理基准与逻辑起点。

关 键 词：自动驾驶电车难题 缺省逻辑 价值推理 

分 类 号：B819[哲学宗教—逻辑学]