关于智能体期望与观察的验证
计算机科学中的逻辑
2022-05-13 v2 人工智能
计算复杂性
摘要
公共观察逻辑（POL）是动态认知逻辑的一种变体，用于推理智能体期望与智能体观察。智能体对当前情境具有某些由相关协议触发的期望，并剔除其期望与观察不符的可能世界。在本工作中，我们研究了POL模型检测问题的计算复杂性，并证明其PSPACE完全性。我们还研究了POL的多种语法片段。我们举例说明了POL模型检测在验证交互系统不同特征方面的适用性，这些特征涉及系统不同的期望与（匹配的）观察。最后，我们讨论了模型检测算法的实现。
引用
@article{arxiv.2205.00784,
title = {On verifying expectations and observations of intelligent agents},
author = {Sourav Chakraborty and Avijeet Ghosh and Sujata Ghosh and François Schwarzentruber},
journal= {arXiv preprint arXiv:2205.00784},
year = {2022}
}
备注
Accepted in IJCAI-ECAI 2022