December 27th, 2007

Logo

Вопрос любопытного дилетанта или В поисках универсального языка

Имеем формальные правила, описываюшие некую структуру данных. Что она из себя предеставляет - мы не знаем. То ли это шахматная позиция, то ли ситуация в игре в покер, то ли еще что. Также мы имеем правила синтаксиса для выдаваемого результата. Мы можем сделать программу, которая на основе входных данных выдает некий ответ. Еще мы имеем фитнесс-функцию, способную сравнивать получившиеся программы.

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

Самое занятное, что в биологии такой "язык" сушествует. Само описание "синтаксической корректности" последовательностей нуклеотидов ничего не говорит про то, в каких условиях будет существовать получившийся организм. А в IT что-то подобное есть?