Gnoseología e historia de la prueba automática de teoremas
- Autores: José Antonio López Brugos
- Directores de la Tesis: Alfonso García Suárez (dir. tes.)
- Lectura: En la Universidad de Oviedo ( España ) en 1984
- Idioma: español
- Tribunal Calificador de la Tesis: Gustavo Bueno Martínez (presid.), Antonio Gonzalez Carloman Garcia (secret.), Carlos Conde Sanchez (voc.), Alfonso García Suárez (voc.), R. Beneyto (voc.)
- Materias:
- Texto completo no disponible (Saber más ...)
- Resumen
CUMPLIENDO EN CIERTO MODO EL IDEAL DE LEITNIZ SE ADMITE LA IMPORTANCIA DE LA LOGICA EN LA PROGRAMACION Y EN LA IA (SOBRE TODO A FINES DE LOS 60 Y PRIMEROS 70: CONTROL Y VERIFICACION DE PROGRAMAS SISTEMAS PREGUNTA-RESPUESTA PROLOG ETC) AUNQUE SE DISCUTE SU PAPEL EN LA FASE DE PROCESAMIENTO . SIGUIENDO LAS CONEXIONES EXPLICITAS DE LOS PROPIOS AUTORES DE LA PAT JUNTO CON CRITERIOS COMO CONTINUIDAD EFICACIA Y POTENCIA TEORICA HE DISPUESTO FORMAL Y CRONOLOGICAMENTE EL MATERIAL. DE ESTA MANERA SE CONSTITUYE UN CAMPO DE LOGICA APLICADA QUE PERMITE EJERCITAR LA GNOSEOLOGIA DE ESTA CIENCIA DESTACANDOSE ASI ALGUNOS NUCLEOS DE TRANSCENDENCIA GNOSEOLOGICA COMO LA DIALECTICA PROCEDIMIENTOS HEURISTICOS/ALGORITMICOS LOGICA PURA/APLICADA INTUICIONISTA/FORMALISTA ETC DONDE LAS CARACTERISTICAS DEL PROCESAMIENTO REGULAN TAMBIEN A LOS ALGORITMOS. PRESENTO ADEMAS UNA BIBLIOGRAFIA QUE CONSIDERO MUY COMPLETA.
