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

Для описанного подхода можно предложить сделать классическую экспертную систему по решению задач ХОЛ -- судя по описанному, это ровно тот самый случай ;) Причем наверняка такие экспертные системы уже делаются массово (ежели вообще логический подход можно считать массовым :) Я вчера на заседании INCOSE пытался объяснить нескольким человекам, что в логиках произошел качественный скачок: в агентском подходе вовсю пытаются юзать темпоральные логики, плюс появились эффективные SAT-солверы, плюс железо в виде видеоплат дает еще порядок в скорости. Но мне как-то не верили, что "нп-полнота несколько похудела"...