Fundamentación de un sistema para la resolución automática de problemas

  1. Saiz López, Francisco
Dirigida por:
  1. Roberto Moriyón Salomón Director/a

Universidad de defensa: Universidad Autónoma de Madrid

Año de defensa: 1994

Tribunal:
  1. Mario Rodríguez Artalejo Presidente
  2. José Ramón Dorronsoro Ibero Secretario/a
  3. Luis de Ledesma Otamendi Vocal
  4. Manuel Alfonseca Moreno Vocal
  5. Luis Fariñas del Ferro Vocal

Tipo: Tesis

Teseo: 45263 DIALNET lock_openBiblos-e Archivo editor

Resumen

SE DESCRIBE UN SISTEMA, PROGENES, QUE PERMITE RESOLVER AUTOMATICAMENTE UN ALTO PORCENTAJE DE PROBLEMAS Y DEMOSTRACIONES HABITUALES EN LIBROS DE MATEMATICAS, SON TECNICAS QUE PERMITEN INTEGRAR CAPACIDADES DEDUCTIVAS Y DE CALCULO. LA INTEGRACION DE ESTOS ASPECTOS ES MAS SISTEMATICA QUE EN SISTEMAS PREVIOS. COMO CONSECUENCIA DE ESTO, PROGENES PERMITE EL DESARROLLO DE BASES DE CONOCIMIENTO AMPLIABLES, MIENTRAS QUE OTROS SISTEMAS, COMO ANALYTICA, SOLO PUEDEN RAZONAR ACERCA DE FORMULAS MATEMATICAS Y OTROS OBJETOS PREDEFINIDOS FIJOS.