Satisfiabilité

Domaine

Intelligence artificielle

Définition

En logique mathématique, la satisfaisabilité ou satisfiabilité sont des concepts élémentaires de sémantique. Une formule est satisfaisable s'il est possible de trouver une interprétation (modèle) qui rend la formule vraie. Les concepts opposés sont l'insatisfaisabilité et la non-validité, ainsi, une formule est insatisfaisable si aucune de ses interprétations ne rend la formule vraie et non valide s'il existe une interprétation qui rend la formule fausse.

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>>>>>>>>>>>>redirection

satisfaisabilité n.f.

satisfiabilité n.f.

Anglais

Satisfiability

Source : wikipedia
Source : Hugel, T. (2010). Estimations de satisfaisabilité (Thèse de doctorat, Université Paris-Diderot-Paris VII)