再论关于无意识知识的推理
人工智能
2009-06-24 v1 计算机科学与博弈论
计算机科学中的逻辑
摘要
在早期工作中，我们提出了一种逻辑，该逻辑通过允许对原始命题进行量化，扩展了Fagin和Halpern [1988]的通用意识逻辑。这使得表达一个智能体知道存在一些他未意识到的事实成为可能。在该逻辑中，无法建模一个智能体对自己是否意识到所有公式存在不确定性的情况。为克服此问题，我们保留了早期论文的语法，但允许模型中的每个世界关联一个可能不同的语言。我们为该逻辑提供了一个可靠且完备的公理化，并表明，在自然假设下，该逻辑的无量词片段恰好由与Heifetz、Meier和Schipper [2008]逻辑相同的公理所刻画。
引用
@article{arxiv.0906.4321,
title = {Reasoning About Knowledge of Unawareness Revisited},
author = {Joseph Y. Halpern and Leandro Rego},
journal= {arXiv preprint arXiv:0906.4321},
year = {2009}
}
备注
In Proceedings of Twelfth Conference on Theoretical Aspects of Rationality and Knowledge, 2009, pp. 166-173