École Nationale Supérieure de
Techniques Avancées

Résumé

Le Système MCP est un ensemble de logiciels ayant pour but de trouver des formules booléennes sur des bases de données d'apprentissage, pour ensuite prédire des propriétés sur d'autres données, reliant ainsi l'apprentissage automatique et l'explicabilité de la logique booléenne. La version initiale fonctionne uniquement avec des valeurs booléennes, ce qui entraine une binarisation des données brutes, et une explosion exponentielle de leur taille. L'objectif fixé est donc de convertir le système afin d'analyser des valeurs sur un domaine fini, ordonné, plus grand que le domaine booléen. Pour cela, il faut réécrire et adapter une grande partie du code source initial, dans le langage de programmation C++.