skip to main content
10.1145/2983468.2983502acmotherconferencesArticle/Chapter ViewAbstractPublication PagescompsystechConference Proceedingsconference-collections
research-article

Gl-learning: an optimized framework for grammatical inference

Published:23 June 2016Publication History

ABSTRACT

In this paper, we present a new open-source software library, Gl-learning, for grammatical inference. The rise of new application scenarios in recent years has required optimized methods to address knowledge extraction from huge amounts of data and to model highly complex systems. Our library implements the main state-of-the-art algorithms in the grammatical inference field (RPNI, EDSM, L*), redesigned through the OpenMP library for a parallel execution that drastically decreases execution times. To our best knowledge, it is also the first comprehensive library including a noise tolerance learning algorithm, such as Blue*, that significantly broadens the range of the potential application scenarios for grammar models. The modular design of our C++ library makes it an efficient and extensible framework for the design of further novel algorithms.

References

  1. Hasan Ibne Akram et al. "Grammatical Inference Algorithms in MATLAB". In: Proc. of the 10th Int. Conf. on Grammatical Inference. ICGI'10. Valencia, Spain, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Alessandra De Paola, Marco La Cascia, Giuseppe Lo Re, Marco Morana, Marco Ortolani. "Mimicking biological mechanisms for sensory information fusion". In: Biologically Inspired Cognitive Architectures 3 (2013), pp. 27--38.Google ScholarGoogle ScholarCross RefCross Ref
  3. Alessandra De Paola, Salvatore Gaglio, Giuseppe Lo Re, Fabrizio Milazzo, Marco Ortolani. "Adaptive Distributed Outlier Detection for WSNs". In: IEEE Transactions on Cybernetics PP.99 (2014), pp. 1--12.Google ScholarGoogle Scholar
  4. Alfonso Farruggia, Giuseppe Lo Re, Marco Ortolani. "Detecting faulty wireless sensor nodes through Stochastic classification". In: IEEE Int. Conf. on Pervasive Computing and Communications Workshops. Mar. 2011, pp. 148--153.Google ScholarGoogle ScholarCross RefCross Ref
  5. Dana Angluin. "Learning Regular Sets from Queries and Counterexamples". In: Information and Computation (Nov. 1987). Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Dana Angluin. "Queries and concept learning". In: Machine learning 2.4 (1988). Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. A. W. Biermann et al. "On the Synthesis of Finite-State Machines from Samples of Their Behavior. In: IEEE Trans. Comput. 21.6 (June 1972). Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Benedikt Bollig et al. "libalf: The Automata Learning Framework". In: Computer Aided Verification: 22nd International Conference, Edinburgh, UK. Springer, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Miguel Bugalho et al. "Inference of Regular Languages Using State Merging Algorithms with Search". In: Pattern Recogn. 38.9 (Sept. 2005). Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Matthew S. Collins et al. "Efficient Induction of Finite State Automata". In: Proc. of the 13th Conf. on Uncertainty in Artificial Intelligence. 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Leonardo Dagum et al. "OpenMP: An Industry-Standard API for Shared-Memory Programming". In: IEEE Comput. Sci. Eng. (Jan. 1998). Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Lee Giles et al. "Noisy time series prediction using recurrent neural networks and grammatical inference". In: Machine learning (2001). Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. E. Mark Gold. "Language identification in the limit". In: Information and control (1967).Google ScholarGoogle Scholar
  14. Andreas Hagerer et al. "Model generation by moderated regular extrapolation". In: Fundamental Approaches to Software Engineering. Springer, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Colin de la Higuera. Grammatical Inference: Learning Automata and Grammars. New York, NY, USA: Cambridge University Press, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Hopcroft et al. Introduction to Automata Theory, Languages, and Computation. 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Ramon Janssen et al. Learning a state diagram of TCP using abstraction. 2013.Google ScholarGoogle Scholar
  18. George H John et al. "Irrelevant features and the subset selection problem". In: Machine learning: eleventh international conference. 1994.Google ScholarGoogle Scholar
  19. Kevin J. Lang et al. "Results of the Abbadingo One DFA Learning Competition and a New Evidence-Driven State Merging Algorithm". In: Proc. of the 4th Intl Colloquium on Grammatical Inference. ICGI '98. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Tim Oates et al. "Motif discovery in spatial trajectories using grammar inference". In: Proc. of ACM Int. Conf. on Information & Knowledge management. 2013, pp. 465--468. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Jose Oncina et al. "Identifying Regular Languages In Polynomial Time". In: advances in structural and syntactic pattern recognition. World Scientific, 1992.Google ScholarGoogle Scholar
  22. Pietro Cottone, Salvatore Gaglio, Giuseppe Lo Re, Marco Ortolani. "A machine learning approach for user localization exploiting connectivity data". In: Engineering Applications of Artificial Intelligence 50 (2016), pp. 125--134. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Pietro Cottone, Salvatore Gaglio, Giuseppe Lo Re, Marco Ortolani. "User activity recognition for energy saving in smart homes". In: Pervasive and Mobile Computing 16, Part A (2015), pp. 156--170. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Harald Raffelt et al. "LearnLib: A Library for Automata Learning and Experimentation". In: Fund. Approaches to Software Engineering. Springer, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. R. L. Rivest et al. "Inference of Finite Automata Using Homing Sequences". In: Proc. of the 21st ACM Symposium on Theory of Computing. ACM, 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. Salvatore Gaglio, Giuseppe Lo Re, Marco Morana. "A Framework for Real-time Twitter Data Analysis". In: Computer Communications (Jan. 2016), pp. 236--242. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Marc Sebban et al. BLUE: a Blue-Fringe Procedure for Learning DFA with Noisy Data.Google ScholarGoogle Scholar

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in
  • Published in

    cover image ACM Other conferences
    CompSysTech '16: Proceedings of the 17th International Conference on Computer Systems and Technologies 2016
    June 2016
    466 pages
    ISBN:9781450341820
    DOI:10.1145/2983468

    Copyright © 2016 ACM

    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 23 June 2016

    Permissions

    Request permissions about this article.

    Request Permissions

    Check for updates

    Qualifiers

    • research-article
    • Research
    • Refereed limited

    Acceptance Rates

    CompSysTech '16 Paper Acceptance Rate55of117submissions,47%Overall Acceptance Rate241of492submissions,49%
  • Article Metrics

    • Downloads (Last 12 months)6
    • Downloads (Last 6 weeks)1

    Other Metrics

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader