calcul des prédicats
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Mécanisme de résolution de problème dérivé du calcul des propositions, qui exploite l'utilisation de variables.
Notes :
Tout ce qui est valable pour le calcul des propositions l'est aussi pour le calcul des prédicats; le calcul des prédicats inclut le calcul des propositions et tient compte en plus des concepts de « prédicat », de « quantificateur universel » et de « quantificateur existentiel ».
Un prédicat est composé d'arguments, eux-mêmes constitués de constantes et de variables. Suivant les arguments qui lui sont associés, le prédicat retournera une valeur vraie ou fausse.
De nombreux auteurs, autant en anglais qu'en français, considèrent que les termes calcul des prédicats et logique des prédicats sont équivalents. Cependant, alors que les prédicats forment le vocabulaire de la logique des prédicats, le calcul des prédicats fournit un cadre formel pour assembler ce vocabulaire en phrases syntaxiquement correctes.
Terme privilégié :
- calcul des prédicats n. m.
-
En intelligence artificielle, les concepts de « logique du premier ordre » (first-order logic), de « logique des prédicats » (predicate logic), de « calcul des prédicats » (predicate calculus) et de « langage des prédicats du premier ordre » (first-order predicate language) tendent à se confondre, et les termes qui les désignent sont très souvent utilisés les uns pour les autres.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- predicate calculus
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- càlcul de predicats n. m.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- cálculo de predicados s. m.
-
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa,
Universidade de São Paulo,Note :
Subárea da inteligência artificial: representação do conhecimento por meio de Lógica.
Terme :
- cálculo de predicados s. m.