Semi-analytic natural number series induction

Authors:
Michael Siebers;Ute Schmid
Affiliations:
Cognitive Systems Group, Faculty Information Systems and Applied Computer Science, University of Bamberg, Germany;Cognitive Systems Group, Faculty Information Systems and Applied Computer Science, University of Bamberg, Germany
Venue:
KI'12 Proceedings of the 35th Annual German conference on Advances in Artificial Intelligence
Year:
2012

Citing 3
Cited 1

E-generalization using grammars

Artificial Intelligence
Predicting numbers: an AI approach to solving number series

KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Inductive rule learning on the knowledge level

Cognitive Systems Research

Bounded kolmogorov complexity based on cognitive models

AGI'13 Proceedings of the 6th international conference on Artificial General Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

The induction of natural number series is a prototypical intelligence test task. We present a system which solves this task semi-analytically. As first step the term structure defining a given number series is guessed. Then the semi-instantiated formula is used to abduct new number series examples which can be solved more easily.