Búsqueda inteligente de contraejemplos para la inferencia de lenguajes
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.
| 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 |