Fiches

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

Contenu

Titre

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

Date de soumission

14 mars 2017, 08:21:34 +00:00

Créateur

Yamil Salim Perchy

Est référencé par

8EZB86P7

Résumé

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.

Type

phdthesis

Date

2016/10/04

Langue

en

uri

https://hal.inria.fr/tel-01413970/document

Source

hal.inria.fr

is compiled by

Lucky Semiosis

Complexité

124

Date de modification

8 septembre 2023, 06:53:06 +00:00

Détails de la complexité

Physique,1,,,,,12,12

Physique,2,,,,,9,18

Actant,2,,,,,2,4

Concept,1,,,,,11,11

Concept,2,,,,,9,18

Rapport,1,1,Physique,Concept,properties,11,11

Rapport,1,1,Physique,Physique,values,11,11

Rapport,1,1,Physique,Actant,dcterms:creator,1,1

Rapport,2,2,Actant,Concept,properties,9,18

Rapport,2,2,Actant,Physique,values,9,18

Rapport,1,1,Physique,Actant,cito:isCompiledBy,1,1

Rapport,1,1,Physique,Physique,uri,1,1

Totaux de la complexité

Physique,2,1,2,21,30

Actant,1,2,2,2,4

Concept,2,1,2,20,29

Rapport,7,1,2,43,61

Existence,12,1,2,86,124

Collections

Zotero