Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter
Discussion :
IA et théorèmes : quels d'algorithmes/méthodes/outils pour prouver un théorème ?
Bonjour,
il y a longtemps, j ai lu dans un livre (je ne sais plus lequel) qu'un des pionniers de IA avait mis au point un algo qui, partant de postulats de base avait "redécouvert" une loi ou un théorème connu.
Ma question est: quel type d'algorithme/méthode/outil en IA permet de réaliser cela?
Bien cordialement,
Stephane
Bonsoir,
Ce que tu evoque m'a rappeler une UE que j'ai fait en master IAD, je post le lien vers les support de cours de ce module ici.
Je ne sais pas si c'est ce que tu cherche, mais c'est toujours intéressant.
Démonstration automatique de théorèmes
Voici la branche de l'IA que tu cherches : http://en.wikipedia.org/wiki/Automated_theorem_proving
EURISKO peut-être ?
Merci pour tous ces liens très intéressants !
Vous avez un bloqueur de publicités installé.
Le Club Developpez.com n'affiche que des publicités IT, discrètes et non intrusives.
Afin que nous puissions continuer à vous fournir gratuitement du contenu de qualité, merci de nous soutenir en désactivant votre bloqueur de publicités sur Developpez.com.
Répondre avec citation
Partager