П.Д. Басалин, К.В. Безрук, М.В. Радаева
П.Д. Басалин, К.В. Безрук, М.В. Радаева
МОДЕЛИ
И МЕТОДЫ ИНТЕЛЛЕКТУАЛЬНОЙ
ПОДДЕРЖКИ ПРОЦЕССОВ
ПРИНЯТИЯ РЕШЕНИЙ
Учебное пособие
Рекомендовано ученым советом факультета вычислительной математики
и кибернетики для студентов ННГУ, обучающихся по направлениям подготовки:
010500 – «Прикладная математика и информатика», 010400 – «Информационные
технологии», 080800 – «Прикладная информатика» и специальностям:
010501 – «Прикладная математика и информатика», 080801 – «Прикладная информатика»
Нижний Новгород
| |
УДК 004.832.2
ББК З813
Б 27
Рецензенты:
д.т.н., доцент В.П. Хранилов
к.т.н., доцент С.Н. Карпенко
Басалин П.Д., Безрук К.В., Радаева М.В.
Модели и методы интеллектуальной поддержки процессов принятия решений: Учебное пособие. – Нижний Новгород: Нижегородский госуниверситет, 2011. – 129 с.
ISBN 978-5-91326-170-0
Учебное пособие посвящено рассмотрению моделей и методов искусственного интеллекта, являющихся теоретической основой для построения систем интеллектуальной поддержки процессов принятия решений. Большое внимание уделено изложению концепции и базовых принципов организации систем, основанных на знаниях. Рассмотрены известные формализмы представления знаний на инфологическом и концептуальном уровнях, а также возможные механизмы их интерпретации. При этом основное внимание сосредоточено на системах, основанных на знаниях продукционного типа. Рассматривается нейромодельный подход к построению интеллектуальных систем. Изложены концепция и основные положения теории искусственных нейронных сетей. Дана их классификация по базовым признакам. Рассмотрены конкретные архитектуры нейронных сетей и показаны примеры некоторых их приложений. Пособие завершается введением концепции и описанием архитектуры гибридной системы интеллектуальной поддержки, сочетающей в себе базовые принципы системы, основанной на знаниях, и нейросетевые технологии принятия решений.
Для студентов, изучающих проблемы построения интеллектуальных информационных систем, а также специалистов — разработчиков средств интеллектуальной поддержки процессов принятия решений в конкретных предметных (проблемных) областях.
Ответственный за выпуск:
председатель методической комиссии факультета ВМК ННГУ,
д.ф.-м.н., проф. Л.П. Жильцова
ISBN 978-5-91326-170-0 ББК З813
| |
© Нижегородский госуниверситет им. Н.И. Лобачевского, 2011
Предисловие
Практически в любой области своей деятельности человеку приходится сталкиваться с кругом задач (проблем), алгоритмы (сценарии) решения которых заранее не известны. Это проблемы трудноформализуемого и неформального (творческого, интеллектуального) плана, возникающие на различных этапах принятия решений при проектировании сложных объектов, контроле и управлении сложными системами, прогнозировании социальных, экономических и политических процессов, планировании финансовых операций и т.д.
Существенную помощь человеку в решении указанных и многих других проблем способна оказать надежная и гибкая система интеллектуальной поддержки, объединяющая возможности компьютера со знаниями и опытом эксперта в такой форме, что способна предложить «разумный» совет или осуществить «разумное» решение поставленной задачи. Такая система должна уметь рассуждать при сомнительных, неполных данных, объяснять ход своих рассуждений понятным пользователю способом, самообучаться и адаптироваться к конкретным условиям применения.
Рассмотрению базовых принципов построения таких систем, моделей и методов искусственного интеллекта, лежащих в их основе, посвящено данное учебное пособие.
Материал пособия включает девять разделов, каждый из которых завершается списком вопросов и/или заданий для самоконтроля.
В первом разделе рассматриваются (в том числе и на конкретных примерах) проблемы трудноформализуемых и неформальных этапов принятия решений. При этом вводится концепция интеллектуальной поддержки процессов принятия решений, определяются ее цели и возможные средства реализации.
Во втором разделе дается общее представление об искусственном интеллекте как научном направлении, фундаментальная ветвь которого является источником моделей и методов, принимаемых за основу при создании интеллектуальных систем.
Третий раздел учебного пособия посвящен рассмотрению базовых принципов организации интеллектуальной системы как системы, основанной на знаниях (СОЗ). В нем дается общее описание архитектуры СОЗ, определяется состав и назначение ее функциональных модулей, а также схема их взаимодействия между собой. Приводится перечень предметных (проблемных) областей возможного применения СОЗ и формулируются критерии целесообразности их создания и использования в конкретных предметных областях.
В четвертом разделе после определения базовых свойств знаний, отличающих их от обычных данных, рассматриваются и анализируются (с точки зрения их достоинств и недостатков) традиционные формы (модели) представления знаний:
· логические модели, основанные на исчислениях (высказываний и предикатов первого порядка);
· сетевые модели, базирующиеся на понятии семантической сети;
· иерархические структуры фреймов;
· наборы продукционных правил.
Материал пятого раздела дает некоторое представление о методологии построения базы знаний; в нем выделяются этапы исследования и описания предметной области, организации модели представления и формализации знаний, приобретения знаний.
При этом определяются основные типы представления задач (перечисляющее представление, представление в пространстве состояний, иерархическое представление и их комбинации), используемые при исследовании и описании предметной области. Рассматриваются основные виды иерархий (структурная, причинно-следственная, функциональная), которые могут приниматься за основу при описании и структуризации знаний о предметной области. Определяется понятие дерева решений (как формализма описания знаний на инфологическом уровне) и излагаются правила трансформации его в эквивалентный набор продукционных правил. Предлагается обобщение понятия дерева решений в виде понятия графа решений, позволяющего компактно описывать нечеткую логику рассуждений в предметной области на инфологическом уровне.
Шестой раздел учебного пособия посвящен рассмотрению моделей, методов и стратегий, лежащих в основе механизмов интерпретации знаний. Непосредственно рассмотрены:
· методы и алгоритмы интерпретации логических моделей представления знаний в виде доказательства теорем;
· модели прямого и обратного вывода на продукционных правилах, использующие стратегии поиска в глубину и в ширину.
Изложенный материал иллюстрируется на конкретном примере построения макетной оболочки системы, основанной на знаниях продукционного типа.
Описанию теоретических основ нейромодельного подхода к построению интеллектуальных систем посвящен материал седьмого раздела пособия. Раздел начинается с изложения некоторых сведений из анатомии и физиологии человеческого мозга, подводящих к концепции искусственной нейронной сети, после чего вводятся базовые понятия теории искусственных нейронных сетей. Далее проводится классификация нейронных сетей, отличающихся характером входных сигналов, особенностями структуры и типом обучения. После этого рассматриваются конкретные архитектуры нейронных сетей: персептроны (однослойный и многослойный), RBF-сеть, сеть Хопфилда, сеть Хемминга и самоорганизующаяся нейронная сеть Кохонена.
Восьмой раздел посвящен рассмотрению некоторых приложений искусственных нейронных сетей.
Первое приложение связано с использованием нейросетевой вычислительной парадигмы в качестве основы вычислительной системы. На функциональном уровне обсуждается состав модулей, которые должны быть предусмотрены в архитектуре гипотетического нейрокомпьютера. Дается некоторая информация к размышлению по поводу возможных способов реализации этих модулей (например, путем создания гибридной архитектуры, комбинирующей в себе аналоговый и цифровой принципы организации вычислений).
Материал, связанный со вторым приложением, показывает возможность представления комбинационной части цифрового автомата эквивалентной (бинарной или биполярной) нейронной сетью прямого распространения. Это позволяет свести трудноформализуемую проблему синтеза схем произвольной комбинационной логики к формальной задаче обучения (с супервизором) исходно избыточной нейронной сети с распараллеливанием вычислений (анализа нейронной сети) на каждой итерации оптимизационного процесса.
Третий пример показывает возможность использования нейронных сетей в системах автоматического управления в качестве нейроконтроллеров и нейроэмуляторов.
В заключительном, девятом, разделе проводится анализ достоинств и недостатков рассмотренных базовых концепций (системы, основанной на знаниях, и нейросетевого подхода) с позиций построения на их основе системы интеллектуальной поддержки процессов принятия решений. В итоге предлагается концепция гибридной системы интеллектуальной поддержки, сочетающей в себе оба рассмотренных подхода, каждый из которых способен компенсировать недостатки другого. Рассматривается конкретная архитектура гибридной системы с определением функций всех составляющих ее подсистем и модулей, а также схемы их взаимодействия между собой.
КОНЦЕПЦИЯ ИНТЕЛЛЕКТУАЛЬНОЙ
ВОПРОСЫ ДЛЯ САМОКОНТРОЛЯ
1. В чем состоит принципиальное отличие трудноформализуемой задачи от задачи неформального плана?
2. Как Вы себе представляете суть концепции интеллектуальной поддержки процессов принятия решений?
3. Какие базовые принципы могут быть положены в основу создания средств интеллектуальной поддержки?
2. ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
КАК НАУЧНОЕ НАПРАВЛЕНИЕ
2.1. Искусственный интеллект:
концепция, возможности, методы реализации
С появлением и развитием компьютерной базы у человека появилась постоянно расширяющаяся возможность моделировать все, что представляет для него определенный интерес. Это могут быть явления окружающего мира, проектируемые технические объекты, демографические, экономические или социально-политические процессы и многое другое. Уникальным объектом моделирования, имеющим особо важное, фундаментальное значение для всех проблемных и предметных областей, является человеческий мозг. Это самый совершенный орган, существующий в природе и обладающий способностями:
· воспринимать окружающий мир и осознавать воспринятое;
· обучаться, делать обобщения, проводить аналогии;
· принимать решения в нестандартных ситуациях, в условиях неполной и нечеткой информации;
· решать сложные задачи неформального плана и т.д.
Перечисленные и другие способности мозга, связанные с восприятием, обработкой и представлением информации, наверное, и определяют такое сложное понятие, как интеллект.
Активные исследования по разработке идеи создания искусственного разума, связанные с моделированием интеллекта или конкретных форм его проявления, развернулись с конца 40-х годов прошлого века. В качестве критерия достижения цели был принят предложенный Аланом Тьюрингом в начале 50-х годов тест: «компьютер можно считать разумным, если он способен заставить нас поверить, что мы имеем дело не с машиной, а с человеком». Следует заметить, что критерий очень жесткий, ибо ни одна из разработанных к настоящему времени программ искусственного интеллекта (ИИ) ему не удовлетворяет. Более того, многие считают, что достичь такого невозможно. Например, по мнению профессора философии Калифорнийского университета в Беркли Хьюберта Дрейфуса, истинный разум не может существовать без психологической основы, заключенной в человеческом организме.
Термин искусственный интеллект (AI – Artificial Intelligence)впервые был введен Джоном Мак-Карти. Именно он организовал первую конференцию по данной проблеме в Дартмутском колледже (США) в 1956 году. Первая Всемирная конференция состоялась в Вашингтоне в 1969 году.
В самостоятельную ветвь информатики научное направление ИИ оформилось к концу 50-х годов прошлого века. К этому времени четко определился объект изучения ИИ - это метапроцедуры, лежащие в основе любой интеллектуальной деятельности человека. Только в отличие от психологии, изучающей эти метапроцедуры применительно к человеку, ИИ моделирует их программным или аппаратным путем, преследуя цель понять механизмы мышления.
ИИ можно назвать экспериментальной научной дисциплиной, эксперимент в которой состоит в построении, проверке на компьютере и коррекции моделей функционирования человеческого разума, базирующихся на наблюдениях за человеком. Доказательство приемлемости выдвигаемых теорий и демонстрация получаемых результатов в области ИИ осуществляются на языке программ. Согласно высказыванию М. Минского, языком ИИ (как области науки) являются программы. Эти программы могут не только демонстрировать механизмы мышления, но иметь и существенное практическое значение для конкретных предметных областей, что зачастую является стимулирующим фактором развития работ в области ИИ.
Первые центры научных исследований по проблемам ИИ на уровне лабораторий были созданы в Массачусетском технологическом институте (1957 г., Патрик Уинстон, Карл Хьюит, Марвин Минский), в Университете Карнеги-Мелон (Аллен Ньюэлл, Герберт Саймон), в Станфордском университете (1963 г., Джон Мак-Карти, Эдвард Фейгенбаум). Далее волна интереса к ИИ распространилась не только по США, но и по всему миру. При этом выделились два направления исследований. Одно из них фундаментальное, связанное с чистой наукой и преследующее цель познать суть процессов мышления. Другое направление прикладное, определяемое стремлением расширить сферу применения компьютеров и обеспечить комфортность пользования ими. С данным направлением связано появление так называемых коммерческих программ редактирования текстов, распознавания образов, экспертных систем и других программных средств, основанных на идеях ИИ.
Иногда говорят о так называемой неустойчивости понятия ИИ. Это связано с тем, что в любом конкретном примере интеллектуальной деятельности всегда наступает момент полного понимания процесса принятия решений в рамках этой деятельности, т.е. происходит деинтеллектуализация рассматриваемой задачи. Это означает, что задача переходит в другую область информатики, предметом которой является обработка информации с помощью точных алгоритмических методов. В отличие от нее, с ИИ связана любая интеллектуальная деятельность, алгоритмы которой заранее не известны. Можно сказать, что ИИ - это «все то, что еще не сделано в информатике».
ИИ как научное направление тесно связан с такими областями науки, как психология, биология, медицина, лингвистика. Специалисты в указанных областях строят и даже программно реализуют (совместно с математиками) все новые и новые модели. На основе этих моделей исследователи в области ИИ пытаются воссоздать конкретные формы проявления интеллекта. Получаемые при этом результаты дают в свою очередь новую информацию к размышлению для специалистов указанных областей.
Существуют два метода построения систем ИИ: восходящий и нисходящий. Принципиальное различие между ними заключается в том, что именно принимается за основу при создании ИИ:
· свойственные человеку механизмы мышления, с помощью которых он познает и оценивает окружающий мир (восходящий метод),
или
· формализованные каким-либо образом знания о задачах, на которые ориентируется ИИ (нисходящий метод).
Восходящий метод напрямую исходит из сформулированного Норбертом Винером принципа обратной связи, согласно которому любая искусственная система, претендующая на разумность (интеллектуальность), как и все живое, должна обладать способностью преследовать определенные цели и приспосабливаться, т.е. обучаться. Этот принцип нашел свое подтверждение и в исследованиях американского нейрофизиолога Уильяма Мак-Каллока, который совместно с математиком Уолтером Питтсом в 1943 году разработал теорию функционирования головного мозга. У. Мак-Каллок и У. Питтс исходили из нейронной организации нервной системы живых организмов и «двоичного» закона поведения нейрона (активен или пассивен). Они предложили моделировать функции высшей нервной деятельности с помощью методов математической логики и показали возможность построения логических сетей (автоматов), моделирующих нейронные сети, характеризуемые определенными физиологическими свойствами. Однако принятая ими чисто логическая схема взаимодействия нейронов не соответствовала истинным физиологическим процессам, протекающим в нервной системе живых существ. Главное возражение против чисто логических схем вызывало требование безошибочности анализа ситуаций. На случай каждого отклонения (пусть даже незначительного по смыслу) требовалась своя (новая) логическая схема. Такая система не отличалась гибкостью и при случайном возмущении могла выдать абсурд. Это противоречило тому, что наблюдается в природе.
Более естественным путем пошел американский ученый Фрэнк Розенблатт. Он отказался от полностью безошибочных логических решений, введя понятие вероятности получения приемлемого результата. При его подходе случайное возмущение лишь снижало вероятность правильного решения на величину, пропорциональную возмущению, но не приводило к абсурду. Система получалась более гибкой и надежной, более похожей на биологические системы. Свои нейронные сети, действующие на основе статистических принципов, Ф. Розенблатт назвал перцептронами (от латинского perceptio - восприятие). В дальнейшем термин претерпел незначительное изменение: перцептроны стали называть персептронами.
Персептрон можно рассматривать как вероятностную нейронную систему с произвольными (беспорядочными) межнейронными связями, которая при некоторой определенной (упорядоченной) системе связей обеспечивает приемлемую (достаточно большую) вероятность принципиально правильного статистического функционирования, приближаясь к идеальной для данной задачи. В 1958 году Ф. Розенблатт продемонстрировал первую компьютерную модель, а в 1960 году - электронный вариант персептрона «Марк-1», который был собран из 512 нейроподобных ячеек и мог обучаться распознаванию некоторых букв, подносимых к его органам восприятия. Результаты, полученные Ф. Розенблаттом, явились основой нейромодельного подхода и восходящего метода построения машинного разума в виде адаптивной нейронной сети, способной следить за окружающей обстановкой и с помощью обратной связи изменять свое поведение.
Сторонники нисходящего метода, к которым принадлежали А. Ньюэлл, Г. Саймон, М. Минский, С. Пейперт и многие другие, пошли по пути создания на базе компьютеров общего назначения программ, ориентированных на решение интеллектуальных задач (доказательство теорем, игра в шахматы, распознавание образов и т.д.). Методы, положенные в основу таких программ, могут быть абсолютно не похожи на те, которыми в действительности пользуется человек. Они базируются на тех или иных формах представления знаний, заимствованных у экспертов в конкретных предметных областях, и механизмах вывода (интерпретации знаний), реализующих процесс решения задачи.
Подводя итог, можно сформулировать следующие основные проблемы ИИ как научного направления.
Первая, наиболее важная проблема – извлечение, структурирование и формальное представление знаний. Это стратегическая проблема, от решения которой во многом зависит успех решения других проблем, связанных с ИИ.
Вторая проблема – воспроизведение на ЭВМ человеческих способов решения задач (процедурный анализ, дедуктивный вывод, аналогия, индукция). На современном этапе цифровые компьютеры эффективно используют процедурный анализ и дедуктивный логический вывод. Нейронные сети с их способностью обобщать обладают «естественным» механизмом индукции.
Третья проблема – создание средств общения с компьютером (вычислительной системой) на естественном языке, компьютерных средств восприятия аудио- и видеообразов и т.п.
Четвертая проблема – развитие (совершенствование) интеллектуальных систем в процессе их деятельности (создание средств обобщения и накопления опыта).
2.2. Фундаментальное направление в искусственном интеллекте
Фундаментальное направление в ИИ преследует цель понять суть процессов познания. При этом компьютер выступает как средство проверки выдвигаемых теоретических предположений относительно того, как осуществляется процесс мышления. Эти теоретические построения, как правило, опираются на результаты, известные из психологии, биологии, медицины и других наук, так или иначе касающихся человеческого мозга. Они должны носить конструктивный характер, ибо программы, как средство подтверждения истины, всегда требуют глубокой теоретической проработки и четкости представления моделей.
К примеру, систему обработки информации человеком можно описать схемой, представленной на рис. 1.
Данные воздействия внешнего мира, воспринимаемые человеком с помощью органов чувств, через буфер непрерывно поступают в кратковременную память. Там они анализируются, фильтруются по важности и перемещаются в долговременную память. Долговременная память хранит сформировавшиеся символы (образы) и смысловые связи между ними. Ее содержимое используется для объяснения новой информации, поступающей из кратковременной памяти, и запоминания ее путем увязывания с хранящимися в ней образами.
Известны некоторые временные оценки функционирования рассмотренной системы:
· 15–20 мин. занимает процесс перемещения данных из кратковременной памяти в долговременную;
· 7 сек в среднем необходимо для запоминания одного образа в долговременную память, включая установление всех связей, необходимых для доступа к нему в будущем;
· не более 70 мсек требуется для извлечения любого элемента данных из долговременной памяти.
Надо заметить, что рассмотренная модель не конструктивна, ибо оставляет открытыми многие вопросы. Например, такие:
· Как анализируется и фильтруется информация в кратковременной памяти?
· В каком виде формируются и хранятся образы в долговременной памяти?
· Каким образом содержимое долговременной памяти используется для объяснения новой информации?
Перечисленные и многие другие вопросы, очевидно, требуют детальной проработки. Только при этом условии предложенная модель может быть программно реализована и проверена на адекватность.
Хранение символьных образов в долговременной памяти по организации напоминает модель данных сетевого типа (модель данных ® набор ® поднабор ® элемент данных). Символьные образы в мозгу объединяются в так называемые чанки, т.е. наборы символов и связей между ними, запоминаемые и извлекаемые как единое целое. Чанки хранятся вместе с взаимосвязями между ними. В конкретный момент времени человек способен обрабатывать и интерпретировать не более 4–7 чанков. Эксперт в конкретной предметной области способен рациональным образом объединять в чанки большие объемы информации и устанавливать связи, удобные для извлечения данных из памяти и распознавания новых ситуаций.
Анализируя такой вид интеллектуальной деятельности, как общение на естественном языке, можно прийти к следующим выводам. Человек обычно воспринимает слова в широком смысле, с учетом их неоднозначности, и интерпретирует их по-разному в зависимости от контекста. Кроме того, он способен улавливать скрытый смысл предложений, не вытекающий непосредственно из значений составивших их слов, взятых из словаря. Все это объясняется способностью человека предвидеть (прогнозировать) возможные события (ситуации) на основании того, что уже произошло. Человек постоянно делает прогнозы на различных уровнях детализации, достраивая слова, предложения, события. Такие прогнозы позволяют ему восполнить все пробелы в поступающей на вход информации.
Программное моделирование такого поведения человека связано с построением концептуального анализатора. В отличие от традиционного грамматического анализатора, концептуальный анализатор использует источник прогноза, формирующий так называемый пакет ожиданий (английский термин — Memory Organization Packet, МОР, — впервые ввел Роджер Шенк, Йельский университет). Пакет ожиданий содержит информацию о множестве объектов, событий и их взаимосвязях, могущих иметь отношение к текущей ситуации. Он характеризуется определенными условиями активации, определяющими факт его отношения к анализируемой ситуации.
В концептуальном анализаторе текст обрабатывается одновременно по всем аспектам анализа (лексический, синтаксический, семантический анализ). При этом источником для прогнозов низкого уровня является словарь. Для представления прогнозов более высокого уровня используются так называемые концептуальные зависимости. Это структуры, включающие слоты для занесения и хранения информации об объектах, их свойствах и взаимодействиях между собой. Порождаемые концептуальными зависимостями прогнозы имеют как семантический, так и синтаксический характер. Возникающие в их структуре неоднозначности фиксируются и разрешаются с учетом других составляющих входной информации. Пакеты ожиданий связываются в сложные переплетения. Многие ситуации адресуются одновременно ко многим пакетам, между которыми существует множество связей. Пакеты могут объединяться в группы, которые в свою очередь могут заполнять слоты других пакетов. Пакеты могут группироваться около сцен, отличаясь друг от друга специфической информацией – «раскраской» входящей в них сцены. Это позволяет делать обобщения. Память человека организована так, что при обработке новой ситуации она фиксирует ссылки на существующие прототипы, регистрируя лишь те данные, которыми эпизод отличается от прототипа.
Таким образом, пакеты ожиданий выполняют двойную роль: выступают как источник прогноза для понимания и служат памятью об имевших место событиях. О том, что для запоминания и понимания человек использует одни и те же структуры, свидетельствует его мощный механизм ассоциативного воспоминания. Именно он обеспечивает возможность восстановления полного образа по предъявленному его фрагменту.
Память – это динамическая структура. Она реагирует на неудачи прогнозов и реорганизует себя, строя новые пакеты ожиданий из старых путем изменения их «раскраски», содержания и порядка следования сцен.
Важно также заметить, что разрушение небольшой части нейронов не оказывает существенного влияния на возможность извлечения из памяти записанной информации. Это говорит о распределенном характере ее структуры.
ВОПРОСЫ ДЛЯ САМОКОНТРОЛЯ
1. Как Вы понимаете высказывание М. Минского о том, что языком ИИ как научного направления являются программы?
2. В чем состоит принципиальное отличие восходящего метода построения интеллектуальных систем от нисходящего метода?
3. Какова основная цель фундаментального направления исследований в ИИ?
4. Чем объясняется способность человека воспринимать слова в широком смысле и улавливать скрытый смысл предложений?
5. Как Вы определите понятия чанк, пакет ожиданий, концептуальная зависимость, сцена, концептуальный анализатор?
6. Какие наиболее актуальные проблемы стоят перед ИИ как научным направлением?
3. СИСТЕМЫ, ОСНОВАННЫЕ НА ЗНАНИЯХ,
В КАЧЕСТВЕ СРЕДСТВ ИНТЕЛЛЕКТУАЛЬНОЙ
ПОДДЕРЖКИ ПРОЦЕССОВ ПРИНЯТИЯ РЕШЕНИЙ
3.1. Понятия интеллектуальной и экспертной систем
Согласно принципу обратной связи, сформулированному Норбертом Винером, любая искусственная система, претендующая на разумность (интеллектуальность), как и все живое, должна обладать способностью преследовать определенные цели и приспосабливаться, т.е. обучаться. Данный принцип является основополагающим при создании систем, целевое назначение которых во многом связано с кругом задач (проблем), алгоритмы (сценарии) решения которых заранее не известны. Это проблемы творческого (интеллектуального) плана, возникающие на различных этапах принятия решений при проектировании сложных объектов, контроле и управлении сложными системами, прогнозировании социальных, экономических и политических процессов, планировании финансовых операций и т.д.
Вышесказанное тесно связано с понятиями интеллектуальной системы и экспертной системы.
Под интеллектуальной системой (ИС, или IS — Intellectual System)принято понимать программно-техническую систему, способную решать задачи, традиционно считающиеся творческими, принадлежащие конкретной предметной области, знания о которой хранятся в памяти интеллектуальной системы.
Экспертная система (ЭС, или ES — Expert System) – система, объединяющая возможности компьютера со знаниями и опытом эксперта в такой форме, что система может предложить «разумный совет» или осуществить «разумное решение» поставленной задачи. При этом система способна пояснить «ход своих рассуждений» в понятной для пользователя форме. Это определение ЭС принято Комитетом группы специалистов по экспертным системам Британского компьютерного общества.
Согласно данным определениям, ЭС и ИС можно рассматривать как синонимы в определенном смысле. Они отражают лишь функциональное назначение систем, не акцентируя внимания на способах их организации и условиях применения.
Вместе с тем следует заметить, что первые экспертные системы (именно под этим названием) относились к классу автономных экспертных систем, которые были призваны оказывать консультации и использовали в основном эвристические приемы решения задач, не привлекая формальные методы моделирования, анализа и синтеза.
Позднеев различных предметных (проблемных) областях появились средства интеллектуальной поддержки процессов принятия решений. При реализации данных процессов использовались пакеты прикладных программ различного назначения. Такие средства могли быть организованы в виде интеллектуальной надстройки над прикладными программами, а могли и интегрироваться с последними, придавая им интеллектуальность.
Как первые (ЭС), так и вторые (средства интеллектуальной поддержки), несомненно, относятся к категории интеллектуальных систем (ИС), поэтому понятие ИС следует рассматривать как более широкое. В то же время средства интеллектуальной поддержки часто называют экспертными системами.
ЭС обычно рождается как результат детального анализа (если такой удается провести) и компьютерной реализации последовательности действий эксперта в определенной предметной (проблемной) области. При этом принимаются во внимание следующие возможности человека-эксперта:
· способность применять свои знания и опыт для оптимального решения задач, делая при этом достоверные выводы на основании неполных и ненадежных данных;
· способность объяснять и обосновывать свои действия;
· способность приобретать новые знания из общения с другими экспертами;
· способность заново систематизировать свои знания (выстраивать новую систему чанков);
· способность «нарушать» правила, т.е. подходить к их выполнению не формально, а с учетом условий возникшей ситуации (например, не сразу человек идет на зеленый сигнал светофора);
· способность плавно оценивать свою компетентность в конкретных ситуациях (почувствовав неуверенность, эксперт не отказывается от проведения экспертизы).
Современные экспертные системы способны имитировать первые три из перечисленных возможностей человека-эксперта. При этом они могут использовать как глубинные, так и поверхностные представления знаний.
Глубинные представления включают причинные модели, категории, абстракции и аналогии, отображающие структуру и природу процессов, протекающих в предметной области. Они дают широкие возможности для их трактовки, объясняют происходящие явления и обеспечивают возможность прогнозирования поведения объектов.
Поверхностные представления не дают явного отображения причинности, а только подразумевают ее существование. Это либо эмпирические взаимосвязи, либо свернутые формы субъективного понимания структуры и назначения конкретных знаний.
Очевидно, что без глубинных представлений невозможно построение ЭС, реализующих последние три из перечисленных возможностей человека-эксперта. Однако поверхностные представления, как правило, оказываются дешевле в реализации, и их целесообразно использовать, когда на передний план выходят: процесс решения задачи, эмпирические ассоциации и свернутые формы понимания ситуаций. Есть предметные области (например, медицинская диагностика, геологоразведка полезных ископаемых), знания в которых в основном базируются на эмпирических ассоциациях.
3.2. Системы, основанные на знаниях
По определению Эдварда Фейгенбаума (Станфордский университет), система, основанная на знаниях (СОЗ, или на английском knowledge-based system), – это интеллектуальная компьютерная программа, использующая знания и процедуру вывода для решения проблем, которые настолько сложны, что требуют привлечения эксперта.
С точки зрения функционального назначения, понятия СОЗ, ИС и ЭС можно рассматривать как синонимичные. Однако в определении СОЗ явно прослеживается базовый принцип организации системы декларативного (не предписывающего) типа. Именно этот принцип, предполагающий четкое отделение друг от друга базы знаний и механизма вывода, максимально обеспечивает модульный принцип построения, открытость системы, возможность создания оболочек экспертных систем (empty expert systems), настраиваемых через формализм базы знаний на различные предметные области. В остальном СОЗ присущи все особенности, характерные для ИС (ЭС):
· ограниченность определенной областью экспертизы;
· качественный характер выходных результатов;
· способность рассуждать при сомнительных, неполных данных;
· способность объяснять ход своих рассуждений понятным пользователю способом;
· способность самообучаться и адаптироваться к конкретным условиям применения и многое другое.
Среди областей применения СОЗ можно выделить следующие довольно обширные области, каждая из которых объединяет в себе множество предметно- или проблемно-ориентированных областей конкретного применения.
Диагностика. Спектр задач, решаемых в данной области, направлен на установление связей между нарушениями функционирования сложной системы (живой или искусственной) и их возможными причинами. К этой области относятся диагностика неисправностей сложных технических систем, медицинская диагностика и т.п.
Планирование. Эта широкая область связана с решением проблем, направленных на достижение конкретных целей в задачах с большим числом переменных. Наряду с традиционным п