> program induction is in fact too general to be very interesting
Intelligence is general and is capable of coping with novel problems. AI therefore invovles building machines which have that level of generality. To say this isn't interesting is to say AI isn't interesting.
If you published exactly the problems that were going to be in the test, programs would be written that would solve those problems but would be very poor at doing anything else.
Anyway here are some input-output pairs that I think would be suitable for a learning program:
(i) append 'x' to the end of the string:
r => rx
123 => 123x
Similarly other insertions, deletions, copies of characters or groups of characters.
(ii) learning Roman or Arabic numerals or other number-coding schemes:
/ => i
// => ii
/// => iii
///////// => ix
3 => xxx
7 => xxxxxxx
9 => xxxxxxxxx
11 => xxxxxxxxxxx
Ideally, once the program has learnt the above two functions it should have an understanding of the underlying concepts and therefore find it easier to learn functions such as:
iii => 3
xii => 12
xvi => 16
Intelligence is general and is capable of coping with novel problems. AI therefore invovles building machines which have that level of generality. To say this isn't interesting is to say AI isn't interesting.
If you published exactly the problems that were going to be in the test, programs would be written that would solve those problems but would be very poor at doing anything else.
Anyway here are some input-output pairs that I think would be suitable for a learning program:
(i) append 'x' to the end of the string:
r => rx 123 => 123x
Similarly other insertions, deletions, copies of characters or groups of characters.
(ii) learning Roman or Arabic numerals or other number-coding schemes:
/ => i // => ii /// => iii ///////// => ix
3 => xxx 7 => xxxxxxx 9 => xxxxxxxxx 11 => xxxxxxxxxxx
Ideally, once the program has learnt the above two functions it should have an understanding of the underlying concepts and therefore find it easier to learn functions such as:
iii => 3 xii => 12 xvi => 16