Jan, 2023

ASQ-IT:基于交互式解释的强化学习智能体

TL;DR本文介绍了一个交互式工具 ASQ-IT,它基于 formal methods 和 automata theory,能够让用户通过查询描述感兴趣的行为的时间属性来观察代理在其环境中的行为,并帮助用户识别错误的代理行为。用户研究表明,使用 ASQ-IT 能够帮助用户理解和制定查询。