A logic for reasoning about ambiguity
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2014
- DOI:
- 10.48550/arXiv.1401.2011
- arXiv:
- arXiv:1401.2011
- Bibcode:
- 2014arXiv1401.2011H
- Keywords:
-
- Computer Science - Artificial Intelligence;
- Computer Science - Computer Science and Game Theory;
- Computer Science - Logic in Computer Science
- E-Print:
- Some of the material in this paper appeared in preliminary form in "Ambiguous langage and differences of belief" (see arXiv:1203.0699)