forme clausale
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Forme du langage de calcul des propositions utilisant les opérateurs de négation, de conjonction et de disjonction.
Note :
Mettre une formule en forme clausale revient à la mettre en forme conjonctive normale.
Terme privilégié :
- forme clausale n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Note :
Any expression of "propositional calculus" is equivalent to some expression in "conjunctive normal form", which only involves : "negation", "conjunction" and "disjunction". Clausal form for propositional calculus has the same structure as conjunctive normal form, though it is sometimes expressed as a "set" of "clauses". Clausal form for "predicate calculus" is similar but also involves the elimination of the "existential quantifier" by the process of "Skolemization".
Terme :
- clausal form