logique du premier ordre
- Domaines
-
- philosophie théorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Logique classique basée sur le calcul des attributs et le calcul propositionnel, et qui utilise le raisonnement déductif pour la représentation de la connaissance.
Note :
Dans la logique du premier ordre, les théorèmes contiennent des variables. Comme ces derniers sont des paramètres quantifiés universellement, ils peuvent donc être remplacés par n'importe quelle expression bien formée du langage.
Termes privilégiés :
- logique du premier ordre n. f.
- LPO n. f.
- logique des prédicats du premier ordre n. f.
-
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,Termes :
- first-order logic
- first-order predicate logic
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- lògica clàssica de primer ordre n. f.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Termes :
- lógica clásica de primer orden s. f.
- lógica de primer orden s. f. Mexique
-
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 :
- lógica clássica de primeira ordem s. f.