Demostración Automática de Teoremas (ATP)
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
La demostración automática de teoremas (ATP) es el uso de algoritmos y heurísticas por software para realizar la búsqueda de pruebas y establecer teoremas sin intervención humana, produciendo pruebas o refutaciones en lógicas formales.