Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Thèse Année : 2016

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

Opinions, Mensonges et Connaissance. Une Approche Algébrique à la Mobilité de l’Information et des Processus

Résumé

Constraint systems (cs) are declarative formalisms from concurrency theory such as process calculi (e.g. ccp). Cs are often represented as lattices: their elements, called constraints, represent partial information and their order correspond to entailment. Recently a notion of n-agent spatial cs was introduced to represent information in spatially distributed multi-agent systems. A spatial cs can be used to specify partial information holding in a given agent’s space (local information), or from an epistemic point of view, a piece of information the agent considers true (beliefs). Spatial cs however do not provide mechanisms for specifying the space mobility of information/processes. In this thesis, we develop the theory of spatial cs with operators to specify information and processes moving between spaces. We investigate the properties of this new family of cs and illustrate their applications. The new operators provide for process/information extrusion, and from an epis- temic point of view, said extrusion corresponds to what we shall called utterance; information that an agent communicates to others but that may be inconsistent with the agent’s beliefs. Utterances can express epistemic notions such as hoaxes, opinions and lies. On the whole, cs can express the epistemic notions of belief/utterance and knowledge by means of, respectively, a space/extrusion function pair and a derived spatial operator that specifies global information. We shall also see that, by using a specific construction of our constraint systems, we can encode the notion of time as an arbitrary nesting of spaces representing a sequence of instances.
Résumé : Système de contraintes (cs – selon l’acronyme anglais) sont formalismes déclaratifs de la théorie de la concurrence tels que les algèbres de processus (p. ex. ccp). Les cs sont souvent représentés par des treillis : ses éléments, appelées contraintes, représentent des informations partiales tandis que l’ordre du treillis correspond à des implications. Récemment, une notion appelée “système de contraintes spatiales à n-agents” a été développée pour représenter l’information dans les systèmes multi-agents et spatialement distribués. Un cs spatial peut être utilisé pour spécifier l’information partiale contenue dans l’espace d’un certain agent (information locale), ou d’un point de vue épistémique, l’information qui est considérée vrai pour un certain agent (croyance). Les cs spatiales, néanmoins, ne fournissent pas de mécanismes pour la spécification de la mobilité de l’information ou des processus. Dans cette thèse nous avons développé la théorie des systèmes de contraintes spatiales avec des opérateurs pour spécifier le déplacement des informations et processus entre les espaces. Nous étudions les propriétés de cette nouvelle famille de cs et nous illustrons ses applications. Ces nouveaux opérateurs nous apportent de l’extrusion d’informations/processus, et du point de vue épistémique, l’extrusion correspond à ce que nous appelons énonciation ; une information qu’un agent souhaite communiquer à d’autres mais qui peut être inconsis- tante avec ses croyances. Des énonciations peuvent donc être utilisées pour exprimer des notions épistémiques tels que les canulars ou les mensonges. Globalement, les cs peuvent exprimer la croyance/énonciation et la connaissance en utilisant respectivement une paire de fonctions espace/extrusion, et un opérateur spatial dérivé qui représente l’information globale. Par ailleurs, nous montrons qu’en utilisant un type précis de nos cs nous pouvons aussi représenter la notion du temps comme une séquence d’instances.
Fichier principal
Vignette du fichier
mccp-thesis.pdf (1.02 Mo) Télécharger le fichier

Dates et versions

tel-01413970 , version 1 (12-12-2016)
tel-01413970 , version 2 (09-03-2017)

Identifiants

  • HAL Id : tel-01413970 , version 1

Citer

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-01413970v1⟩
639 Consultations
236 Téléchargements

Partager

Gmail Facebook X LinkedIn More