skip to main content

Thésaurus de l'intelligence artificielle

Choisissez le vocabulaire dans lequel chercher

Langue des données

| español English
Aide à la recherche

Concept information

méthode de l'intelligence artificielle > logique > logique propositionnelle > problème de satisfaisabilité booléenne

TERME PRÉFÉRENTIEL

problème de satisfaisabilité booléenne  

DÉFINITION(S)

  • le problème de satisfaction en logique propositionnelle consiste à déterminer si une formule, exprimée en logique propositionnelle, est vraie ou fausse. Ce problème est très important en informatique, car il constitue la référence des problèmes difficiles à résoudre (ce qui est l’objet de la théorie de la complexité algorithmique). Il sert de référence pour résoudre/étudier des problèmes qui lui sont réductibles ou auxquels il est réductible, tels que la vérification de logiciels, de micro-processeurs, ou de systèmes complexes. (Source : https://ia.gdria.fr/Glossaire/probleme-sat/ )

CONCEPT(S) GÉNÉRIQUE(S)

CONCEPT(S) ASSOCIÉ(S)

SYNONYME(S)

  • problème SAT
  • SAT

TRADUCTIONS

URI

http://data.loterre.fr/ark:/67375/23L-RM5PWC50-6

Télécharger ce concept:

RDF/XML TURTLE JSON-LD Dernière modif. 08/09/2025