Le raisonnement qualitatif (QSTR) et leur encodage en SAT

Le jeudi 16 avril à 14h00 en salle 201, Julien Hué (Post-doctorant au Centre de Recherche en Informatique de Lens) fera un séminaire de laboratoire.

Une des méthodes privilégiée pour la résolution de problèmes en raisonnement qualitatif est la traduction en SAT pour déléguer la résolution à un solveur. Il présentera un panel des encodages populaires pour les calculi RCC8 et Algèbre des Intervalles de Allen. Il pointera notamment les différences en terme de pouvoir de propagation de ces
différents encodages. Il terminera par un encodage inédit pour RCC8 qui présente de meilleures propriétés de propagation que les encodages de l'état de l'art.

Thème: