Extracción de Lemas
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El mecanismo de identificar, aislar o generar lemas intermedios o candidatos a lemas a partir de pruebas, trazas de búsqueda u heurísticas para acelerar, estructurar o habilitar la reutilización en pasos de razonamiento posteriores.