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

@@ 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]]

Version du 24 mars 2021 à 12:11