一、    报告概况

报告主要介绍了六类通过布尔博弈和规范道义逻辑构建的道义智能体模型，并讨论了相关的计算复杂性问题。

二、    问答记录

 Q：表示提问         A：表示回答           S：表示补充

高珂Q：请问这里的复杂度是指图灵计算的复杂度吗？

孙鑫A：是的。

刘佶鑫Q：对于功利主义者老说，是否上述的六类其实是没有差别的？

孙鑫A：我们这里的功利是指纯粹从个人效用的角度讲的，和伦理学上的功利主义并不是一个概念。如果是伦理学上的功利主义的话，这样的模型反而变得更简单了，我们只要考虑对共同体的效用，就能决定智能体的道德偏好了。

赵晓玉Q：能否介绍一下为何选取布尔博弈和道义逻辑做方法论？

孙鑫A：博弈论是最直接简明的模拟我们偏好的方式，而道义逻辑的路线是我们刻画道德选择的比较成熟且有效的途径。

李楷Q：SI会不会导致非单调的结果？

孙鑫A：会有的，但后面我们可以想办法把非单调的结果排除出去。

刘壮虎Q：这里的推导系统从形式上看和条件句逻辑非常接近，请问两者有什么关系？

孙鑫A：如果排除SI，从形式上看，其实就是条件句逻辑。

三、    周北海老师点评

感谢孙鑫的精彩报告。孙鑫通过细致的讲解，重点向我们介绍了六种道德智能体模型的构建，对于做道义逻辑的同学很有启发。由于时间问题，使得我们的讨论可能不够深入，很遗憾。