règle saine
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Règle dont l'application à un théorème permet d'obtenir systématiquement des conséquences logiques de l'ensemble des axiomes quel que soit cet ensemble.
Termes privilégiés :
- règle saine n. f.
- règle solide n. f.
- règle d'inférence saine n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- sound rule