保证智能逻辑代理在可信与道德行为方面的表现

该研究使用交互式定理软件实现了自动化康德伦理学，并开发了测试框架评估其在伦理判断中的表现。这是创建哲学成熟的伦理人工智能代理的早期步骤。