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


(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle‏‎ Catégorie:Accenture == Définition == ... == Français == ... ==... »)
Balise : Éditeur de wikicode 2017
 
m (Remplacement de texte : « ↵↵↵==Sources== » par «  ==Sources== »)
 
(8 versions intermédiaires par 2 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
== Définition ==
Mécanisme de résolution de problème dérivé du calcul des propositions, qui exploite l'utilisation de variables.


== en construction ==
Terme lié : '''[[Logique du premier ordre]]'''
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence artificielle‏‎]]
[[Catégorie:Accenture]]


== Définition ==
== Français ==
...
'''calcul des prédicats'''
 
'''calcul des prédicats du premier ordre'''


== Français ==
'''logique du premier ordre'''
...
    
    
== Anglais ==
== Anglais ==
''' Predicate Calculus'''
'''predicate calculus'''


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.
'''first-order predicate calculus'''


'''first-order logic'''


<small>
==Sources==
 
[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 ]
[https://www.accenture.com/us-en/applied-intelligence-glossary    Source : Accenture - applied intelligence glossary ]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]

Dernière version du 29 janvier 2024 à 10:00

Définition

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

Terme lié : Logique du premier ordre

Français

calcul des prédicats

calcul des prédicats du premier ordre

logique du premier ordre

Anglais

predicate calculus

first-order predicate calculus

first-order logic

Sources

Source : Le grand dictionnaire terminologique

Source : Wikipédia (Calcul des prédicats)

Source : Wikipédia (First-order logic)

Source : Accenture - applied intelligence glossary

Récupérée de « https://datafranca.org/wiki/index.php?title=Calcul_des_prédicats&oldid=93483 »


Contributeurs: Isaline Hodecent, wiki