forme normale prénexe
- Domaines
-
- philosophie théorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Caractéristique d'une formule bien formée constituée d'une chaîne de quantificateurs non négatifs appelée préfixe suivie d'une formule sans quantificateur appelée matrice.
Notes :
Il est souvent plus agréable de ne pas avoir les quantificateurs à l'intérieur de l'énoncé, mais de les regrouper en tête.
Les formes prénexes sont utiles dans l'étude du problème de la décision.
Termes privilégiés :
- forme normale prénexe n. f.
- forme prénexe n. f.
-
Prénexe du latin pre-nectere, « lier devant ».
Traductions
-
anglais
Auteur : Office québécois de la langue française,Note :
A formula in predicate calculus is in prenex normal form if all quantifiers occur unnegated at the beginning of the formula with their "scopes" covering the whole formula.
Termes :
- prenex normal form
- prenex form