« Calcul des prédicats » : différence entre les versions

Version du 24 mars 2021 à 11:11

Mécanisme de résolution de problème dérivé du calcul des propositions, qui exploite l'utilisation de variables.

calcul des prédicats

calcul des prédicats du premier ordre

logique du premier ordre

predicate calculus

first-order predicate calculus

first-order logic

Source : Le grand dictionnaire terminologique

@@ Ligne 1 : / Ligne 1 : @@
-== en construction ==
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle‏‎]]
-[[Catégorie:Accenture]]
 == Définition ==
-du premier ordre
+Mécanisme de résolution de problème dérivé du calcul des propositions, qui exploite l'utilisation de variables.
 == Français ==
+'''calcul des prédicats'''
+'''calcul des prédicats du premier ordre'''
+'''logique du premier ordre'''
 == Anglais ==
-''' Predicate Calculus'''
+'''predicate calculus'''
+'''first-order predicate calculus'''
+'''first-order logic'''
-is a formal system of logic in which quantified variables can be used in logic statements. For example, 'all unicorns are beautiful' can be expressed in first-order, or predicate logic, as 'for all X, such that X is unicorn, X is beautiful'. Another type of quantifier could be 'Accenture is a company'. Such statements could not be expressed in prepositional (Boolean) logic.
 <small>
+[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8393924  Source : Le grand dictionnaire terminologique ]
+[https://fr.wikipedia.org/wiki/Calcul_des_pr%C3%A9dicats  Source : Wikipédia (Calcul des prédicats) ]
+[https://en.wikipedia.org/wiki/First-order_logic  Source : Wikipédia (First-order logic) ]
 [https://www.accenture.com/us-en/applied-intelligence-glossary    Source : Accenture - applied intelligence glossary ]
+[[Catégorie:Publication]]
+[[Catégorie:Intelligence artificielle‏‎]]
+[[Catégorie:Accenture]]