Búsqueda inteligente de contraejemplos para la inferencia de lenguajes

Chacón Levin, Kevin Mathias - Zuluaga González, Diego Ignacio

Resumen:

En este trabajo se busca implementar y analizar métodos inteligentes de búsqueda de contraejemplos bajo el framework de aprendizaje conocido como Probably Approximately Correct Learning. El objetivo es analizar el impacto de dicha búsqueda a la hora de inferir lenguajes con autómatas finitos deterministas a partir de redes neuronales recurrentes.


Detalles Bibliográficos
2018
PROYECTOS-ID
APRENDIZAJE PAC
INTELIGENCIA ARTIFICIAL EXPLICABLE (XAI)
LENGUAJES DE PROGRAMACIÓN
SOFTWARE-DESARROLLO
Inglés
Universidad ORT Uruguay
RAD
http://hdl.handle.net/20.500.11968/3873
Acceso abierto
_version_ 1807261356813975552
author Chacón Levin, Kevin Mathias
author2 Zuluaga González, Diego Ignacio
author2_role author
author_facet Chacón Levin, Kevin Mathias
Zuluaga González, Diego Ignacio
author_role author
bitstream.checksum.fl_str_mv de279b5f75f63eaadf40ad1a0f5789f0
5811f9cbfba768cd47fc546fe29e93f3
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
bitstream.url.fl_str_mv https://rad.ort.edu.uy/bitstreams/396d227b-43e8-4a98-ab8e-2dffdee394f4/download
https://rad.ort.edu.uy/bitstreams/07e71336-9379-4908-b0ea-8fd8901cfec9/download
collection RAD
dc.contributor.advisor.none.fl_str_mv Mayr Ojeda, Franz
Fabián Yovine, Sergio
dc.contributor.tribunal.es.fl_str_mv Pérez, Gervasio
Szasz Cerutti, Nora Adriana
dc.creator.none.fl_str_mv Chacón Levin, Kevin Mathias
Zuluaga González, Diego Ignacio
dc.date.accessioned.none.fl_str_mv 2018-12-14T07:54:58Z
dc.date.available.none.fl_str_mv 2018-12-14T07:54:58Z
dc.date.issued.es.fl_str_mv 2018
dc.description.abstract.none.fl_txt_mv En este trabajo se busca implementar y analizar métodos inteligentes de búsqueda de contraejemplos bajo el framework de aprendizaje conocido como Probably Approximately Correct Learning. El objetivo es analizar el impacto de dicha búsqueda a la hora de inferir lenguajes con autómatas finitos deterministas a partir de redes neuronales recurrentes.
dc.description.es.fl_txt_mv Incluye bibliografía
Incluye archivos complementarios.
dc.format.extent.es.fl_str_mv 78 p. diagrs., fot., tbls., grafs.
dc.identifier.citation.es.fl_str_mv Zuluaga González, D. I. (2018). Búsqueda inteligente de contraejemplos para la inferencia de lenguajes (Trabajo Integrador). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/3873
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/20.500.11968/3873
http://hdl.handle.net/20.500.11968/3873
dc.language.iso.none.fl_str_mv Inglés
eng
dc.publisher.es.fl_str_mv Universidad ORT Uruguay
dc.relation.other.es.fl_str_mv https://bibliotecas.ort.edu.uy/bibid/88071
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
dc.source.none.fl_str_mv reponame:RAD
instname:Universidad ORT Uruguay
instacron:Universidad ORT
dc.subject.es.fl_str_mv PROYECTOS-ID
APRENDIZAJE PAC
INTELIGENCIA ARTIFICIAL EXPLICABLE (XAI)
LENGUAJES DE PROGRAMACIÓN
SOFTWARE-DESARROLLO
dc.title.none.fl_str_mv Búsqueda inteligente de contraejemplos para la inferencia de lenguajes
dc.type.es.fl_str_mv Trabajo final de carrera
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
dc.type.version.none.fl_str_mv info:eu-repo/semantics/publishedVersion
description Incluye bibliografía
eu_rights_str_mv openAccess
format bachelorThesis
id RAD_2d1d2a944e3731bd2f1cfecb9c83fa2a
identifier_str_mv Zuluaga González, D. I. (2018). Búsqueda inteligente de contraejemplos para la inferencia de lenguajes (Trabajo Integrador). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/3873
instacron_str Universidad ORT
institution Universidad ORT
instname_str Universidad ORT Uruguay
language eng
language_invalid_str_mv Inglés
network_acronym_str RAD
network_name_str RAD
oai_identifier_str oai:rad.ort.edu.uy:20.500.11968/3873
publishDate 2018
reponame_str RAD
repository.mail.fl_str_mv rodriguez_v@ort.edu.uy
repository.name.fl_str_mv RAD - Universidad ORT Uruguay
repository_id_str 3927
spelling Mayr Ojeda, FranzFabián Yovine, SergioPérez, GervasioSzasz Cerutti, Nora AdrianaChacón Levin, Kevin MathiasZuluaga González, Diego Ignacio2018-12-14T07:54:58Z2018-12-14T07:54:58Z2018Incluye bibliografíaIncluye archivos complementarios.En este trabajo se busca implementar y analizar métodos inteligentes de búsqueda de contraejemplos bajo el framework de aprendizaje conocido como Probably Approximately Correct Learning. El objetivo es analizar el impacto de dicha búsqueda a la hora de inferir lenguajes con autómatas finitos deterministas a partir de redes neuronales recurrentes.78 p. diagrs., fot., tbls., grafs.Zuluaga González, D. I. (2018). Búsqueda inteligente de contraejemplos para la inferencia de lenguajes (Trabajo Integrador). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/3873http://hdl.handle.net/20.500.11968/3873http://hdl.handle.net/20.500.11968/3873InglésengUniversidad ORT Uruguayhttps://bibliotecas.ort.edu.uy/bibid/88071PROYECTOS-IDAPRENDIZAJE PACINTELIGENCIA ARTIFICIAL EXPLICABLE (XAI)LENGUAJES DE PROGRAMACIÓNSOFTWARE-DESARROLLOBúsqueda inteligente de contraejemplos para la inferencia de lenguajesTrabajo final de carrerainfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionreponame:RADinstname:Universidad ORT Uruguayinstacron:Universidad ORTinfo:eu-repo/semantics/openAccessFI - Licenciatura en Ingeniería de software - IDFacultad de IngenieríaCarrera UniversitariaLicenciado en Ingeniería de SoftwareTrabajo IntegradorTrabajo Integrador (Carrera Universitaria). Universidad ORT Uruguay, Facultad de IngenieríaTHUMBNAILMaterial completo.pdf.jpgMaterial completo.pdf.jpgGenerated Thumbnailimage/jpeg3611https://rad.ort.edu.uy/bitstreams/396d227b-43e8-4a98-ab8e-2dffdee394f4/downloadde279b5f75f63eaadf40ad1a0f5789f0MD53ORIGINALMaterial completo.pdfMaterial completo.pdfdescriptionapplication/pdf1310141https://rad.ort.edu.uy/bitstreams/07e71336-9379-4908-b0ea-8fd8901cfec9/download5811f9cbfba768cd47fc546fe29e93f3MD5120.500.11968/38732024-07-22 15:45:01.672oai:rad.ort.edu.uy:20.500.11968/3873https://rad.ort.edu.uyUniversidadhttps://www.ort.edu.uy/https://rad.ort.edu.uy/server/oai/requestrodriguez_v@ort.edu.uyUruguayopendoar:39272024-07-22T15:45:01RAD - Universidad ORT Uruguayfalse
spellingShingle Búsqueda inteligente de contraejemplos para la inferencia de lenguajes
Chacón Levin, Kevin Mathias
PROYECTOS-ID
APRENDIZAJE PAC
INTELIGENCIA ARTIFICIAL EXPLICABLE (XAI)
LENGUAJES DE PROGRAMACIÓN
SOFTWARE-DESARROLLO
status_str publishedVersion
title Búsqueda inteligente de contraejemplos para la inferencia de lenguajes
title_full Búsqueda inteligente de contraejemplos para la inferencia de lenguajes
title_fullStr Búsqueda inteligente de contraejemplos para la inferencia de lenguajes
title_full_unstemmed Búsqueda inteligente de contraejemplos para la inferencia de lenguajes
title_short Búsqueda inteligente de contraejemplos para la inferencia de lenguajes
title_sort Búsqueda inteligente de contraejemplos para la inferencia de lenguajes
topic PROYECTOS-ID
APRENDIZAJE PAC
INTELIGENCIA ARTIFICIAL EXPLICABLE (XAI)
LENGUAJES DE PROGRAMACIÓN
SOFTWARE-DESARROLLO
url http://hdl.handle.net/20.500.11968/3873

Resultados similares