résolution
- Domaines
-
- philosophiethéorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Mécanisme logique pour enchaîner des règles. Si A est vrai et si on sait que A entraîne B alors B est vrai. Techniquement procédure par laquelle on déduit une nouvelle clause en résolvant deux clauses.
Note :
La résolution est une procédure de démonstration efficace pour les clauses de Horn, d'où son importance en intelligence artificielle.
Terme privilégié :
- résolution n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Note :
This process continues until either the null clause (i.e. everything) is deduced (in which case the set of clauses is proved consistent), or no more clauses can be resolved (in which case the set of clauses may have been proved not to be consistent). The resolution method can be guaranteed to produce the correct solution for any set of "Horn clauses", but not for all clauses in formal logic. Resolution-based theorem proving forms the theoretical basis of PROLOG interpreters.
Terme :
- resolution