Advertisement

Deriving Formulas for Integer Sequences Using Inductive Programming

  • Les De RidderEmail author
  • Thijs Vercammen
Conference paper
  • 191 Downloads
Part of the Communications in Computer and Information Science book series (CCIS, volume 1021)

Abstract

Solving integer sequences, correctly predicting the next number in a given sequence, is a challenging task for both humans and artificial intelligence. We present a method to derive a formula for an integer sequence given a subsequence. By splitting the known subsequence into ‘windows’, we can derive constraints in the form of linear combinations, which can be generalised to find a formula for the complete sequence. This approach is effective and can compete with existing methods based on pattern recognition and Artificial Neural Networks with regard to performance, success rate, and output quality.

Keywords

Integer sequences Number series Inductive programming Linear combinations 

Notes

Acknowledgements

We would like to thank our supervisor Prof. Luc De Raedt for his guidance and support during our bachelor’s thesis.

References

  1. 1.
    Düsel, M., Werner, A., Zeißner, T.: Solving number series with the MagicHaskeller. Technical report, University of Bamberg (2012)Google Scholar
  2. 2.
    Hernández-Orallo, J., Martínez-Plumed, F., Schmid, U., Siebers, M., Dowe, D.L.: Computer models solving intelligence test problems: progress andimplications. Artif. Intell. 230, 74–107 (2016).  https://doi.org/10.1016/j.artint.2015.09.011. http://www.sciencedirect.com/science/article/pii/S0004370215001538CrossRefGoogle Scholar
  3. 3.
    Milovec, M.: Applying inductive programming to solving number series problems. Master’s thesis, University of Bamberg (2014)Google Scholar
  4. 4.
    OEIS Foundation Inc.: The Online Encyclopedia of Integer Sequences (2018). https://oeis.org/
  5. 5.
    Ragni, M., Klein, A.: Predicting numbers: an AI approach to solving number series. In: Bach, J., Edelkamp, S. (eds.) KI 2011. LNCS (LNAI), vol. 7006, pp. 255–259. Springer, Heidelberg (2011).  https://doi.org/10.1007/978-3-642-24455-1_24CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Department of Computer ScienceKU LeuvenLeuvenBelgium

Personalised recommendations