« Satisfiabilité » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Domaine == | ==Domaine== | ||
[[Category:Vocabulaire]] | [[Category:Vocabulaire]] | ||
[[Category:Intelligence artificielle]]Intelligence artificielle<br/> | [[Category:Intelligence artificielle]] | ||
[[Category:Coulombe]]<br/> | Intelligence artificielle<br /> | ||
[[Category:Coulombe]] | |||
<br /> | |||
[[Category:scotty]] | [[Category:scotty]] | ||
== 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é''' nf. | ||
''' satisfiabilité ''' | ''' satisfiabilité '''n.f. | ||
== Anglais == | ==Anglais== | ||
'''Satisfiability ''' | '''Satisfiability ''' | ||
<br/> | <br /> | ||
<br/> | <br /> | ||
[https://fr.wikipedia.org/wiki/Satisfaisabilit%C3%A9 | [https://fr.wikipedia.org/wiki/Satisfaisabilit%C3%A9 source : wikipedia] | ||
<br/> | <br /> | ||
[https://tel.archives-ouvertes.fr/tel-00582571/document | [https://tel.archives-ouvertes.fr/tel-00582571/document source : Hugel, T. (2010). Estimations de satisfaisabilité (Thèse de doctorat, Université Paris-Diderot-Paris VII)] | ||
<br/> | <br /> | ||
<br/> | <br /> | ||
Version du 20 mai 2019 à 20:28
Domaine
Intelligence artificielle
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é nf.
satisfiabilité n.f.
Anglais
Satisfiability
source : wikipedia
source : Hugel, T. (2010). Estimations de satisfaisabilité (Thèse de doctorat, Université Paris-Diderot-Paris VII)
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
