An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic

Stefan Haar, Salim Perchy, Camilo Rueda, Frank Valencia

Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

12 Citas (Scopus)

Resumen

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 process/ 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.

Idioma originalInglés
Título de la publicación alojadaProceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015
EditorialAssociation for Computing Machinery, Inc
Páginas161-172
Número de páginas12
ISBN (versión digital)9781450335164
DOI
EstadoPublicada - 14 jul. 2015
Evento17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015 - Siena, Italia
Duración: 14 jul. 201516 jul. 2015

Serie de la publicación

NombreProceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015

Conferencia

Conferencia17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015
País/TerritorioItalia
CiudadSiena
Período14/07/1516/07/15

Huella

Profundice en los temas de investigación de 'An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic'. En conjunto forman una huella única.

Citar esto