Формальные основы ЭС (хрень, но вдруг пригодится)

Назначение ЭС

Цель исследования в этой области состоит в разработке программ кот при решении задач требуемых для эксперта, не уступающие по качеству и решению получаемые экспертом

Важность ЭС состоит в следующем

1) расширяет круг практически значимых задач решаемых на компьютере решение кот приносит значительный эффект.

2) объединение технологии и ЭС с технологией традиционного программирования добавляет новые качества программных продуктов за счет обеспечения динамической модификации приложений пользователем, а не программистом, больше прозрачности и лучшего интерфейса.

3) в перспективе ЭС найдут применение во всех фазах проектирования, разработки, производства, распределения и оказания услуг.

К неформальным задачам относятся такие, кот обладают одной или неск хар-ми:

1 задачи не м.б. заданы в числовой форме

2 цели не м.б. выражены в терминах точно определяющие целевую функцию

3 не существует алгоритмического решения задач

4 алгоритмич решения сущ., но его нельзя использовать из-за ограниченности ресурса(времени и памяти)

Особенности неформальных задач

§ Ошибочность

§ Неоднозначность

§ Неполнота

§ Противоречивость исходных данных

§ Множ значений о проблемной области и решаемой задачи

§ динамически изменяющиеся данные и значения

§ большая размерность пространства решения

Формальные основы ЭС (хрень, но вдруг пригодится)

Продукционные ЭС берут начало с работ Е.Поста, он показал, что прод.сист явл логической и эквивалентна машине Тъюринга, т.е. универсальна – любая формальная система, оперирующая символами м.б. реализована в виде одной из прод. с-м Поста.

Сист продукции Поста задается алфавитом и сист базисных функций

x_iW Wy_i, xi,yi- слова в алфавите С.

Пусть некоторое слово Y начинается словом x_i. Применить к Y продукцию x_iW →Wy_i - это значит вычеркнуть из Y начальный отрезок x_i и затем к оставшемуся слову приписать слово y_i. Например, применив к слову aba продукцию ab W → W c, получим слово ас.

Каждая сист продукции понимается как формальная сист с правилами вывода Рi. Рi(F,Y) выражение считается истинным, если слово Y получится из F при помощи продукции. Первая же из упорядоченных продукций, которая может быть применена к слову, применяется, изменяя слово. Затем процесс проверки применимости продукций продолжается, начиная с продукции, имеющей наивысший приоритет. Этот цикл "проверка (выполнение)" продолжается до тех пор, пока не найдется ни одной применимой продукции либо не будет применена некая продукция, помеченная как заключительная.

Псих. исслед. процессов принятия решений человеком показали, что рассуждая человек исп-т правила анал-е продукциям, т.е. в виде: усл-е – действие. А. Ньюэл предложил использ продукционной сист для моделирования процессов принятия решений. PS=<R,B,I>

R- рабочая память сист БД содержащая текущие данные

B- БЗ, содержащая множ продукций (правил и условий- действие)

I- интерпритатор (решатель) реализ процесс вывода кот в цикле выполняет след действия: - опред множ означиваний т.е. множ пар на кот это правило удовлетворяется

- вып-т опред-е означивания, производя изм-ие в рабочей памяти.

Интерпритатор м.б. представлен след образом: I=<V,S,K,W>

V- процесс выбора B из R подмнож активных продукций и подмнож B_v и R_v кот б. использ в опред цикле работы интерпритатора

S- процесс сопоставления опред-щий множ означиваний т.е. опред множ конкретных пар, правило Pi и сопоставляет конкретные данные di, di явл частью множ Rv

K- процесс разрешения конфликтов / планирования определений какое из означиваний б. выполняться

W- процесс осущ-й выполнение выбранного означ-го правила т.е. выполнение действий указанных правой частью правил

Поиск по сайту: