logique des prédicats
- Domaines
-
- philosophiethéorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Logique fondée sur la logique des propositions à laquelle sont ajoutés des ensembles de variables d'individus et de prédicats portant sur les individus.
Note :
La logique des prédicats permet non seulement d'exprimer des propositions vraies ou fausses, mais aussi de particulariser ou de généraliser des objets (par les quantificateurs universel et existentiel). Son intérêt par rapport à la logique des propositions est l'introduction des variables.
Termes privilégiés :
- logique des prédicats n. f.
- logique prédicative n. f.
-
En français comme en anglais, les concepts de « logique des prédicats » (predicate logic), de « calcul des prédicats » (predicate calculus), de « logique du premier ordre » (first-order logic) 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.
La logique des prédicats est parfois appelée logique du premier ordre, par opposition aux logiques de second ordre et d'ordre supérieur qui permettent de représenter la théorie des ensembles.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- predicate logic
- quantification theory
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- lògica de predicats n. f.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- lógica de predicados 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 :
- lógica de predicados s. f.