DeepAI AI Chat
Log In Sign Up

A logic for reasoning about ambiguity

by   Joseph Y. Halpern, et al.
cornell university
Northwestern University

Standard models of multi-agent modal logic do not capture the fact that information is often 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.


page 1

page 2

page 3

page 4


Ambiguous Language and Differences in Beliefs

Standard models of multi-agent modal logic do not capture the fact that ...

Modeling Ambiguity in a Multi-Agent System

This paper investigates the formal pragmatics of ambiguous expressions b...

Modeling Communication to Coordinate Perspectives in Cooperation

Communication is highly overloaded. Despite this, even young children ar...

Relative Expressiveness of Defeasible Logics

We address the relative expressiveness of defeasible logics in the frame...

Gaps, Ambiguity, and Establishing Complexity-Class Containments via Iterative Constant-Setting

Cai and Hemachandra used iterative constant-setting to prove that Few ⊆ ...

Neighbourhood semantics and axioms for strategic fragment of classical stit logic

STIT (sees to it that) semantics is one of the most prominent tools in m...