démonstration automatique de théorèmes
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Méthode de traitement automatique de données utilisée en intelligence artificielle pour déterminer si une conclusion hypothétique (un théorème) découle d'un ensemble donné de prémisses (des axiomes).
Note :
La démonstration automatique a obtenu un certain succès en géométrie et en algèbre, même si aucune machine n'a démontré, pour l'instant, de théorèmes non encore connus. On utilise ce genre d'outils pour démontrer que des logiciels ou des définitions de matériels sont correctement construits.
Termes privilégiés :
- démonstration automatique de théorèmes n. f.
- démonstration automatisée de théorèmes n. f.
- preuve automatique de théorèmes n. f.
- démonstration mécanique de théorèmes n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- automatic theorem proving
- automated theorem proving
- mechanical theorem proving
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- demostració automàtica de teoremes n. f.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Termes :
- demostración automática de teoremas s. f.
- prueba automática de teoremas s. f. Mexique
-
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa,
Universidade de São Paulo,Note :
Subárea da inteligência artificial: representação do conhecimento por meio de Lógica.
Terme :
- prova automática de teorema s. f.