PROSPECTOR изнутри Хабрахабр. Если есть возможность, лучше не разрабатывать экспертные системы с. В мире разработано множество экспертных систем, в данном посте хотелось бы рассмотреть структуру и логику работы одной из древних ЭС под названием PROSPECTOR. Общие понятия. Экспертная система компьютерная система, способная частично заменить специалиста эксперта в разрешении проблемной ситуации. PROSPECTOR геологоразведочная экспертная система, предназначена для геологической разведки месторождений полезных ископаемых. Краткое описание системы. Система PROSPECTOR работает с нечеткими данными и нечеткими знаниями. Работа системы основана на нечеткой логике и хорошо применяется для различным областей. Однако несмотря на возможности используемой модели, логика работы ЭС отличается от человеческой логики и поэтому пользователю может быть непонятен смысл вопросов системы. В связи с этим, система, конструируемая на основе логики системы PROSPECTOR должна уметь объяснять ход своих мыслей. Алгоритм работы. Работа системы представляет собой диалог между системой и пользователем. В ходе диалога система получает от пользователя информацию о наблюдениях на основании которых делает определенные выводы. Последовательность шагов выглядит так Система выбирает наблюдение, которое в большей степени изменяет шансы целевой гипотезы в системе PROSPECTOR это наличие тех или иных полезных ископаемыхСистема спрашивает у пользователя о наличии выбранного наблюдения. Пользователь отвечает системе о присутствии наблюдения, причем ответом является число в диапазоне от 5 до 5, где 5 это определенно нет, 5 это определенно да, а 0 означает не знаю. После получения ответа пользователя, в семантической сети проходит волна изменений пересчитываются шансы гипотез, на которые влияет наблюдение. В настоящее время экспертные системы используются для решения различных типов задач в самых разнообразных проблемных областях, таких, как. Экспертная система Животные. Описание программы, полезной для курса программирования Логическое программирование. Вот, примерчик простенький по Вижуалке есть. Чем хорош показывает, как одинаковые документы поразному обрабатывать. Решил может, в. Базовые понятия. Методика построения. Статистический подход пример. Экспертные системы, базовые понятия. Об экспертных системах ЭС можно. Если шансы целевой гипотезы устраивают пользователя, то система заканчивает диалог, иначе шаг 1. Структура БЗ. База знаний представляет собой семантическую сеть, составленную на основе знаний экспертов в предметной области. Экспертная Система Пример' title='Экспертная Система Пример' />Семантическая сеть. Элементами семантической сети являются гипотезы, наблюдения и связи между ними. Для примера семантическая сеть может выглядеть так Относительно друг друга, гипотезы тоже являются наблюдениями. Например, H2 это наблюдение для гипотезы Н1. PROSPECTOR геологоразведочная экспертная система, предназначена для. Для примера семантическая сеть может выглядеть так. Основным достоинством оболочки экспертных систем G2 для. В семантической сети допустимы следующие отношения Гипотеза может зависеть от нескольких наблюдений. Наблюдение может влиять на несколько гипотез. Каждая гипотеза имеет шансы О и вес С. Вес это значение, получаемое от пользователя на вопросы системы для наблюдений, другими словами можно сказать, что вес это степень возможности данного наблюдения. Шанс это степень верности данной гипотезы по сути та же самая вероятность. Формула зависимости выглядит так Для гипотез шансы вычисляются по формуле До начала использования ЭС, все гипотезы имеют, изначально заданные экспертом, априорные шансы. Веса связей С гипотез и наблюдений равняются 0. Связи семантической сети. Общие понятия. Каждая связь узлов гипотез и наблюдений в семантической сети имеет коэффициенты LS и LN. LS это коэффициент достаточности LN это коэффициент необходимости Коэффициенты LS и LN задаются самим экспертом на основе своего опыта и статистических данных. При разных значениях, коэффициенты могут иметь разный смысл LS LN наблюдение Е никак не влияет на гипотезу Н. LS 1 наличие наблюдения Е не влияет на гипотезу Н. LN 1 отсутствие наблюдения Е не влияет на гипотезу Н. LS 1 наблюдение Е сильно влияет на гипотезу Н чем больше значение, тем больше влияет. LN lt 1 гипотеза Н сильно нуждается в наблюдении Е чем меньше значение, тем больше нуждается. Логические связи. Логические связи это операции математической логики И, ИЛИ, НЕ. Связи накладывают ограничения на гипотезы, которые можно интерпретировать так Для существования гипотезы Н1 должны быть определены оба наблюдения Е1 и Е2 связь И. Все наблюдения для данной связи задаются одновременно. Для существования гипотезы Н1 должно быть определено хотя бы одно наблюдение Е1 или Е2 связь ИЛИ. Коэффициенты LS и LN устанавливаются для всей связи, а не для каждого наблюдения. Вес также устанавливается для связи и вычисляется по формуле Для И С min C1, C2,. Контекстные связи. Данные связи указывают какие вопросы должны задаваться в первую очередь. Например, на рисунке слева прежде чем система задаст вопрос касательно гипотезы Н3, необходимо чтобы вес С гипотезы Н2 находился в интервале от 0 до 5 включительно, то есть был дан положительный ответ касательно гипотезы Н2. Данные связи не имеют коэффициентов достаточности LS и необходимости LN. Продукционные связи. Связи вида Если. Для связей данного типа, веса вычисляются путем решения системы уравнений Для H1 максимальный и минимальные коэффициенты равняются Допустим для наблюдения Е1 С 2, LS 5. LN 0. 4для наблюдения Е2 С 3, LS 2. LN 0. 8. Таким образом мы получаем коэффициенты Получив коэффициенты мы можем вычислить функцию зависимости коэффициента k формула 2 от веса наблюдений. График функции k представлен ниже Функция k не является прямой, поэтому для сглаживания используется логарифмирование обратная операция возведения в степень Решив систему уравнений мы получаем функцию F После нахождения функции F не составит труда посчитать значение С для гипотезы Н1 Ниже представлены графики полученной функции F синий и функции k формула 2 красный Натуральный логарифм приведен для примера, в системе PROSPECTOR вычисления могут производиться иначе. Логопедическая Программа Дельфа далее. Для более точных результатов в качестве приближения можно использовать различные полиномы. Проходы в семантической сети. Проход изменение весов семантической сети. Подразделяются на два вида прямой и обратный. Прямой проход. Прямой проход выполняется, когда пользователь вносит новую информацию о наблюдениях и необходимо пересчитать шансы гипотез в соответствии с новыми данными. Алгоритм прямого прохода включает в себя шаги Устанавливаем для наблюдения полученное от пользователя значение весов СПоднимаемся вверх по иерархии к родительской гипотезы если родителя нет, то выходВычисляем значение веса С и шансы О для гипотезы по формулам 1 и 3 соответственно, переход к шагу 2. Обратный проход. Используется для нахождения вопроса системы наблюдения. Алгоритм состоит из шагов Находим все наблюдения которые влияют на целевую гипотезу. Для каждого наблюдения устанавливаем значение веса 5 и 5. Выполняем прямой проход для очередного наблюдения. Вычисляем отклонение значения шанса целевой гипотезы после прямого прохода. Возвращаем значения весов и шансов в исходное состояние. После выполнения проходов для всех наблюдений выделяем наблюдение которое в большей степени влияет изменяет на целевую гипотезу это и есть следующий вопрос системы. Пример. Допустим имеется семантическая сеть Целевой является гипотеза Н1. Шаг 1 выполняем обратный проход. В силу контекстной связи между H2 и H3, необходимо сначала получить значение С для Н2, поэтому обратный проход будет выполняться только для наблюдений E1, E2 и Е4. В силу логической связи E1 и E2, значение С будет присваиваться к самой связи. Всего будет выполнено 4 прямых прохода Е1. E2С5 H1. Е1. E2С 5 H1. Е4С5 H1. Е4С 5 H1. Вычисляем значение С и О для гипотезы Н2 для 1 варианта Е1. Е2 С5 1 Вычисляем вес С и шансы О для Н2 Коэффициент связей для гипотезы Н2 равен k kE1 E2 kE4Следовательно kmax LSE1 E2 LSE4 4. LNE1 E2 LNE4 0. Решаем систему уравнений из пункта 4. Подставим значение к 4. СЕ1. Е2 5, получаем СН2 3. ОН2 2. 80. 02 Вычисляем вес С и шансы О для Н1 Коэффициент связей для гипотезы Н1 равен k kH2 kH3Следовательно kmax LSH2 LSH3 5. LNH2 LNH3 0. Решаем систему уравнений из пункта 4. Вычислим значение k для СН2 3. Получаем СН1 1. ОН1 3. Oa Op 3. Аналогичным путем находим отклонения для остальных вариантов и получаем E1.