Active learning of symbolic automata over rational numbers

Simple item page
dc.catalogadorgjm
dc.contributor.advisorRiveros Jaeger, Cristian
dc.contributor.advisorToro Icarte, Rodrigo Andrés
dc.contributor.authorHagedorn Gaete, Sebastián Alfonso
dc.contributor.otherPontificia Universidad Católica de Chile. Escuela de Ingeniería
dc.date.accessioned2025-12-03T16:10:28Z
dc.date.available2025-12-03T16:10:28Z
dc.date.issued2025
dc.descriptionTesis (Master of Science in Engineering)--Pontificia Universidad Católica de Chile, 2025.
dc.description.abstractEl aprendizaje de autómatas tiene muchas aplicaciones en inteligencia artificial e ingeniería de software. Un aporte clave para estas aplicaciones es el algoritmo L⇤, introducido por (Angluin, 1987). El algoritmo L⇤ aprende autómatas deterministas (DFAs, en inglés) en tiempo polinomial cuando se provee un profesor MAT (minimally adequeate teacher). Desafortunadamente, el algoritmmo L⇤ solo puede aprender DF As sobre alfabetos finitos, lo que limita su aplicacion en escenarios más complejos. En este trabajo, extendemos el algoritmo L⇤ para aprender autómatas simbólicos, aquellos en que sus transiciones pueden usar predicados de desigualdad sobre numeros racionales, es decir, sobre alfabetos infinitos y densos. Nuestro resultado logra que el algoritmo L⇤ pueda ser aplicable en nuevos escenarios reales como RGX (reales) y series de tiempo. En adición, nuestro algoritmo propuesto es óptimo dado que realiza un número lineal de consultas al profesor con respecto al número de transiciones y el tamaño de la representación de los predicados.
dc.fechaingreso.objetodigital2025-12-03
dc.format.extentviii, 53 páginas
dc.fuente.origenSRIA
dc.identifier.urihttps://repositorio.uc.cl/handle/11534/107239
dc.information.autorucEscuela de Ingeniería; Riveros Jaeger, Cristian; 0000-0003-0832-116X; 131276
dc.information.autorucEscuela de Ingeniería; Toro Icarte, Rodrigo Andrés; 0000-0002-7734-099X; 170373
dc.information.autorucEscuela de Ingeniería; Hagedorn Gaete, Sebastián Alfonso; S/I; 1087164
dc.language.isoen
dc.nota.accesocontenido completo
dc.rightsacceso abierto
dc.subject.ddc620
dc.subject.ods04 Quality education
dc.subject.ods09 Industry, innovation and infrastructure
dc.subject.odspa04 Educación de calidad
dc.subject.odspa09 Industria, innovación e infraestructura
dc.titleActive learning of symbolic automata over rational numbers
dc.typetesis de maestría
sipa.codpersvinculados131276
sipa.codpersvinculados170373
sipa.codpersvinculados1087164
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
TESIS_SHagedorn.pdf
Size:
1.21 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.98 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
ING Tesis magíster