交互式未知性重访
人工智能
2009-09-29 v1 计算机科学中的逻辑
摘要
我们分析了Heifetz、Meier 和 Schipper (HMS) 引入的交互式未知性模型。我们考虑两种它们模型的公理化，这些公理化捕获不同的有效性概念。这些公理化允许我们将HMS方法与标准的( S5)认知逻辑以及两种其他处理未知性的方法进行比较：Fagin 和 Halpern 的方法以及 Modica 和 Rustichini 的方法。我们表明，HMS方法与其他方法之间的差异主要归因于所采用的有效性概念以及HMS基于三值命题逻辑这一事实。
引用
@article{arxiv.cs/0509058,
title = {Interactive Unawareness Revisited},
author = {Joseph Y. Halpern and Leandro C. Rego},
journal= {arXiv preprint arXiv:cs/0509058},
year = {2009}
}
备注
26 pages