Una formalización de las relaciones entre distintas representaciones del conocimiento

Abstract

La presente tesis desarrolla a partir de los conceptos de marcos y reglas produccion una estructuracion de estos dos formalismos de representacion 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 operacion interna demostrandose que con ella se tiene estructura de grupo abeliano. Se definen dos operaciones en el conjunto de las reglas basandose en las conjunciones y disyunciones logicas cumplienose que las reglas con estas operaciones definidas es cu cuerpo. Por ultimo se define una operacion 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 pragmaticos de esta tesis es el poder establecer un nucleo comun de desarrollo de sistemas expertos en areas tan dispersas como son las finanzas la administracion publica o la educacion.