logique formelle
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Logique selon laquelle seules la structure et la forme des raisonnements comptent, indépendamment du sens qui peut leur être attribué.
Note :
Dans l'exemple « Jean est riche (X) ET son frère est pauvre (Y) », X ET Y correspond à une affirmation vraie si X est vrai et Y est vrai simultanément. Ce que X et Y signifient n'est pas pris en compte; le système ne cherchera pas à vérifier la pertinence de ces affirmations, il considérera seulement que l'une est X et que l'autre est Y.
Terme privilégié :
- logique formelle n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- formal logic