représentation logique du premier ordre
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Représentation découlant de l'utilisation de la logique du premier ordre et qui rend les informations structurées d'une façon naturelle.
Note :
Une représentation logique du premier ordre intègre les notions de vérité et d'inférence, et se caractérise par une syntaxe bien formée et une sémantique claire.
Terme privilégié :
- représentation logique du premier ordre n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- first-order logical representation
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- representació en lògica de primer ordre n. f.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- representación lógica de primer orden s. f.
-
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 :
- representação lógica de primeira ordem s. f.