Programmation logique

La programmation logique abductive est un type de programmation logique qui se concentre sur le raisonnement pour trouver les meilleures explications aux observations.

La programmation par ensembles de réponses (ASP) est un paradigme de programmation déclarative pour résoudre des problèmes combinatoires complexes.

La chaîne arrière est une méthode de raisonnement en IA qui commence par l'objectif et remonte pour trouver des preuves à l'appui.

La programmation logique par contraintes (CLP) combine la programmation logique avec la résolution de contraintes pour résoudre des problèmes complexes.

La programmation par logique inductive (ILP) est une approche d'apprentissage automatique qui utilise la programmation logique pour créer des modèles à partir d'exemples.