An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic

Stefan Haar 1, 2 Salim Perchy 3 Camilo Rueda 4, 5 Frank Valencia 5, 3, 4, 6
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
3 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : We enrich spatial constraint systems with operators to specify information and processes moving from a space to another. We shall refer to these news structures as spatial constraint systems with extrusion. We shall investigate the properties of this new family of constraint systems and illustrate their applications. From a computational point of view the new operators provide for pro-cess/information extrusion, a central concept in formalisms for mobile communication. From an epistemic point of view extrusion corresponds to a notion we shall call utterance; a piece of information that an agent communicates to others but that may be inconsistent with the agent's beliefs. Utterances can then be used to express instances of epistemic notions, which are common place in social media, such as hoaxes or intentional lies. Spatial constraint systems with extrusion can be seen as complete Heyting algebras equipped with maps to account for spatial and epistemic specifications
Type de document :
Communication dans un congrès
Elvira Albert ; Moreno Falaschi. 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Jul 2015, Siena, Italy. ACM SIGPLAN, pp.161-172, 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015). 〈10.1145/2790449.2790520〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01256984
Contributeur : Frank D. Valencia <>
Soumis le : mercredi 20 janvier 2016 - 14:21:14
Dernière modification le : samedi 18 février 2017 - 01:13:41
Document(s) archivé(s) le : jeudi 21 avril 2016 - 11:17:12

Fichier

mccp-ppdp-author-copy.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Stefan Haar, Salim Perchy, Camilo Rueda, Frank Valencia. An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic. Elvira Albert ; Moreno Falaschi. 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Jul 2015, Siena, Italy. ACM SIGPLAN, pp.161-172, 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015). 〈10.1145/2790449.2790520〉. 〈hal-01256984〉

Partager

Métriques

Consultations de
la notice

492

Téléchargements du document

127