A logic for reasoning about ambiguity
Artificial Intelligence
2014-01-10 v1 Computer Science and Game Theory
Logic in Computer Science
Abstract
Standard models of multi-agent modal logic do not capture the fact that information is often \emph{ambiguous}, and may be interpreted in different ways by different agents. We propose a framework that can model this, and consider different semantics that capture different assumptions about the agents' beliefs regarding whether or not there is ambiguity. We examine the expressive power of logics of ambiguity compared to logics that cannot model ambiguity, with respect to the different semantics that we propose.
Cite
@article{arxiv.1401.2011,
title = {A logic for reasoning about ambiguity},
author = {Joseph Y. Halpern and Willemien Kets},
journal= {arXiv preprint arXiv:1401.2011},
year = {2014}
}
Comments
Some of the material in this paper appeared in preliminary form in "Ambiguous langage and differences of belief" (see arXiv:1203.0699)