PDTAI：可证明，决策理论和人工智能
学期：2015年秋季
组织者：Tsvi Benson-tilsen和安德鲁克克里奇
时间：星期二，下午5:00 - 下午6:30
地点：UC Berkeley，732埃文斯大厅
该研讨会将探讨人工代理面临的数学问题，具有精确和准确的本身模型和其他代理的能力，以及它们为这些药剂的安全可靠设计构成的挑战。例如，人工代理可能会遇到关于自己行为的数学证明和他人的行为，或者创建新的代理商来支持或更换自己。代理人应该如何表现在这种情况下？还有这个，他们应该如何设计？
学期：2015年秋季
组织者：Tsvi Benson-tilsen和安德鲁克克里奇
时间：星期二，下午5:00 - 下午6:30
地点：UC Berkeley，732埃文斯大厅
该研讨会将探讨人工代理面临的数学问题，具有精确和准确的本身模型和其他代理的能力，以及它们为这些药剂的安全可靠设计构成的挑战。例如，人工代理可能会遇到关于自己行为的数学证明和他人的行为，或者创建新的代理商来支持或更换自己。代理人应该如何表现在这种情况下？还有这个，他们应该如何设计？
