Mayr Ojeda, FranzFabián Yovine, Sergio2018-12-142018-12-142018Zuluaga 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/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.PROYECTOS-IDAPRENDIZAJE PACINTELIGENCIA ARTIFICIAL EXPLICABLE (XAI)LENGUAJES DE PROGRAMACIÓNSOFTWARE-DESARROLLOTrabajo final de carrera