%0 Conference Proceedings %T Learning Balls of Strings with Correction Queries %+ Research Group on Mathematical Linguistics (GRLMC UNIVERSITAT ROVIRA I VIRGILI) %+ Laboratoire Hubert Curien (LHC) %A Becerra Bonache, Leonor %A de La Higuera, Colin %A Janodet, Jean-Christophe %A Tantini, Frédéric %< avec comité de lecture %( Machine Learning: ECML 2007 %B 18th European Conference on Machine Learning %C Varsovie, Poland %P 18-29 %8 2007-09-17 %D 2007 %K Grammatical Inference %K Oracle Learning %K Correction Queries %K Edit Distance %K Balls of Strings. %K Balls of Strings %Z Computer Science [cs]/Machine Learning [cs.LG] %Z Computer Science [cs]/Computation and Language [cs.CL]Conference papers %X During the 80's, Angluin introduced an active learning paradigm, using an Oracle, capable of answering both membership and equivalence queries. However, critical evidence tends to show that if the former are often available, this is usually not the case of the latter. We propose new queries, called correction queries, which we study in the framework of Grammatical Inference. When a string is submitted to the Oracle, either she validates it if it belongs to the target language, or she proposes a correction, i.e., a string of the language close to the query with respect to the edit distance. We also introduce a non-standard class of languages: The topological balls of strings. We show that this class is not learnable in Angluin's Mat model, but is with a linear number of correction queries. We conduct several experiments with an Oracle simulating a human Expert, and show that our algorithm is resistant to approximate answers. %G English %L ujm-00176268 %U https://ujm.hal.science/ujm-00176268 %~ UNIV-ST-ETIENNE %~ IOGS %~ CNRS %~ LAHC %~ PARISTECH %~ UDL