觉知逻辑：作为句法模型与语义模型中间地带的克里普克格
人工智能
2021-06-25 v1 计算机科学中的逻辑
多智能体系统
理论经济学
逻辑
摘要
关于觉知建模的文献既包括无句法框架，也包括基于句法的框架。Heifetz、Meier 与 Schipper (HMS) 提出了一种无句法的觉知格模型。尽管他们的格方法优雅且直观，但它排除了依赖形式语言诱导格这一简单选项，并且未明确区分不确定性与无觉知。相反，最著名的基于句法的方案——Fagin-Halpern (FH) 模型——考虑了这一区分并提供了简单的觉知表示，但缺乏格结构的直观性。在此，我们结合这两种方法，给出由原子子集包含所诱导的克里普克模型格，其中不确定性与无觉知是分离的。我们通过定义在这些模型间保持显式知识语言公式满足性的变换，证明我们的模型等价于 HMS 与 FH 模型，并借助我们的结果与 HMS 的结果得到完备性。最后，我们证明克里普克格模型在一般觉知逻辑的语言下（FH 模型最初即针对该语言提出）也可证明等价于 FH 模型（当觉知由命题决定时）。
引用
@article{arxiv.2106.12868,
title = {Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models},
author = {Gaia Belardinelli and Rasmus K. Rendsvig},
journal= {arXiv preprint arXiv:2106.12868},
year = {2021}
}
备注
arXiv admin note: substantial text overlap with arXiv:2012.12982