Про следующую логику в экспертных системах

Подумалось: очевидное применение "следующей" логики - экспертные системы (ЭС). А точнее, чтобы ЭС сама могла находить новые закономерности вида "если ... то ..." и применять их. Как я понимаю, такие закономерности можно было вписать только "ручками" в виде операторов if ... then ... else или в виде скрипта, но, опять же, построенного человеком. Теперь их можно вычислять на основе БД.

Берем предполагаемую закономерность "если A, то B", где A и B - формулы (в формате ЭС), зависящие от параметров (свободных переменных в терминах математики). В простейшем случае запускаем перебор по всем комбинациям параметров. Убеждаемся, что:
1) Существует комбинация, при которой истинно A
2) Cуществует комбинация, при которой ложно B
3) Не существует комбинация, при которой одновременно истинно A и ложно B
Если все это выполняется, то ЭС получает себе новое правило вывода:
"Если A, то B"

Покаяние!

Сегодня на одном форуме зашел разговор об НЛП. Слушая товарищей, осознал, что отношусь к НЛП негативно. А помнится сколько-то месяцев назад довольно рьяно защищал НЛП на science_freaks. Надо сказать, на мое мнение больше всего повлияли спокойные и разумные посты Волхонского (забыл, как его ЖЖ правильно пишется), а не кидание какашками со стороны завсегдатаев (как стая макак ей богу) и не начальственные окрики тамошнего модератора (временами вполне адекватного дядьки).

Так что... "тгавля", господа, не очень действенный метод. К некоторым лучше с лаской ;)