Mar, 2017

自动化双效原则

TL;DR该研究使用一阶模态逻辑,将双效原则正式化,并构建了一个 “双效层”,该层可以用于验证人工智能系统是否符合双效原则,还可以用于构建符合双效原则的自主系统。