во время чтения оодной книги по ИИ заинтересовала идея использования лабиринтного поиска для кодогенерации.
официально GPS считается тупиковым путем, но мне интересно использовал ли его кто-нибудь таким образом, какие получились результаты и с какими проблемами столкнулись?

Здравствуйте, kislotnik, Вы писали:

K>во время чтения оодной книги по ИИ заинтересовала идея использования лабиринтного поиска для кодогенерации.
K>официально GPS считается тупиковым путем, но мне интересно использовал ли его кто-нибудь таким образом, какие получились результаты и с какими проблемами столкнулись?

Насыщение равенствами, вкратце: из кусочка программы строим эквивалентные ему путём обхода вширь. Как раз поиск по лабиринту.

Исходники для ознакомления, на Хаскеле.

Здравствуйте, thesz, Вы писали:

T>Насыщение равенствами, вкратце: из кусочка программы строим эквивалентные ему путём обхода вширь. Как раз поиск по лабиринту.

Я правильно понимаю, что по ссылке term rewriting в чистом виде?

Здравствуйте, Aleх, Вы писали:

A>Здравствуйте, thesz, Вы писали:

T>>Насыщение равенствами, вкратце: из кусочка программы строим эквивалентные ему путём обхода вширь. Как раз поиск по лабиринту.

A>Я правильно понимаю, что по ссылке term rewriting в чистом виде?

Любое вычисление сводится к term rewriting. Поэтому, да, по ссылке term rewriting в чистом виде.

Там ещё оптимизации со схлопыванием равных выражений (a+0 -> a <- a+1-1) в одно. Это важная часть.