Outils d'IA pour Modélisation Logique