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

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.

Name dc:type.qualificationname

phd

Level dc:type.qualificationlevel

doctoral

Grantor dc:publisher.institution

Informatica

Year dc:date.issued

1987

Author dc:creator

• Castellanos Peñuela, Juan Bautista

• Robótica e Informática Industrial
• Matemáticas

Statement dc:rights

• by-nc-nd

Language dc:language

es

DOI dc:identifier.doi

https://doi.org/10.20868/UPM.thesis.1033

OAI identifier oai:identifier

oai:oa.upm.es:1033