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
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
Note that n can often be infinite.
References
Düsel, M., Werner, A., Zeißner, T.: Solving number series with the MagicHaskeller. Technical report, University of Bamberg (2012)
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/S0004370215001538
Milovec, M.: Applying inductive programming to solving number series problems. Master’s thesis, University of Bamberg (2014)
OEIS Foundation Inc.: The Online Encyclopedia of Integer Sequences (2018). https://oeis.org/
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_24
Acknowledgements
We would like to thank our supervisor Prof. Luc De Raedt for his guidance and support during our bachelor’s thesis.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
De Ridder, L., Vercammen, T. (2019). Deriving Formulas for Integer Sequences Using Inductive Programming. In: Atzmueller, M., Duivesteijn, W. (eds) Artificial Intelligence. BNAIC 2018. Communications in Computer and Information Science, vol 1021. Springer, Cham. https://doi.org/10.1007/978-3-030-31978-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-31978-6_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-31977-9
Online ISBN: 978-3-030-31978-6
eBook Packages: Computer ScienceComputer Science (R0)