策略性知道如何的逻辑的表列系统
计算机科学中的逻辑
2023-07-12 v1 人工智能
摘要
目标导向的知道如何逻辑用知道如何算子扩展了标准认知逻辑。知道如何算子被解释为：存在一种策略，使得该主体知道该策略能确保 p。本文提出了策略性知道如何逻辑的多主体版本的表列过程，并证明了该表列过程的可靠性和完备性。本文还表明该逻辑的可满足性问题可在 PSPACE 中判定。
引用
@article{arxiv.2307.05066,
title = {Tableaux for the Logic of Strategically Knowing How},
author = {Yanjun Li},
journal= {arXiv preprint arXiv:2307.05066},
year = {2023}
}
备注
In Proceedings TARK 2023, arXiv:2307.04005