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