可证明性、决策理论与人工智能
学期: 2015年秋天,
组织者：Tsvi Benson-Tilsen和安德鲁Critch
时间:每周二下午5点至6点半
位置:加州大学伯克利分校，732 Evans Hall
本次研讨会将探讨人工智能所面临的数学问题，以及人工智能对自身和其他智能体的精确建模所带来的挑战。例如，人工代理可能遇到关于其自身行为和他人行为的数学证明，或者创建新的代理来支持或替代它们自己。代理在这种情况下应该如何表现?考虑到这一点，它们应该如何设计呢?
学期: 2015年秋天,
组织者：Tsvi Benson-Tilsen和安德鲁Critch
时间:每周二下午5点至6点半
位置:加州大学伯克利分校，732 Evans Hall
本次研讨会将探讨人工智能所面临的数学问题，以及人工智能对自身和其他智能体的精确建模所带来的挑战。例如，人工代理可能遇到关于其自身行为和他人行为的数学证明，或者创建新的代理来支持或替代它们自己。代理在这种情况下应该如何表现?考虑到这一点，它们应该如何设计呢?
