Skip to Main content Skip to Navigation

Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes

Abstract : 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 thesis we develop the theory of spatial constraint systems with operators to specify information and processes moving between spaces. We investigate the properties of this new family of cs 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 what we shall call utterance; information that an agent communicates to others but that may be inconsistent with the agent’s beliefs. Utterances can be used to express instances of epistemic notions such as hoaxes or intentional lies which are common place in social media.On the whole, constraint systems can express the epistemic notions of belief /utterance and knowledge by means of, respectively, a space/extrusion function pair that specifies local information and a derived spatial operator that specifies global information. We shall also show that, by using a specific kind of our constraint systems, we can also encode the notion of time as a sequence of instances.
Complete list of metadata
Contributor : Abes Star :  Contact
Submitted on : Thursday, March 9, 2017 - 11:15:07 PM
Last modification on : Sunday, February 2, 2020 - 1:14:00 PM


Version validated by the jury (STAR)


  • HAL Id : tel-01413970, version 2



Yamil Salim Perchy. Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes. Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2016. English. ⟨NNT : 2016SACLX059⟩. ⟨tel-01413970v2⟩



Record views


Files downloads