Neural Checker : Herramienta de verificación de Redes Neuronales Recurrentes

Loading...
Thumbnail Image
Date
2022
Authors
Morales Peluffo, Matías Gabriel
Mosquera Carreras, Florencia Paula
Vico Meyer, Juan Andrés
Publisher
Universidad ORT Uruguay
DOI
ISSN
ISBN
URI
Abstract
El presente proyecto plantea el desarrollo de la herramienta Neural Checker utilizada por la Cátedra de inteligencia artificial de la Universidad ORT Uruguay. El desarrollo de la herramienta busca resolver ciertos problemas ya que no satisface las necesidades actuales. El objetivo general del proyecto, no es el producto en sí, sino el proceso de investigación y análisis para lograr encontrar la mejor solución, siendo el producto una validación del resultado de esta investigación. Las funcionalidades principales de la herramienta abarcan el desarrollo de algoritmos de inferencia de modelos, las estructuras necesarias para el funcionamiento de los algoritmos, la ejecución de estos, la interacción con redes neuronales, el almacenamiento del modelo inferido, y una aplicación web para facilitar la visualización de los resultados. Para esto se desarrolló un software complejo utilizando tecnologías actuales, teniendo que profundizar en el aprendizaje de lenguajes regulares, el algoritmo L*, el framework PAC de análisis de aprendizaje automático, RNNs, etc. La arquitectura contempla los principales requerimientos del cliente, entre los que destacan la modificabilidad, la seguridad y la performance. La investigación y el análisis resultaron satisfactorios al igual que la relación con el cliente. La cátedra siempre se mostró disponible y en todo momento dio sugerencias a los miembros del equipo para mejorar el proceso de trabajo. Se presenta la documentación y concluye con proyecciones a futuro.
En
Thesis note
Proyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingeniería
Thesis degree name
Ingeniero en Sistemas
270 p. diagrs., fot., tbls., grafs.
Notes
Incluye bibliografía y anexos.
Subject
PROYECTOS-ID, SOFTWARE-REQUERIMIENTOS, INTELIGENCIA ARTIFICIAL, REDES NEURONALES, AUTÓMATAS, APRENDIZAJE AUTOMÁTICO
Type
Trabajo final de carrera
Access the full text
Citation
Morales Peluffo, M. G., Mosquera Carreras, F. P., & Vico Meyer, J. A. (2022). Neural Checker: Herramienta de verificación de Redes Neuronales Recurrentes (Proyecto). Universidad ORT Uruguay, Facultad de Ingeniería.
Rights license