Recherche de Preuve
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
La recherche de preuve est l'exploration systématique de l'espace des dérivations possibles afin de localiser une preuve valide d'une assertion spécifiée, en utilisant algorithmes, stratégies et limites de ressources.