Contribución al estudio de modelos lógicos para la inteligencia artificial

• Autores: Juan Luis Castro Peña
• Directores de la Tesis: Enric Trillas (dir. tes.)
• Lectura: En la Universidad de Granada ( España ) en 1991
• Idioma: español
• Tribunal Calificador de la Tesis: Claudi Alsina Català (presid.) , María Amparo Vila Miranda (secret.) , Llorenç Valverde García (voc.) , José Cuena Bartolomé (voc.) , José Luis Verdegay Galdeano (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • - SE CONSTRUYE UN MODELO ABSTRACTO DE LOGICA QUE INCLUYE COMO CASOS PARTICULARES LOS SISTEMAS DE LOGICA MAS USUALES (TODOS LOS MONOTOMOS Y AXIOMATIZABLES), - SE APLICA ESTE MODELO GENERAL PARA ESTUDIAR PROPIEDADES USUALES DE LAS LOGICAS EN GENERAL (COMPLETITUD, RAZONAMIENTO POR REDUCCION AL ABSURDO, INCONSISTENCIA, ETC...), OBTENIENDO COMO GENERALES TEOREMAS QUE HASTA EL MOMENTO SOLO HABIAN SIDO OBTENIDOS PARA SISTEMAS PARTICULARES. - SE APLICA EL MODELO GENERAL PARA GESTIONAR LA INCONSISTENCIA EN SISTEMAS BASADOS EN CONOCIMIENTO, OBTENIENDOSE UN ALGORITMO PARA CALCULAR TODAS LAS POSIBLES ENTRADAS INCONSISTENTES DEL SISTEMA.