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.