De la teoría del significado en Prawitz a la búsqueda inteligente de pruebas: una aplicación del teorema de inversión a la inteligencia artificial

• Autores: Concepción Martínez Vidal
• Directores de la Tesis: R. Beneyto (dir. tes.)
• Lectura: En la Universitat de València ( España ) en 1989
• Idioma: español
• Tribunal Calificador de la Tesis: Manuel Garrido Jiménez (presid.), Enric Casaban Moya (secret.), María Gracia Manzano Arjona (voc.), Luis Villegas Forero (voc.), Jesús María Larrazabal Antía (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Teoría de pruebas
  • Matemáticas
    • Ciencia de los ordenadores
      • Inteligencia artificial
• Texto completo no disponible (Saber más ...)
• Resumen

  • LA TESIS COMPRENDE DOS PARTES CLARAMENTE DIFERENCIADAS, EN UNA PRIMERA PARTE SE PRESENTA LA FILOSOFIA DE LA LOGICA DE PRAWITZ; EN CONCRETO SE DESCRIBEN LOS PRINCIPALES RESULTADOS OBTENIDOS POR ESTE AUTOR EN TEORIA GENERAL DE LA DEMOSTRACION Y SE ANALIZA EL PAPEL QUE DESEMPEÑAN LOS TEOREMAS DE NORMALIZACION EN EL CONCEPTO DE VALIDEZ INTENSIONAL QUE ESTE AUTOR PROPONE.

    EN LA SEGUNDA PARTE SE DESCRIBE UN SISTEMA LINEAL DE DEDUCCION NATURAL EN VERSION STANDAR Y VERSION DESTINADA A LA IMPLEMENTACION EN EL QUE LAS DERIVACIONES OBTENIDAS SON DERIVACIONES NORMALES. A PARTIR DE ESTE SISTEMA SE HA DISEÑADO UN MOTOR DE INFERENCIA CONSTRUCTIVO, DIRECTO, SINTACTICO, EURISTICO Y QUE PERMITE RECONSTRUIR LA DERIVACION GENERADA. EL OBJETIVO HA SIDO INICIAR LA INVESTIGACION QUE PERMITA DETERMINAR EN QUE MEDIDA LA MAS FACIL OBTENCION DE DEMOSTRACIONES QUE PERMITA EL SISTEMA COMPENSA LA ELIMINACION DE RODEOS ENTENDIDA COMO NO UTILIZACION DE LEMAS.