AI Chat AI Image Generator AI Video Text to Speech

Dynamic Awareness

07/06/2020

∙

by Joseph Y. Halpern, et al.

∙

∙

We investigate how to model the beliefs of an agent who becomes more aware. We use the framework of Halpern and Rego (2013) by adding probability, and define a notion of a model transition that describes constraints on how, if an agent becomes aware of a new formula ϕ in state s of a model M, she transitions to state s^* in a model M^*. We then discuss how such a model can be applied to information disclosure.

Joseph Y. Halpern
86 publications
Evan Piermont
6 publications

page 1

page 2

page 3

page 4

research

∙ 11/06/2015

An Action Language for Multi-Agent Domains: Foundations

In multi-agent domains (MADs), an agent's action may not just change the...

0 Chitta Baral, et al. ∙

research

∙ 08/10/2011

The Ditmarsch Tale of Wonders - The Dynamics of Lying

We propose a dynamic logic of lying, wherein a 'lie that phi' (where phi...

0 Hans van Ditmarsch, et al. ∙

research

∙ 04/21/2021

A Unifying Bayesian Formulation of Measures of Interpretability in Human-AI

Existing approaches for generating human-aware agent behaviors have cons...

0 Sarath Sreedharan, et al. ∙

research

∙ 09/17/2023

Logic of Awareness in Agent's Reasoning

The aim of this study is to formally express awareness for modeling prac...

0 Yudai Kubono, et al. ∙

research

∙ 09/06/2022

Risk Aware Belief-dependent Constrained POMDP Planning

Risk awareness is fundamental to an online operating agent. However, it ...

0 Andrey Zhitnikov, et al. ∙

research

∙ 11/14/2018

Partial Awareness

We develop a modal logic to capture partial awareness. The logic has thr...

0 Joseph Y. Halpern, et al. ∙

research

∙ 07/06/2023

Markov Persuasion Processes with Endogenous Agent Beliefs

We consider a dynamic Bayesian persuasion setting where a single long-li...

0 Krishnamurthy Iyer, et al. ∙