TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
INTERPRETATION PROPOSITIONNELLE [3 fiches]
Fiche 1 - données d’organisme interne 1991-01-11
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Artificial Intelligence
Fiche 1, La vedette principale, Anglais
- propositional interpretation
1, fiche 1, Anglais, propositional%20interpretation
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
Fiche 1, Français
Fiche 1, Domaine(s)
- Intelligence artificielle
Fiche 1, La vedette principale, Français
- interprétation propositionnelle
1, fiche 1, Français, interpr%C3%A9tation%20propositionnelle
correct, nom féminin
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
Fiche 1, Justifications, Français
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 1989-12-12
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Artificial Intelligence
Fiche 2, La vedette principale, Anglais
- autoepistemic
1, fiche 2, Anglais, autoepistemic
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 DEF
Pertaining to one's own belief or knowledge. 2, fiche 2, Anglais, - autoepistemic
Record number: 2, Textual support number: 1 CONT
autoepistemic theory. 2, fiche 2, Anglais, - autoepistemic
Fiche 2, Français
Fiche 2, Domaine(s)
- Intelligence artificielle
Fiche 2, La vedette principale, Français
- auto-épistémique
1, fiche 2, Français, auto%2D%C3%A9pist%C3%A9mique
correct, adjectif
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
- autoépistémique 2, fiche 2, Français, auto%C3%A9pist%C3%A9mique
correct, adjectif
Fiche 2, Justifications, Français
Record number: 2, Textual support number: 1 DEF
Qui énonce une chose connue, incertaine ou inconnue d’un agent rationnel réfléchissant sur ses propres croyances. 3, fiche 2, Français, - auto%2D%C3%A9pist%C3%A9mique
Record number: 2, Textual support number: 1 CONT
Un modèle propositionnel d’une théorie autoépistémique Test une interprétation propositionnelle de T dans laquelle toutes les formules de T sont vérifiées. 4, fiche 2, Français, - auto%2D%C3%A9pist%C3%A9mique
Record number: 2, Textual support number: 2 CONT
modèle auto-épistémique, raisonnement auto-épistémique, théorie auto-épistémique. 5, fiche 2, Français, - auto%2D%C3%A9pist%C3%A9mique
Record number: 2, Textual support number: 1 OBS
La graphie "autoépistémique" est courante. 5, fiche 2, Français, - auto%2D%C3%A9pist%C3%A9mique
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Fiche 3 - données d’organisme interne 1989-12-06
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Artificial Intelligence
Fiche 3, La vedette principale, Anglais
- interpretation
1, fiche 3, Anglais, interpretation
correct
Fiche 3, Les abréviations, Anglais
Fiche 3, Les synonymes, Anglais
Fiche 3, Justifications, Anglais
Fiche 3, Français
Fiche 3, Domaine(s)
- Intelligence artificielle
Fiche 3, La vedette principale, Français
- interprétation
1, fiche 3, Français, interpr%C3%A9tation
correct, nom féminin
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
Fiche 3, Justifications, Français
Record number: 3, Textual support number: 1 DEF
En logique propositionnelle, fonction qui associe à une proposition une valeur de vérité. Son domaine est l'ensemble de proposition et elle est étendue à l'ensemble des formules au moyen de tables de vérité. Une interprétation qui rend vraie une formule constitue un modèle de cette formule 1, fiche 3, Français, - interpr%C3%A9tation
Record number: 3, Textual support number: 1 CONT
domaine d’interprétation, interprétation autoépistémique, interprétation de Herbrand 1, fiche 3, Français, - interpr%C3%A9tation
Record number: 3, Textual support number: 1 OBS
En Prolog, l’interprétation logique des clauses de Horn permet une lecture déclarative et une lecture procédurale de chaque instruction (ou clause). 1, fiche 3, Français, - interpr%C3%A9tation
Fiche 3, Espagnol
Fiche 3, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2025
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
Portail linguistique du Canada
Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.
Outils d'aide à la rédaction
Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.
Lexiques et vocabulaires
Accédez aux lexiques et vocabulaires du Bureau de la traduction.
- Date de modification :