BriefGPT.xyz
Ask
alpha
关键词
agent expectations
搜索结果 - 1
IJCAI
验证智能代理的期望和观察
本文主要研究了一种称为公共观察逻辑的动态认知逻辑的计算复杂性,并探讨了该模型检查算法的实现,以及其在验证不同特征和交互系统方面的适用性。
PDF
2 years ago
Prev
Next