Una interpretación algebraica de la verificación de sistemas basados en el conocimiento
Título de la tesis:
Una interpretación algebraica de la verificación de sistemas basados en el conocimiento
Autor/es:
Antonio Jiménez, Angélica de - Laita de la Rica, Luis M.
Tipo de documento:
Tesis (Doctoral)
Universidad:
Facultad de Informática (UPM)
Departamento:
Lenguajes y Sistemas Informáticos e Ingeniería del Software
Idioma:
Castellano
Palabras clave:
TEORIA DE LA PROGRAMACION; TEORIA DE CATEGORIAS; CIENCIA DE LOS ORDENADORES; MATEMATICAS; ALGEBRA;
Fecha de la defensa:
Junio 1994-01-01
Notas:
Tesis dirigida por: Laita de la Rica, Luis M.
Resumen: Resumen Garantizar la calidad de un Sistema Basado en el Conocimiento es un objetivo prioritario en el proceso de desarrollo de este tipo de sistemas. Por ello, durante los últimos quince años, se ha venido trabajando en una nueva disciplina a la que se ha dado en llamar Validación, y cuyo objetivo es asegurar la calidad de un Sistema Basado en el Conocimiento, entendiendo el término calidad en un sentido muy amplio, que abarca desde la satisfacción de las necesidades del usuario hasta la precisión o credibilidad de los resultados obtenidos por el sistema. Esta disciplina ha evolucionado enorm...
Valoración:
Clasificación por
