on January 23, 2020 from 2:00 pm to 3:30 pm
La compilation des connaissances (CC) est un domaine de recherche qui vise à prétraiter l’information afin d’améliorer le temps nécessaire à la résolution de tâches informatiques très exigentes (problèmes NP et Beyon NP). Lancée il y a plus de vingt ans, la compilation des connaissances est aujourd’hui un domaine très actif, qui se situe à l’intersection de plusieurs domaines de l’intelligence artificielle et de l’informatique. Il s’agit notamment de la représentation des connaissances, du raisonnement traçable, des algorithmes, de la théorie de la complexité et des bases de données. Par conséquent, la connaissance des causes constitue désormais un point de rencontre pour plusieurs domaines de recherches actifs, tout en offrant un grand potentiel pour de nouvelles synergies et avancées.
Dans cet exposé, après une introduction à la compilation des connaissances, je me concentrerai sur le langage des représentations Decision-DNNF qui est souvent utilisé comme langage cible pour la compilation de formules propositionnelles. J’expliquerai pourquoi ce langage est intéressant et présenterai quelques algorithmes de compilation pour générer des représentations Decisoin-DNNF.
Amphi Inria – Bâtiment B – Rue Héloïse à Villeneuve d’Ascq – Haute Borne.
français
English