Без заголовка

Я просто уверен, что мы generative design понимаем несколько по разному. но не знаю в чем конкретно различия. Свой взгляд я описал тут http://avlasov.livejournal.com/136979.html понятно дело он в основном навеян софтовыми проблемами. Вобщем-то генерация тестов и автоматическое доказательство теорем можно рассатривать как генерейтив дизайн. С тестами очевидно, а в случае теорем нам фактически тоже нужно сгенерить доказательство. Ну и разные theorem provers просто используют разные подходы к конструированию этого доказательства, хотя иногда это может быть и в неявной форме.