Моделирование в картографии - Тикунов В.C.
ISBN 5-211-03346-9
Скачать (прямая ссылка):
Другим важным элементом экспертной системы является машина вывода. "Машина логического вывода является универсальной думающей машиной, а база знаний — это то, над чем ей предстоит думать" (Экспертные..., 1987, с. 65). То есть в ответ на запрос система способна строить логические выводы и на их основе приходить к заключениям. Здесь проверяется выполнимость условий конкретной ситуации по отношению к имеющимся правилам и подбирается путь их удовлетворения. Причем в отличие от традиционных алгоритмов, осуществляющих механический перебор всех правил, в экспертной системе пространство поиска сужается за счет
356
того, что, как и человек, ЭВМ должна ожидать, что же ей встретится. Например, анализируя видовой состав смешанных и широколиственных лесов средней полосы европейской части СССР, географ ожидает встретить ель, березу, дуб, липу, клен, но не пальмы или мангры, перебор которых для анализа противоречит здравому смыслу.
Процедуру получения выводов путем анализа фреймов, или "продукций", называют прямой стратегией. В том случае, если человек выдвигает гипотезы (а делает это он, как правило, с охотой) — ЭВМ их проверяет (что проще для машины), то мы переходим к обратной стратегии. Используются и смешанные стратегии, когда машина выдает ряд вариантов решения, а экспертная система именно так и поступает, выбрав из них какое-нибудь одно, оно анализируется с помощью обратной стратегии. Естественно, что этот путь будет неоднозначным, причем могут добавляться новые значения и т.д.
Блок накопления метазнаний проверяет непротиворечивость вновь поступающих сведений имевшимся правилам. Достигается это путем проверки семантической непротиворечивости, а также автоматическим тестированием. Проверка семантической непротиворечивости определяет согласование вносимых изменений правилам базы знаний, а автоматическое тестирование проверяет нововведения на большом количестве задач, чтобы оценить, сколь положительно они влияют на работу экспертной системы (Построение..., 1987). Иногда в случае конфликтных ситуаций требуется пересмотр правил. Здесь применяются различные степени доверия для потенциальных решений, чтобы они не противоречили здравой логике, хотя сделать это не всегда просто.
На наш взгляд, в этом деле может оказаться целесообразным характеристика не отдельных явлений, а их классов, когда конкретная ситуация сравнивается с типичными примерами. Допустим, географ, классифицируя типы берегов (риасовый, шхерный, фьордовый), как бы сравнивает их с идеальными моделями: фьорды — узкие, глубоко вдающиеся в сушу клинья и т.д. Но экспертная система не ограничивается алгоритмической классификацией и учитывает семантику. Классифицируя географические объекты "Москва", "Орел", "Брянск", человек легко сгруппирует их в города, но Москву в сочетании с Волгой и Леной отнесет к рекам, а слова "Орел", "Сокол", "Ястреб" объединит в группу хищных птиц и т.д., то же должна уметь делать эвристическая программа. Географ постоянно работает с нечетко указанными объектами.
357
Более того, иногда требуется и не совсем "логичное" заключение. Например, анализируя уровни социально-экономического развития стран по ряду формальных критериев, в том числе таким, как национальный доход на душу населения, число автомашин на 1 тыс. жителей и др., Кувейт должен быть отнесен к числу ведущих стран, но эксперт-географ, сильно занизив его оценку, не выглядит странным. Также должна поступать и экспертная система, выводя одни правила из других, и приходить к заключениям, получить которые из формальной логики невозможно.
Еще один характерный момент для экспертной системы. Так как правила, создаваемые одним географом, чаще всего сильно отличаются от того, как это делает другой специалист, то экспертная система как бы становится "вторым я" того или иного ученого, копируя его стиль работы.
Система объяснений используется для того, чтобы разъяснить пользователю, как экспертная система пришла к тому или иному конкретному выводу. Причем в процессе работы пользователь может задавать дополнительные вопросы о получении промежуточных результатов, уточнять цели, инспектировать правила с точки зрения их согласования между собой и соответствия поставленным целям и др. "Метод рассуждения, который не может быть объяснен человеку, является неудовлетворительным, даже если с ним система работает лучше, чем специалист" (Экспертные..., 1987, с. 19).
Как правило, система объяснений делает трассировку хода проведения рассуждений в обратном порядке от того места, к которому относится вопрос, или от конечного результата. Каждый шаг рассуждения подкрепляется выводами из правил базы знаний. Экспертная система объясняет также, почему она не пошла другим путем — какие правила базы знаний этот путь заблокировали. Объяснения экспертной системы помогают пользователю совершенствовать базу знаний, показывая слабые места, ведущие к неправильным выводам. Пример работы экспертной системы и блока объяснения логики решений приведен в книге (Портян-ский, 1989).
Система общения пользователя с экспертной системой должна быть максимально удобна для человека. В настоящее же время "хозяин ЭВМ вынужден разговаривать со своим слугой на языке слуги". В этом плане особенно привлекателен проект разработки ЭВМ пятого поколения, которые будут в состоянии воспринимать