DeepAI AI Chat
Log In Sign Up

A logic for reasoning about ambiguity

01/09/2014
by   Joseph Y. Halpern, et al.
cornell university
Northwestern University
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

03/04/2012

Ambiguous Language and Differences in Beliefs

Standard models of multi-agent modal logic do not capture the fact that ...
09/19/2000

Modeling Ambiguity in a Multi-Agent System

This paper investigates the formal pragmatics of ambiguous expressions b...
06/03/2021

Modeling Communication to Coordinate Perspectives in Cooperation

Communication is highly overloaded. Despite this, even young children ar...
10/05/2012

Relative Expressiveness of Defeasible Logics

We address the relative expressiveness of defeasible logics in the frame...
09/29/2021

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

Cai and Hemachandra used iterative constant-setting to prove that Few ⊆ ...
03/17/2022

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...