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

M>>Можете написать, что сейчас в мире на эту тему происходит?
B>CMS, по-моему одни из немногих систем, которые в этом чего-то добились.

Спасибо за дельный ответ!

Ну, когда я в студенчестве этим занимался, уже тогда было ясно, что замену программистам запрограммировать
в ближайшие N лет не получится. Но может получится для хорошо специфицированных областей: некоторых
разделов математики, физики, химии. Я вот занимался "школьной геометрией" -- некое работающее средство
получилось. У нас на кафедре аспиранты делали генераторы решателей для некоторых разделов химии, тоже
что-то получалось (не знаю, насколько успешно).

Вот, порылся на Google Scholar -- воз и ныне почти там же, только сдвинулся в Constraint Programming...