RUO Home

Repositorio Institucional de la Universidad de Oviedo

View Item 
  •   RUO Home
  • Producción Bibliográfica de UniOvi: RECOPILA
  • Tesis
  • View Item
  •   RUO Home
  • Producción Bibliográfica de UniOvi: RECOPILA
  • Tesis
  • View Item
    • español
    • English
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of RUOCommunities and CollectionsBy Issue DateAuthorsTitlesSubjectsxmlui.ArtifactBrowser.Navigation.browse_issnAuthor profilesThis CollectionBy Issue DateAuthorsTitlesSubjectsxmlui.ArtifactBrowser.Navigation.browse_issn

My Account

LoginRegister

Statistics

View Usage Statistics

RECENTLY ADDED

Last submissions
Repository
How to publish
Resources
FAQs
Las tesis leídas en la Universidad de Oviedo se pueden consultar en el Campus de El Milán previa solicitud por correo electrónico: buotesis@uniovi.es

Optimización de autómatas finitos

Author:
Rodríguez Vela, María del CaminoUniovi authority
Director:
Bahamonde Rionda, AntonioUniovi authority
Centro/Departamento/Otros:
Matemáticas, Departamento deUniovi authority
Publication date:
1990
Abstract:

El problema que motiva este trabajo es el de estructurar la información contenida en una base de conocimientos mediante un grafo de herencias así como el desarrollo de algoritmos que resuelvan, con una complejidad razonable, los problemas de construcción y optimización del sistema de representación que se defina. El modelo que se propone en esta tesis se enmarca en los que aprovechan la estructura jerárquica del conocimiento para representarlo como un grafo de conceptos. Esta jerarquía induce una ordenación entre las propiedades de los conceptos, la cual permite utilizar los autómatas finitos no determinísticos (AFNDS) como sistema formal de especificación del modelo, más concretamente la subfamilia de AFNDS que proceden de relaciones de orden. Así el problema de la construcción efectiva y una primera aproximación del algoritmo de optimización se estudian en un contexto formal de autómatas. Para ello se desarrollan en una primera parte de la memoria las herramientas necesarias para el diseño de un algoritmo de orden n4 para la minimización scoop de estos autómatas, el cual se adapta en una segunda parte al caso en que los autómatas se utilizan para representar el conocimiento.

El problema que motiva este trabajo es el de estructurar la información contenida en una base de conocimientos mediante un grafo de herencias así como el desarrollo de algoritmos que resuelvan, con una complejidad razonable, los problemas de construcción y optimización del sistema de representación que se defina. El modelo que se propone en esta tesis se enmarca en los que aprovechan la estructura jerárquica del conocimiento para representarlo como un grafo de conceptos. Esta jerarquía induce una ordenación entre las propiedades de los conceptos, la cual permite utilizar los autómatas finitos no determinísticos (AFNDS) como sistema formal de especificación del modelo, más concretamente la subfamilia de AFNDS que proceden de relaciones de orden. Así el problema de la construcción efectiva y una primera aproximación del algoritmo de optimización se estudian en un contexto formal de autómatas. Para ello se desarrollan en una primera parte de la memoria las herramientas necesarias para el diseño de un algoritmo de orden n4 para la minimización scoop de estos autómatas, el cual se adapta en una segunda parte al caso en que los autómatas se utilizan para representar el conocimiento.

URI:
http://hdl.handle.net/10651/13642
Other identifiers:
https://www.educacion.gob.es/teseo/mostrarRef.do?ref=77373
Tesis Publicada:
http://absysweb.cpd.uniovi.es/cgi-bin/abnetopac?TITN=450736
Local Notes:

Tesis 1990-140

Collections
  • Tesis [7669]
Files in this item
Compartir
Exportar a Mendeley
Estadísticas de uso
Estadísticas de uso
Metadata
Show full item record
Página principal Uniovi

Biblioteca

Contacto

Facebook Universidad de OviedoTwitter Universidad de Oviedo
The content of the Repository, unless otherwise specified, is protected with a Creative Commons license: Attribution-Non Commercial-No Derivatives 4.0 Internacional
Creative Commons Image