Есть ли программы, которые многократно пишут новые программы?

Вы слышали о нанопонд ? Концепция похожа на вашу. Каждому пикселю дается случайно сгенерированная строка, которая проходит через компилятор. Обычно это не дает никакой действующей программы. Однако время от времени случайно сгенерированная строка каким-то образом будет отформатирована идеально, чтобы иметь возможность воспроизвести себя в соседнем пикселе. Вскоре это превращается в битву за то, какая программа может воспроизводить лучше, чем другая.

То, о чем вы говорите, - это генетический алгоритм, да, но максимизация одного и только одного: способности воспроизводить.

Это основная причина всех естественных негэнтропических явлений: случайно сформированная сложная сущность имеет способность к воспроизводству.

Классические генетические алгоритмы налагают критерии искусственного воспроизводства - программа, которая выполняет работу лучше всего, искусственно выбирается для воспроизведения.

Вы имеете в виду своего рода вычислительный естественный отбор . То есть программы будут развиваться на основе их способности воспроизводить себя , и не более того.

Будет ли это что-то полезное? Возможно нет. Если вы, возможно, не предоставили своим программам доступ к Интернету или какому-либо другому внешнему API, к которому они могут получить произвольный доступ и, возможно, распространить через Интернет.

К сожалению, описанная вами система все еще имеет несколько искусственный критерий воспроизводства: способность компилировать.

Поскольку способность компилировать = способность воспроизводить, вы искусственно настроили свои программы так, чтобы они эволюционировали в сторону компиляции.

Что компилировать? Это не имеет значения, потому что любая компилируемая программа с такой же вероятностью будет воспроизведена, как и предыдущая. Допустим, вы каким-то образом создали программу, которая выводит последовательность Фибоначчи. Или программу, которая могла бы обыграть гроссмейстера по шахматам. Прохладный! К сожалению, это будет воспроизведено? Было бы это особенным?

Вовсе нет; она будет рассматриваться как «пригодная» для воспроизведения, как программа print ('k')

. Я предлагаю, возможно, использовать структуру произвольно запускаемых строк программ, которые имеют доступ к API и могут:

• Чтение / запись на жесткий диск, и внезапно у вас есть программы, которые могут записывать случайные строки как программы сами.
• Удалить / изменить другие файлы на жестком диске; это позволяет программам конкурировать друг с другом. Ваш API может быть спроектирован так, чтобы файл можно было удалить только в том случае, если «сила» (произвольное значение ... возможно, длина символа) программы сильнее, чем файл.
• Запускать другие сценарии на жестком диске ... возможно, даже те, которые они написали сами
• Доступ в Интернет; к веб-серверу? Возможность писать / прикреплять / отправлять / читать электронные письма?

Я думаю, что программа, которая пишет программы, которые могут воспроизводить себя, может дать лучшие результаты, чем программа, которая пишет программы, которые могут компилироваться.

Если только вы не хотите последнего; тогда, возможно, вы могли бы максимизировать длину программы. Но возможность чего-то интересного? Не так много; любая программа, которая «компилирует» с определенной длиной, будет столь же вероятна, как и «воспроизведение».

Другой проект, который вы могли бы сделать, - это работа над чем-то, что меняется от непрохождения определенного модульного теста до прохождения модульного теста.

Например, для данной реализации

def add(a,b)
  a
end

вы можете добавить тест

assert_equal 3, Foo.new.add(1,2)

и попросить свою программу попробовать любую комбинацию методов на a в add (например, a .- (b) , a.to_s , a. + (B) ) до тех пор, пока один из мутантов не пройдет этот тест и существующие тесты.

Вы можете посмотреть на heckle (или Zentest?) Примеры изменения тестируемого кода.

Ищите Грамматическую эволюцию

Оптимальной была бы программа что постоянно переписывает и улучшает

Выполните следующие действия:

1. Запишите генератор псевдослучайных чисел в сборку. (реальный режим)
2. Измените программу так, чтобы она записывала (например) 64 КБ случайных чисел и выполняла FAR JMP для первого байта.
3. (необязательно) Создайте драйвер для сторожевого таймера, чтобы предотвратить бесконечные циклы.
4. Загрузка в загрузочный сектор какого-либо устройства.
5. Возьмите несколько компьютеров. Настройте так, чтобы в случае тройного сбоя они перезагружались и загружались из загрузочного сектора вашего устройства.
6. Загрузите компьютеры и подождите несколько десятилетий (или столетий, что угодно), пока они не принесут что-то полезное
7. Прибыль!

Ранними, но очень интересными работами в этом направлении были «AM» Дуга Лената («Математик») и Eurisko (обобщение AM).

Эуриско развил набор юеристики, исследуя, как граничные условия влияют на решение проблемы. Он не сгенерировал мусор, а затем попробовал его, скорее, он взял слабый метод решения проблем и обнаружил случаи, когда он мог бы работать намного лучше, и создал исправленную версию решателя проблем.