psilogic: (Default)
psilogic ([personal profile] psilogic) wrote2006-05-22 02:10 pm

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

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

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

[identity profile] http://users.livejournal.com/sharper_/ 2006-05-22 10:59 am (UTC)(link)
Сдается мне, что я читал о подобном в книжке И.Винценбаума "Возможности вычислительных машин и человеческий разум"

[identity profile] ex-terrible.livejournal.com 2006-05-22 11:02 am (UTC)(link)
Есть некоторые проблемы с:
1) Полнотой баз данных (например, при ненаблюдаемом C выражение A&C=>B "уловить" будет невозмойшно; кроме того, при верном A&C=>B, если всегда C было истинно, можно сдуру принять A=>B).
2) Численными данными.

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

[identity profile] diches.livejournal.com 2006-05-22 12:02 pm (UTC)(link)
Да это уже практически отход от дуалистического метода мышления!

[identity profile] ajbolit-np.livejournal.com 2006-05-22 02:58 pm (UTC)(link)
Прошу прощенья за оффтоп. Я письмо посылал, оно дошло или нет? Это был не спам. :)

[identity profile] daddym.livejournal.com 2006-05-22 06:20 pm (UTC)(link)
Дык насколько я помню материалы чуть ли не семидесятых использовали еще более продвинутые методы. Не двоичную логику, а расчет корреляций между событиями.

[identity profile] yaznaschur.livejournal.com 2006-05-25 07:16 pm (UTC)(link)
а вам знакомы четырехзначные логики и ДСМ-метод интеллектуального анализа данных?

[identity profile] pingwinwriter.livejournal.com 2006-06-19 06:19 pm (UTC)(link)
ооойййй,... ностальгия, лекциями по интеллектуальным информационным системам запахло