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

[psilogic]

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

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

Comments

[ex-terrible.livejournal.com]

Есть некоторые проблемы с:
1) Полнотой баз данных (например, при ненаблюдаемом C выражение A&C=>B "уловить" будет невозмойшно; кроме того, при верном A&C=>B, если всегда C было истинно, можно сдуру принять A=>B).
2) Численными данными.

А вообще да. Дайте мне Баз Данных™, и я переверну мир.

[psilogic.livejournal.com]

Йопт, ну хоть один человек по делу прокомментил. Все-таки проф. математики - зануды :))))

При верном A&C => B и всегда истинном A верно также A => B, разве не так?

[ex-terrible.livejournal.com]

Ну, то что до опыта C всегда было верно, не значит, что после опыта C будет верно ;)

я не математег, я экономист ;)

[psilogic.livejournal.com]

> Ну, то что до опыта C всегда было верно, не значит, что после опыта C будет верно ;)

Ну да, так и должно быть - ЭС ведь обычно обучаема.

можно сдуру принять A=>B

[http://users.livejournal.com/sharper_/]

К сожалению так ЕИ часто и делает