epistemic strategy logic | BriefGPT

关键词epistemic strategy logic

搜索结果 - 1

论知识和策略的推理：认识策略逻辑
本文介绍了 Epistemic Strategy Logic（ESL) 这一扩展了策略逻辑的框架，它具有个体知识的模态演算符，这使得我们能够更明确地表示和推理代理人对自己和其他代理人策略的知识。我们提供了关于 ESL 的语义，考虑了相应的模
PDF10 years ago