Raising awareness without disclosing truth - MOEX - Évolution de la connaissance Accéder directement au contenu
Article Dans Une Revue Annals of Mathematics and Artificial Intelligence Année : 2023

Raising awareness without disclosing truth

Résumé

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.
Fichier principal
Vignette du fichier
vandenberg2022a.pdf (428.55 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04351134 , version 1 (18-12-2023)

Licence

Identifiants

Citer

Line van den Berg, Manuel Atencia, Jérôme Euzenat. Raising awareness without disclosing truth. Annals of Mathematics and Artificial Intelligence, 2023, 91 (4), pp.431-464. ⟨10.1007/s10472-022-09809-y⟩. ⟨hal-04351134⟩
50 Consultations
33 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More