« Satisfiabilité » : différence entre les versions
m (Remplacement de texte — « Category:scotty2 » par « <!-- Scotty2 --> ») |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (9 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==Définition== | ||
En logique mathématique, la satisfaisabilité ou satisfiabilité est un concept sémantique où une formule logique est dite satisfaisable s'il est possible de trouver une interprétation où la formule est vraie. Le concept opposé est l'insatisfaisabilité où une formule est insatisfaisable si aucune de ses interprétations n’est vraie. | En logique mathématique, la satisfaisabilité ou satisfiabilité est un concept sémantique où une formule logique est dite satisfaisable s'il est possible de trouver une interprétation où la formule est vraie. Le concept opposé est l'insatisfaisabilité où une formule est insatisfaisable si aucune de ses interprétations n’est vraie. | ||
==Français== | ==Français== | ||
''' satisfaisabilité''' | ''' satisfaisabilité''' | ||
''' satisfiabilité ''' | ''' satisfiabilité ''' | ||
==Anglais== | ==Anglais== | ||
| Ligne 18 : | Ligne 11 : | ||
'''Satisfiability ''' | '''Satisfiability ''' | ||
==Sources== | |||
[https://fr.wikipedia.org/wiki/Satisfaisabilit%C3%A9 Source : | [https://fr.wikipedia.org/wiki/Satisfaisabilit%C3%A9 Source: Wikipedia, ''Satifaisabilité''.] | ||
[https://tel.archives-ouvertes.fr/tel-00582571/document Source : Hugel, T. (2010). Estimations de satisfaisabilité (Thèse de doctorat, Université Paris-Diderot-Paris VII)] | [https://tel.archives-ouvertes.fr/tel-00582571/document Source : Hugel, T. (2010). Estimations de satisfaisabilité (Thèse de doctorat, Université Paris-Diderot-Paris VII)] | ||
[[Category:Intelligence artificielle]] | |||
[[Category:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 28 janvier 2024 à 12:30
Définition
En logique mathématique, la satisfaisabilité ou satisfiabilité est un concept sémantique où une formule logique est dite satisfaisable s'il est possible de trouver une interprétation où la formule est vraie. Le concept opposé est l'insatisfaisabilité où une formule est insatisfaisable si aucune de ses interprétations n’est vraie.
Français
satisfaisabilité
satisfiabilité
Anglais
Satisfiability
Sources
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
