Tesis:
Una formalización de las relaciones entre distintas representaciones del conocimiento
- 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
- Departamentos: SIN DEPARTAMENTO DEFINIDO
- Acceso electrónico:
- Director/a 1º: 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