C'était l'objectif du programme de Hilbert non ? Écrire des systèmes logiques avec des règles de déductions valides dont l'application correcte serait trivialrment vérifiables dans une preuve. Enfin surtout prouver leur correction mais ... La vérification par les machines de preuves de maths automatiquement me semble en découler naturellement.
[^] # Re: Pourquoi dire IA si on ne parle que des réseaux de neurones ?
Posté par thoasm . En réponse à la dépêche Une intelligence artificielle libre est-elle possible ?. Évalué à 2.
C'était l'objectif du programme de Hilbert non ? Écrire des systèmes logiques avec des règles de déductions valides dont l'application correcte serait trivialrment vérifiables dans une preuve. Enfin surtout prouver leur correction mais ... La vérification par les machines de preuves de maths automatiquement me semble en découler naturellement.