Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 22 Janvier 2019

Studying the complexity of SAT in a normal multi-modal logic for trust in the sincerity

par Christopher Leturc (GREYC, Caen)

In the field of multi-agent systems, as some agents may be not reliable or honest, a particular attention is paid to the notion of trust. In this context, we defined a new normal multi-modal logic to reason about an agent’s trust in the sincerity towards a statement formulated by another agent. After briefly introducing this modal logic, we will study the SAT complexity in this logical system. To this end, we will propose a general methodology which relies on an extension of satisfiable Hintikka sets in order to build a model which satisfies a given formula.

Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30