Accès direct au contenu

Recherche avancée

Université Toulouse 1 Capitole Droit Économie Gestion


Recherche

"How to rapidly share knowledge by gossiping", Faustine Maffre, colloque de l'IRIT

Vous êtes iciAccueil » Université » Composantes » Faculté d’Informatique » Séminaires IRIT UT1

le 12 décembre 2016
12h30
Manufacture des Tabacs - ME302

Faustine Maffre, postdoc à UT1 dans l'équipe LILAC, nous parlera de ses travaux intitulés "How to rapidly share knowledge by gossiping". L'exposé sera en anglais.

faustin.jpeg

faustin.jpeg

Abstract: In epistemic logic, the modal logic of knowledge, knowledge is usually modelled by a graph of possible worlds, representing the alternatives to the current state of the world. Edges between worlds stand for indistinguishability; to know a proposition means that this proposition is true in all possible alternatives. Theoretical computer scientists however noticed that this led to several issues, both intuitively and technically: the more an agent is ignorant, the more alternatives she must consider; models may then become too big for system verification. They recently investigated how knowledge could be reduced to the notion of visibility. Intuitively, the idea is that when an agent sees something, then she knows its truth value. The other way round, any combination of truth values of the non-observable variables is possible for the agent. Such observability information allows us to reconstruct the standard semantics of knowledge: two worlds are indistinguishable for an agent if and only if every variable observed by her has the same value in both worlds. In this talk, we present a recent logic of knowledge based on visibility and illustrate it with the gossip problem, a problem of communication in a network of agents.

3-COMPOSANTES

Mise à jour le 1 décembre 2016


Contact de l'Université : 05 61 63 35 00

L'Université Toulouse Capitole (UT Capitole) est un pôle d'excellence international d'enseignement et de recherche en droit, économie et gestion. Elle est fière de compter le Prix Nobel d’économie 2014, Jean Tirole, parmi ses enseignants-chercheurs. En 2012, la Commission européenne lui a attribué le label Centre d’excellence Jean-Monnet.

Trois campus en France, toujours en centre ville, à Toulouse, Montauban et Rodez.
Trois implantations à l’étranger :
Vietnam, Maroc et Vanuatu

Un réseau de 200 universités partenaires dans le monde.