人工智能作为人类社会文明进步的一个重要标志,正深刻改变着人类的生产生活方式和思维模式。随着人机融合的程度不断加深,其在现实应用中出现的问题以及人们对未来人工智能的担忧,推动着人类开展人工智能道德方面的研究,以使智能系统的规范行为和道德决策能够符合人类社会的伦理标准和道德规范,从而实现人工智能技术的安全、可靠、可控,推动人机和谐发展。基于以上背景,本文的研究目的是对标可信人工智能的发展要求,遵循人工智能的可解释性诉求,在逻辑视域下对人工智能道德决策算法设计的一种哲学思考。为实现这一目标,本文的研究思路是:首先,对人工智能道德技术相关的基础理论和基本问题进行哲学讨论和反思,阐明基本观点和立场;其次,提出基于逻辑工具开展人工智能道德决策算法的本体论承诺,回应人工智能道德的本体诉求;最后,讨论智能系统在遇到规范冲突和“道德难题”时的解决思路。在已有研究工作的基础上,本文的主要贡献体现在三个方面。第一,在第4章提出基于逻辑视角的人工智能道德的本体论承诺,回应人工智能道德的本体诉求,为第5章内容做铺垫。科学的本体论问题随着科学技术的发展而逐渐成为研究的对象,它在信息科学和人工智能领域被赋予新的内涵,本文提出,本体论承诺为逻辑视域下开展人工智能道德决策的算法研究提供了本体知识,在运用具有可解释优势的现代逻辑工具进行人工智能道德决策算法的模型建构时,需要根据语义理论对模型所涵盖的特定领域世界的概念和关系做出本体上的承诺,从而为逻辑语言处理特定领域知识的形式刻画和形式推理预设本体知识,以回应人工智能道德的本体诉求。第二,在第5章将人机价值对齐的观点运用到案例分析的哲学讨论中,以合理解决规范冲突和“道德难题”。在对逻辑工具开展人工智能道德算法设计的方法论介绍的基础上,通过案例模拟自动驾驶汽车在遇到规范选择和道德决策等问题时展开哲学讨论,并运用多值道义逻辑工具进行逻辑形式刻画的应用分析。在哲学讨论中提出通过实现人机价值对齐,从而使价值观标准指导智能系统的道德决策功能,以合理解决规范冲突和“道德难题”。第三,本文提出人机融合背景下的价值对齐的观点,并在第6章对其实现进行论证,是对第5章内容的深化和升华。通过将人类的价值观标准以技术的方式嵌入智能系统,使技术产生具有道德的结果,指导智能系统的规范行为和道德决策,从而实现人机价值对齐。研究认为后人类时代人工智能体的价值观构建应秉持人本性、平等性和差异性的基本价值标准,在确保可解释性的前提下寻求逻辑的形式表达与刻画方法,通过选取逻辑视域下的方法论路径实现人机价值对齐,从而弥合伦理逻辑和技术架构的整体性所造就的人类与技术物的属性边界,为后人类时代的人机和谐发展提供哲学参考。本文所提出的创新性观点和研究结论,进一步深化了对人工智能道德问题的哲学探讨,巩固了逻辑学工具在人工智能技术发展中的基础性地位,丰富了人工智能道德决策算法设计的方法论,具有一定的理论意义和应用价值,在一定程度上推动了现代逻辑与人工智能道德决策算法设计的融合研究。