Analyse et formalisation de la confiance sociale – FORTRUST

Dans les syst`emes informatiques, la confiance est un concept-cl´e garantissant, au-del`a de la fiabilit´e du
syst`eme, son utilisation (par des agents humains, mais aussi de plus en plus par des agents artificiels). Ceci
est le cas non seulement en ce qui concerne les aspects de s´ecurit´e, mais plus g´en´eralement dans toutes les
nouvelles technologies de l'information et de la communication. Les nombreux travaux tant en sociologie,
psychologie, philosophie et sciences cognitives d'un cˆot´e, qu'en informatique de l'autre, montrent que
la confiance est une notion complexe aux multiples facettes. Alors que le concept est utilis´e dans de
nombreuses applications, aucun consensus n'existe pour l'instant autour d'une d´efinition claire et unifi´ee.
Dans ce projet, nous proposons de partir de l'analyse de Castelfranchi et col. qui est certainement l'une
des th´eories les mieux ´etablies dans toutes les disciplines pr´ecit´es. D'une part, nous confronterons son
analyse aux besoins sp´ecifiques li´es `a la s´ecurit´e afin de l'adapter et/ou l'´etendre par des notions a priori
absentes (telles que la dynamique de la confiance, ou ses liens avec la notion de topique...). D'autre part,
nous la formaliserons en logique et impl´ementerons les propri´et´es ainsi d´egag´ees au sein de plateformes `a
base d'agent, sur deux niveaux : individuel et collectif.