langage des prédicats du premier ordre
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Langage formel qui permet d'exprimer des connaissances complexes ainsi que des méthodes de combinaison de ces connaissances permettant d'engendrer de nouvelles connaissances.
Note :
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.
Termes privilégiés :
- langage des prédicats du premier ordre n. m.
- LPPO n. m.
- langage du premier ordre n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- first-order predicate language
- first-order language
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- llenguatge de primer ordre n. m.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- lenguaje de primer orden 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 :
- linguagem de primeira ordem s. f.