Autor: CASTELLANOS PEÑUELA, Juan Bautista
Título: Una formalización de las relaciones entre distintas representaciones del conocimiento
Fecha: 1988
Materia: MATEMÁTICAS. Teseo;CIENCIAS DE LA COMPUTACIÓN. Teseo;INTELIGENCIA ARTIFICIAL. Teseo
Escuela: FACULTAD DE INFORMATICA
Departamento: SIN DEPARTAMENTO DEFINIDO
Director/a(s):
- Director/a: PAZOS SIERRA, Juan
Resumen: La presente tesis desarrolla a partir de los conceptos de marcos y reglas producción una estructuración de estos dos formalismos de representación del conocimiento, se comprueba que los marcos y las reglas con sus operaciones asociadas tienen una estructura algebraica de espacio vectorial. Para ello se dota al conjunto de marcos de una operación interna demostrándose que con ella se tiene estructura de grupo abeliano. Se definen dos operaciones en el conjunto de las reglas basándose en las conjunciones y disyunciones lógicas cumpliéndose que las reglas con estas operaciones definidas es su cuerpo. Por último se define una operación externa del conjunto de reglas por el conjunto de marcos en el conjunto de marcos verificando las propiedades de espacio vectorial. Uno de los resultados pragmáticos de esta tesis es el poder establecer un núcleo común de desarrollo de sistemas expertos en áreas tan dispersas como son las finanzas, la administración pública o la educación