AI 용어집
인공지능 완전 사전
Programmation Logique
Paradigme de programmation déclaratif basé sur la logique mathématique où les programmes sont constitués d'ensembles de formules logiques et de règles d'inférence.
Prolog
Langage de programmation logique le plus répandu, implémentant le principe de résolution SLD avec unification et backtracking automatique.
Backtracking
Mécanisme de recherche systématique explorant toutes les solutions possibles en revenant en arrière lorsqu'une branche de l'arbre de recherche échoue.
Base de faits
Ensemble de propositions atomiques considérées comme vraies dans un système de programmation logique, servant de point de départ aux déductions.
Base de règles
Collection de clauses de Horn définissant les relations logiques et les implications permettant d'inférer de nouveaux faits à partir des faits existants.
SLD-Résolution
Stratégie de résolution linéaire sélective pour clauses définies, utilisée comme mécanisme d'exécution principal en Prolog.
Substitution
Application remplaçant systématiquement des variables par des termes dans une expression logique, essentielle pour l'unification et la résolution.
Terme
Unité syntaxique fondamentale en programmation logique pouvant être une constante, une variable ou un terme composé avec un foncteur et des arguments.
Atome logique
Formule atomique de la forme prédicat(arguments) représentant une proposition élémentaire qui peut être vraie ou fausse.
Prédicat
Symbole de relation associé à une arité fixe définissant une propriété ou une relation entre des termes dans les clauses logiques.
Arbre de dérivation
Structure arborescente représentant séquentiellement les étapes de résolution et d'unification menant d'un but à sa solution.
Cut
Opérateur spécial (!) en Prolog limitant le backtracking en éliminant les points de choix alternatives déjà explorés.
Négation par l'échec
Règle d'inférence considérant un but comme faux lorsque toutes les tentatives de le prouver échouent, notée \+ en Prolog.
Méta-interpréteur
Programme Prolog capable d'exécuter d'autres programmes Prolog en implémentant explicitement les mécanismes de résolution.
Programmation logique contrainte
Extension de la programmation logique intégrant des solveurs de contraintes pour des domaines spécifiques comme les nombres réels ou les domaines finis.
Datalog
Sous-ensemble de Prolog sans termes composés ni fonctionnalités procédurales, optimisé pour les requêtes sur bases de données déductives.