forme clausale

Domaine: intelligence artificielle
Auteur: Office québécois de la langue française
Dernière mise à jour: 1994

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, 1994
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 :
1. clausal form