Raising awareness without disclosing truth

Van den Berg, Line; Atencia, Manuel; Euzenat, Jérôme (2022). Raising awareness without disclosing truth. Annals of mathematics and artificial intelligence, 91(4), pp. 431-464. Springer 10.1007/s10472-022-09809-y

Text s10472-022-09809-y.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (1MB)

Agents use their own vocabularies to reason and talk about the world. Public signature awareness is satisfied if agents are aware of the vocabularies, or signatures, used by all agents they may, eventually, interact with. Multi-agent modal logics and in particular Dynamic Epistemic Logic rely on public signature awareness for modeling information flow in multi-agent systems. However, this assumption is not desirable for dynamic and open multi-agent systems because (1) it prevents agents to use unique signatures other agents are unaware of, (2) it prevents agents to openly extend their signatures when encountering new information, and (3) it requires that all future knowledge and beliefs of agents are bounded by the current state. We propose a new semantics for awareness that enables us to drop public signature awareness. This semantics is based on partial valuation functions and weakly reflexive relations. Dynamics for raising public and private awareness are then defined in such a way as to differentiate between becoming aware of a proposition and learning its truth value. With this, we show that knowledge and beliefs are not affected through the raising operations.

Interest & Impact

Downloads

1 since deposited on 15 Mar 2023
0 in the past 12 months

Citations

5 Citations in Web of Science ®
6 Citations in Scopus

Search

in Google Scholar™

Services

Actions (login required)

Edit item

Actions (login required)

Edit item