Tesis doctoral de Castro Peña Juan Luis
– 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.
Datos académicos de la tesis doctoral «Contribucion al estudio de modelos logicos para la inteligencia artificial«
- Título de la tesis: Contribucion al estudio de modelos logicos para la inteligencia artificial
- Autor: Castro Peña Juan Luis
- Universidad: Granada
- Fecha de lectura de la tesis: 01/01/1991
Dirección y tribunal
- Director de la tesis
- Enrique Trillas Ruiz
- Tribunal
- Presidente del tribunal: Claudi Alsina Catala
- José Cueva Bartolome (vocal)
- Llorení§ Valverde Garcia (vocal)
- Verdega Y Galdeano José Luis (vocal)