后件在一阶动态认知逻辑中的作用
计算机科学中的逻辑
2022-05-03 v1
摘要
动态认知逻辑（DEL）是一种通过带前件与后件的动作模型来建模多智能体环境下信息变化的逻辑。在近期工作中，DEL被扩展至一阶认知逻辑（DFOEL），并证明只要动作模型的前件与后件为非模态且一阶域有限，所得认知规划问题是可判定的。我们的贡献凸显了后件在DFOEL中的作用。我们表明：若非模态事件后件可含一阶量词，则具可能无限一阶域的认知规划问题不可判定；反之，当事件后件无量词时，该问题可判定。后一结果非平凡，并广泛使用了自动结构。
引用
@article{arxiv.2205.00876,
title = {On the Role of Postconditions in Dynamic First-Order Epistemic Logic},
author = {Côme Neyrand and Sophie Pinchinat},
journal= {arXiv preprint arXiv:2205.00876},
year = {2022}
}