Loterre: IA: problème de satisfaisabilité booléenne

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

problème de satisfaisabilité booléenne

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/ )

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

RDF/XML TURTLE JSON-LD última modificación 8/9/25

Thésaurus de l'intelligence artificielle