Dans mon souvenir son solveur s’en sortait pas bien déjà dans certains cas de résolution de dépendance dans le temps.
Je vais le décrire autrement. Un solveur 3SAT n'a pas besoin d'IA.
L’opposition avec la recherche opérationnelle, je dirai que ça a pas spécialement de sens vu qu’il n’y a aucun obstacle a utiliser des méthodes d’IA en RO. Il faut chercher la définition ailleurs.
C'est toi qui caractérisait les IA par leur usage plus que par leur implémentation et tu continue ensuite.
Une IA doit être capable de résoudre un problème qu’on peut considérer comme non trivial sans avoir été spécifiquement conçue pour résoudre ce problème.
Une IA va tout de même être entrainée pour quelque chose de bien spécifique ou alors on ne parle pas de la même chose. Tensorflow n'est pas une IA c'est une bibliothèque qui sert à en créer.
Par extension, vu qu’on peut exprimer n’importe quel problème NP-complet sous la forme de SAT, mais qu’il n’est pas évident qu’un algorithme générique de SAT soit bon pour résoudre les instances spécifiques générées pour résoudre un autre problème, un solveur SAT "intelligent" devrait être capable d’exploiter la structure spécifique générée par ce problème sans qu’on la lui ait expliqué ou conçu pour. Donc, plus que "générer un algorithme"
Je suis à peu près sûr que j'ai rien compris.
Ou alors c’est trop pénible de détailler l’algorithme donc on tente de généraliser en en concevant un qui permettra de résoudre ce problème et aussi une vaste classe de problème similaires au lieu de juste "reconnaître super bien une vache".
Tu parle de détecter n'importe quoi ? Ça existe (généralement c'est pour décrire une image), mais c'est pas le cas général.
Pour le reste j'ai vraiment pas les clefs pour comprendre. J'ai commencer à lire ton PDF, mais mes cours là dessus sont trop lointains et j'ai pas l'énergie de m'accrocher pour tenter de rentrer dedans.
[^] # Re: Simulation
Posté par barmic 🦦 . En réponse au journal Une simulation de drone de combat qui tourne mal. Évalué à 3.
Je vais le décrire autrement. Un solveur 3SAT n'a pas besoin d'IA.
C'est toi qui caractérisait les IA par leur usage plus que par leur implémentation et tu continue ensuite.
Une IA va tout de même être entrainée pour quelque chose de bien spécifique ou alors on ne parle pas de la même chose. Tensorflow n'est pas une IA c'est une bibliothèque qui sert à en créer.
Je suis à peu près sûr que j'ai rien compris.
Tu parle de détecter n'importe quoi ? Ça existe (généralement c'est pour décrire une image), mais c'est pas le cas général.
Pour le reste j'ai vraiment pas les clefs pour comprendre. J'ai commencer à lire ton PDF, mais mes cours là dessus sont trop lointains et j'ai pas l'énergie de m'accrocher pour tenter de rentrer dedans.
https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll