Partial Awareness

11/14/2018
by   Joseph Y. Halpern, et al.
0

We develop a modal logic to capture partial awareness. The logic has three building blocks: objects, properties, and concepts. Properties are unary predicates on objects; concepts are Boolean combinations of properties. We take an agent to be partially aware of a concept if she is aware of the concept without being aware of the properties that define it. The logic allows for quantification over objects and properties, so that the agent can reason about her own unawareness. We then apply the logic to contracts, which we view as syntactic objects that dictate outcomes based on the truth of formulas. We show that when agents are unaware of some relevant properties, referencing concepts that agents are only partially aware of can improve welfare.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/23/2009

Reasoning About Knowledge of Unawareness Revisited

In earlier work, we proposed a logic that extends the Logic of General A...
research
01/12/2017

From First-Order Logic to Assertional Logic

First-Order Logic (FOL) is widely regarded as one of the most important ...
research
04/21/2021

Searching with Opponent-Awareness

We propose Searching with Opponent-Awareness (SOA), an approach to lever...
research
09/17/2023

Logic of Awareness in Agent's Reasoning

The aim of this study is to formally express awareness for modeling prac...
research
07/06/2020

Dynamic Awareness

We investigate how to model the beliefs of an agent who becomes more awa...
research
07/11/2023

An Abstract Look at Awareness Models and Their Dynamics

This work builds upon a well-established research tradition on modal log...
research
06/27/2016

True Lies

A true lie is a lie that becomes true when announced. In a logic of anno...

Please sign up or login with your details

Forgot password? Click here to reset