стериорные вероятности рассчитываются по уравнению
p(Hi |C1C3) 3p(C1 | Hi) p(C3 | Hi) p(Hi) ,i 1,2,3.
p(C1 | Hi ) p(C3 | Hi) p(Hk )
k 1
Таким образом,
P(Hi |C1C3) |
|
0,3 0,6 0,4 |
|
0,19; |
0,3 0,6 0,4 0,8 0,7 0,35 0,5 0,9 0,25 |
||||
P(H2 |C1C3) |
|
0,8 0,7 0,35 |
0,52; |
|
|
0,3 0,6 0,4 0,8 0,7 0,35 0,5 0,9 0,25 |
|||
P(H3 |C1C3) |
|
0,5 0,9 0,25 |
0,29. |
|
|
0,3 0,6 0,4 0,8 0,7 0,35 0,5 0,9 0,25 |
|||
Гипотеза Н2 теперь рассматривается как наиболее вероятная, т.к. доверие гипотезе Н1 резко уменьшается.
После наблюдения свидетельства С2 вычисляются последние апостериорные вероятности для всех гипотез:
p(Hi |C1C2C3) |
p(C1 | Hi) p(C2 | Hi ) p(C3 | Hi ) p(Hi) |
,i 1,2,3. |
|||||||
3 |
|||||||||
|
|
|
p(E1 | Hi) p(C2 | Hi) p(C3 | Hi) p(Hk ) |
|
|
|
|
|
|
|
|
|
k 1 |
|
|
|
|
|
|
Таким образом, |
|
|
|
|
|
|
|||
p(Hi |C1C2C3) |
|
|
0,3 0,9 0,6 0,4 |
|
|
|
|
0,45; |
|
0,9 0,3 0,6 0,4 0,8 0,0 0,7 0,35 0,5 0,7 0,9 0,25 |
|||||||||
p(H2 |C1C2C3) |
|
|
0,8 0,0 0,7 0,35 |
|
|
|
|
|
0; |
|
0,3 0,9 0,6 0,4 0,8 0,0 0,7 0,35 0,5 0,7 0,9 0,25 |
||||||||
p(H3 |C1C2C3) |
|
|
0,5 0,7 0,9 0,25 |
|
|
|
|
|
0,55. |
|
0,3 0,9 0,6 0,4 0,8 0,0 0,7 0,35 0,5 0,7 0,9 0,25 |
|
|||||||
Хотя первоначальное ранжирование, предложенное экспертом, было Н1, Н2 и Н3, только гипотезы Н1 и Н3 остались для рассмотрения после всех свидетельств (С1, С2 и С3), которые наблюдались. Гипотеза Н2 теперь может быть полностью исключена. Гипотеза Н3 теперь рассматривается как более предпочтительная, чем гипотеза Н1. При реализации байесовского подхода возникают некоторые проблемы: необходимость заранее устанавливать априорные вероятности каждого свидетельства, а также проблема, связанная с представлением ненадежности байесовской вероятностью, зависящей от субъективного
46
мнения человека. Эта вероятность не позволяет эффективно описать незнание. Другими словами, для байесовской вероятности требуется соотношение p(А)+p( А)=1, поэтому нельзя отделить отсутствие доверия от недоверия. И то и другое выражается через p(А).
Для представления субъектной ненадежности, которую не способна выразить байесовская вероятность, была введена теория вероятностей Демпстера-Шафера, отличающаяся тем, что она не фиксирует значения вероятности, а может представлять и незнание. Демпстер предложил такие понятия, как нижняя и верхняя вероятности. Шафер, совершенствуя теорию Демпстера, переименовал их соответственно в функцию доверия и меру правдоподобия с целью придания этим понятиям субъективного смысла.
Теория свидетельств Демпстера-Шафера является хорошо известной процедурой рассуждений c неопределенностью в ИИ. Она может рассматриваться как расширение байесовского подхода. Этот подход вводит различия между неопределенностью и незнанием путем создания функций доверия. Функции доверия позволяют нам использовать наши знания при ограниченной возможности присвоения вероятностей. Подход Демпстера-Шафера особенно релевантен для объединения экспертных мнений, т.к. эксперты различаются в своих мнениях с определенной степенью незнания. Подход может быть использован для обращения с эпистимиологической информацией (которая конструируется из неясных восприятий) так же, как с незнанием или недостатком информации.
1.3.9. Вывод на основе теории уверенности
Теория уверенности (или теория коэффициентов уверенности) является известной альтернативой байесовскому рассуждению. Основные принципы этой теории были предложены Бухананом и Шортлиффом еще в 1975 г., а позже основательно разработаны ими для диагностики и терапии инфекций крови. Стандартные статистические методы основываются на допущении, что неопределенность является вероятностью того, что событие (или факт) истинно или ложно. В теории уверенности, так же, как и в нечеткой логике, неопределенность представлена как степень уверенности. Существуют две стадии в каждом невероятностном методе неопределенности. Первая: необходимо иметь возможность выразить степень уверенности. Вторая: необходимо манипулировать (например, объединять) степени уверен-
47
ности в процессе использования системы, основанной на знаниях. Теория уверенности полагается на использование коэффициентов
уверенности. Коэффициенты уверенности (КУ) выражают доверие событию (факту или гипотезе), основанное на свидетельстве (или оценке эксперта). Существует несколько методов использования коэффициентов уверенности для обращения с неопределенностью в интеллектуальных системах.
Теория уверенности предлагает понятия доверия и недоверия. Эти понятия являются независимыми друг от друга и таким образом не могут быть объединены тем же путем, как вероятности, но они могут быть объединены в соответствии со следующей формулой:
КУ(В,С)=МД(В,С) – МН(В,С),
где КУ – коэффициент уверенности; МД – мера доверия; МН – мера недоверия; В – вероятность; С – свидетельство или событие.
Другим допущением теории уверенности является то, что содержание знаний в правилах намного важнее, чем алгебра мер доверий, которая удерживает систему в целостном виде. Меры доверия соответствуют оценкам информации, которые эксперты прилагают к своим заключениям. Коэффициенты уверенности могут быть использованы при объединении различных оценок экспертов.
1.4.Экспертные системы
1.4.1.Основные понятия
Экспертная система – это система, которая использует человеческие знания, встраиваемые в компьютер, для решения задач, которые обычно требуют человеческой экспертизы. Хорошо разработанные системы имитируют процесс рассуждения экспертов, используя это для решения специфических задач.
Такие системы могут использоваться неэкспертом для улучшения его способностей и возможностей в решении задач определенного класса в конкретной предметной области. ЭС могут быть использованы также для распространения источников редких знаний. В конечном счете такие системы могут функционировать лучше, чем некоторые отдельные эксперты-люди при выработке решения или суждения в специфической, обычно узкой области экспертизы.
Технологию построения ЭС часто называют инженерией знаний. Этот процесс требует специфической формы взаимодействия созда-
48
теля ЭС, которого называют инженером знаний, и одного или нескольких экспертов в некоторой предметной области. Инженер знаний «извлекает» из экспертов процедуры, стратегии, эмпирические правила, которые они используют при решении задач, и встраивает эти знания в ЭС.
Основные понятия ЭС: экспертиза, эксперты, проведение экспертизы, вывод и объяснительные способности.
Экспертиза – это обширное, специфическое знание для решения задачи, извлеченное из обучения, чтения и опыта. Следующие типы знаний являются примерами того, что включает в себя экспертиза:
-теории о проблемной области;
-правила и процедуры относительно проблемной области;
-правила (эвристики) о том, что делать в данной проблемной ситуации;
-глобальные стратегии для решения таких типов задач;
-метазнания (знания о знаниях);
-факты о проблемной области.
Эти типы знаний дают возможность ЛПР принимать решения лучше и быстрее при решении сложных задач.
Эксперты. Трудно дать определение понятию эксперт, т.к. мы в действительности говорим о разных степенях или уровнях экспертизы. Вопросом является также, каким объемом экспертных знаний в данной области и какими навыками должен обладать человек, чтобы быть квалифицированным в качестве эксперта?
Обычно человеческая экспертиза включает многогранное интеллектуальное поведение, которое вовлекает в процесс следующие виды деятельности:
выявление и формулировка проблемы и задачи;
решение задачи быстро и надлежащим образом;
объяснение решения;
обучение из опыта;
реструктуризация знаний;
отступление при необходимости от устоявшихся правил
ишаблонов;
определение уместности и соответствия;
осознание ограничений.
Для имитации эксперта-человека необходимо создать компьютерную систему, проявляющую все эти характеристики. Однако в современных ЭС, прежде всего, исследованы и разработаны решение
49
задач и объяснение решений.
Проведение экспертизы. Целью ЭС является проведение экспертизы путем аккумуляции знаний от экспертов и предоставление их другим людям. В этот процесс вовлечены четыре вида деятельности: извлечение знаний (из экспертов или других источников), представление знаний (в компьютере), вывод знаний и передача знаний пользователю. Знания хранятся в компьютере в базе знаний (БЗ).
Вывод. Уникальной чертой ЭС является их способность рассуждать. Имеется в виду, что необходимые знания для экспертизы хранятся в БЗ, программа может иметь доступ к соответствующим данным в БД, а ЭС может делать логический вывод, получая нужное знание, зачастую не хранящееся в явном виде в БЗ. Процесс вывода осуществляется составляющей системы, которая называется машиной вывода.
Способность объяснять. Другой уникальной чертой ЭС является ее способность объяснять свои советы или рекомендации. Объяснение и обоснование производятся подсистемой объяснений. Она дает возможность системе проверять свои рассуждения и объяснять их действия.
Экспертные системы целесообразно использовать, когда:
–разработка ЭС возможна, а именно существуют эксперты в данной области, которые сходятся в оценке предлагаемого решения, умеют выразить на естественном языке и объяснить используемые методы; когда задача требует только рассуждений, а не действий, не является слишком трудной, т.е. ее решение должно занимать у эксперта до нескольких часов или дней, а не недель или месяцев, задача должна относиться к достаточно структурированной области, а решение не должно использовать в значительной мере здравый смысл;
–разработка ЭС оправдана, если решение задачи принесет значительный эффект; если использовать человека-эксперта невозможно из-за ограниченного количества экспертов или из-за необходимости выполнения экспертизы одновременно во многих местах; если при передаче информации происходит значительная потеря времени или информации; если необходимо решать задачу в окружении, враждебном человеку;
–методы инженерии знаний соответствуют задаче, если задача обладает следующими характеристиками: может быть естественным
50