Búsqueda inteligente de contraejemplos para la inferencia de lenguajes

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

Supervisor(es): Mayr Ojeda, Franz - Fabián Yovine, Sergio

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_ 1876561951393316864
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
940cf743dc0e6020e933f53126a9c5de
bitstream.checksumAlgorithm.fl_str_mv MD5
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
https://rad.ort.edu.uy/bitstreams/bee05bb2-9992-48e9-a3a6-a6eb105886a6/download
collection RAD
dc.contributor.tribunal.es.fl_str_mv Pérez, Gervasio
Szasz Cerutti, Nora Adriana
dc.creator.advisor.none.fl_str_mv Mayr Ojeda, Franz
Fabián Yovine, Sergio
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.none.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 Pérez, GervasioSzasz Cerutti, Nora AdrianaChacón Levin, Kevin MathiasZuluaga González, Diego IgnacioMayr Ojeda, FranzFabián Yovine, Sergio2018-12-14T07:54:58Z2018-12-14T07:54:58Z2018Zuluaga 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/3873Incluye 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.InglésengUniversidad ORT UruguayPROYECTOS-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/publishedVersioninfo:eu-repo/semantics/bachelorThesishttps://bibliotecas.ort.edu.uy/bibid/88071reponame:RADinstname:Universidad ORT Uruguayinstacron:Universidad ORTinfo:eu-repo/semantics/openAccessFacultad de IngenieríaCarrera UniversitariaLicenciado en Ingeniería de SoftwareTrabajo IntegradorTrabajo Integrador (Carrera Universitaria). Universidad ORT Uruguay, Facultad de IngenieríaFI - Licenciatura en Ingeniería de software - IDTHUMBNAILMaterial completo.pdf.jpgWritten by FormatFilter org.dspace.app.mediafilter.PDFBoxThumbnail on 2024-07-22T18:45:01Z (GMT).Generated Thumbnailimage/jpeg3611https://rad.ort.edu.uy/bitstreams/396d227b-43e8-4a98-ab8e-2dffdee394f4/downloadde279b5f75f63eaadf40ad1a0f5789f0MD53ORIGINALMaterial completo.pdfDSpace Rest apidescriptionapplication/pdf1310141https://rad.ort.edu.uy/bitstreams/07e71336-9379-4908-b0ea-8fd8901cfec9/download5811f9cbfba768cd47fc546fe29e93f3MD51TEXTMaterial completo.pdf.txtWritten by FormatFilter org.dspace.app.mediafilter.TikaTextExtractionFilter on 2026-07-10T18:04:21Z (GMT).Extracted texttext/plain95713https://rad.ort.edu.uy/bitstreams/bee05bb2-9992-48e9-a3a6-a6eb105886a6/download940cf743dc0e6020e933f53126a9c5deMD5420.500.11968/38732026-07-10 15:04:21.59open.accessoai:rad.ort.edu.uy:20.500.11968/3873https://rad.ort.edu.uyhttps://rad.ort.edu.uy/Universidadhttps://www.ort.edu.uy/https://rad.ort.edu.uy/server/oai/requestrodriguez_v@ort.edu.uyUruguayopendoar:39272026-07-10T18:04:21RAD - 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