Belief, knowledge, lies and other utterances in an algebra for space and extrusion

Michell Guzman, Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia

Producción: Contribución a una revistaArtículorevisión exhaustiva

12 Citas (Scopus)


The notion of constraint system (cs) is central to declarative formalisms from concurrency theory such as process calculi for concurrent constraint programming (ccp). Constraint systems are often represented as lattices: their elements, called constraints, represent partial information and their order corresponds to entailment. Recently a notion of n-agent spatial cs was introduced to represent information in concurrent constraint programs for spatially distributed multi-agent systems. From a computational point of view a spatial constraint system can be used to specify partial information holding in a given agent's space (local information). From an epistemic point of view a spatial cs can be used to specify information that a given agent considers true (beliefs). Spatial constraint systems, however, do not provide a mechanism for specifying the mobility of information/processes from one space to another. Information mobility is a fundamental aspect of concurrent systems. In this article we develop the theory of spatial constraint systems with operators to specify information and processes moving from a space to another. 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 such as hoaxes or intentional lies. Spatial constraint system can express the epistemic notion of belief by means of space functions that specify local information. We shall show that spatial constraint can also express the epistemic notion of knowledge by means of a derived spatial operator that specifies global information.

Idioma originalInglés
Páginas (desde-hasta)107-133
Número de páginas27
PublicaciónJournal of Logical and Algebraic Methods in Programming
EstadoPublicada - 01 ene. 2017


Profundice en los temas de investigación de 'Belief, knowledge, lies and other utterances in an algebra for space and extrusion'. En conjunto forman una huella única.

Citar esto