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