Искусственный интелект

     В общем виде знания в ЭВМ представляются некоторой семиотической (знаковой) системой, в которой выделяются по аналогии с данными три аспекта: синтаксический, семантический и  прагматический.

     Синтаксис описывает внутреннее устройство знаковой системы, т. е. правила построения и  преобразования сложных знаковых выражений. Для естественного языка синтаксис  определяет правильное построение предложений  и связанного текста.

     Семантика определяет отношения между знаками  и их свойствами (концептами), т. е. задает смысл или значения конкретных знаков.

     Прагматика  определяет знак с точки зрения конкретной сферы его применения либо субъекта, использующего данную знаковую систему.

     В соответствии с перечисленными аспектами  семиотических систем можно выделить три типа знаний: синтаксические, семантические  и прагматические.

     Синтаксические  знания характеризуют синтаксическую структуру описываемого объекта  или явления, которая не зависит  от смысла и содержания используемых при этом понятий.

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

     Прагматические  знания описывают объекты и явления  с точки зрения решаемой задачи, например, с учетом действующих в  данной даче специфических критериев.

     Трем  типам знаний соответствуют и  три типа моделей для их представления: синтаксические, семантические и  прагматические. Наличие двух последних  является наиболее существенным признаком, отличающим интеллектуальные системы  от всех других.

     Прежде  чем перейти к описанию моделей  представления знаний, проанализируем особенности знаний, которые собственно и отличают их от данных.

     Интерпретируемость. Данные, помещенные в ЭВМ, могут содержательно  интерпретироваться лишь соответствующей  программой. В отрыве от нее данные не несут никакой содержательной информации. Знания отличаются тем, что  возможность содержательной интерпретации  всегда присутствует.

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

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

     Семантическая метрика. На множестве информационных единиц в некоторых случаях полезно  задавать отношение, характеризующее  ситуационную близость информационных единиц, т. е. Силу ассоциативной связи  между ними. Это отношение можно  назвать отношением релевантности  для информационных единиц. Такое  отношение дает возможность выделять в информационной базе некоторые  типовые ситуации. Отношение релевантности  при работе с информационными  единицами дает возможность находит  знания, близкие к уже найденным.

     Активность. Все процессы, протекающие в ЭВМ, инициируются командами, которые являются активной компонентой, а данные используются этими командами лишь при необходимости, т. е. последние -- пассивная компонента. Такая ситуация, характерная для  классических систем обработки информации, для интеллектуальных систем (ИС) неприемлема. По аналогии с человеком в ИС актуализации тех или иных действий способствуют знания, имеющиеся в системе. Таким  образом, выполнение программ в ИС должно инициироваться текущим состоянием информационной базы. Появление в  базе фактов (объектов выбора) или описаний событий (квалификаторов и их значений), установление связей (правил в продукционных  системах) может стать источником активности системы.

     Особенности знаний, их назначение и структура, способы хранения и интерпретации  вызывают определенные аналогии со способами  организации человеческой памяти. Однако человеческая память хранит не только числовые данные, но и образы или  символы. Символьные образы в памяти человека объединены в так называемые чанки -- наборы фактов и связей между  ними, запоминаемые и извлекаемые  как единое целое. В каждый момент времени человек может обрабатывать и интерпретировать не более 4-7 чанков. Способность формировать чанки  отличает Эксперта в конкретной предметной области от не эксперта. Эксперт, в  силу профессиональной необходимости, упорно развивает свою способность  объединять в чанки большие объемы данных и устанавливать иерархические  связи между ними (т. е. преобразовывать  данные в знания) для того, чтобы  быстро извлекать эти данные из памяти и с их помощью распознавать новые  ситуации по мере поступления информации об этих ситуациях. Средний специалист в конкретной предметной области  помнит от 50 000 до 100 000 чанков, которые  могут быть использованы для решения  той или иной проблемы. Накопление в памяти человека и построение указателей для такого объема данных требует  от 10 до 20 лет.

     Перечисленные особенности информационных единиц определяют ту грань, за которой данные, превращаются в знания, а базы данных перерастают в базы знаний.

     Однако  в настоящее время не существует баз знаний, в которых комплексно, в полной мере были бы реализованы  внутренняя интерпретируемость, структуризация, связность, введена семантическая  мера и обеспечена активность знаний.

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

2.2 Инженерия знаний 

     Как уже отмечалось, технологию построения экспертных систем часто называют инженерией знаний. Как правило, этот процесс  требует специфической формы  взаимодействия создателя экспертной системы, которого называют инженером  знаний, и одного или нескольких экспертов в некоторой предметной области. Инженер знаний «извлекает»  из экспертов процедуры, стратегии, эмпирические правила, которые они  используют при решении задач, и  встраивает эти знания в экспертную систему. Одной из наиболее сложных  проблем, возникающих при создании экспертных систем, является преобразование знаний эксперта и описания, применяемых  им способов поиска решений в форму, позволяющую представить их в  базе знаний системы, а затем эффективно использовать для решения задач  в данной предметной области.

     Обычно  эксперт не прибегает к процедурным  или количественным методам; его  основные средства -- аналогия, интуиция и абстрагирование. Часто эксперт  даже не может объяснить, как именно им было найдено решение. В лучшем случае вы получите от него лишь описание основных приемов или эвристик, которые  помогли ему успешно справиться с задачей. На инженера знаний возлагается  очень сложная работа по преобразованию этих описаний в строгую, полную и  непротиворечивую систему, которая  позволяла бы решать прикладные задачи не хуже, чем это сделал бы сам  эксперт, поскольку процесс построения базы знаний плохо структурирован и  по своей природе является скорее циклическим, чем линейным.

     Построение  базы знаний включает три этапа:

• описание предметной области;
• выбор модели представления знаний (в случае использования оболочки этот этап исключается);
• приобретение знаний.

     Первый  шаг при построении базы знаний заключается  в выделении предметной области, на решение задач из которой ориентирована  экспертная система. По сути, эта работа сводится к очерчиванию инженером  знаний границ области применения системы и класса решаемых ею задач. При этом необходимо:

• определить характер решаемых задач;
• выделить объекты предметной области;
• установить связи между объектами;
• выбрать модель представления знаний;
• выявить специфические особенности предметной области.

     Инженер знаний должен корректно сформулировать задачу. В то же время он должен уметь  распознать, что задача не структурирована, и в этом случае воздержаться от попыток ее формализовать или  применить систематические методы решения. Главная цель начального этапа  построения базы знаний -- определить, как будет выглядеть описание предметной области на различных  уровнях абстракции. Экспертная система  включает базу знаний, которая создается  путем формализации некоторой предметной области, а та, в свою очередь, является результатом абстрагирования определенных сущностей реального мира.

     Выделение предметной области представляет собой  первый шаг абстрагирования реального  мира.

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

     Полученная  после формализации предметной области  база знаний представляет собой результат  ее абстрагирования, а предметная область, в свою очередь, была выделена в результате абстрагирования реального мира. Человек обладает способностью работать с предметными областями различных  типов, использовать различные модели представления знаний, рассматривать  понятия реального мира с различных  точек зрения, выполнять абстрагирования  различных видов, проводить сопоставление  знаний различной природы и прибегать  к самым разнообразным методам  решения задач. Имеются отдельные  примеры совместного использования  баз знаний, ориентированных на различные  предметные области, но большинство  современных систем может решать задачи только из одной предметной области.

     Инженер знаний, прежде всего, обязан провести опрос эксперта и только потом  приступать к построению системы. Эксперт, безусловно, должен быть специалистом в той области, в которой будет  работать система. Первым делом необходимо определить целевое назначение системы. Какие, собственно, задачи предстоит  решать системе, основанной на знаниях? Цели разработки системы следует  сформулировать точно, полно и непротиворечиво.

     После того как цель разработки системы  определена, инженер знаний приступает к формулированию подцелей; это поможет  ему установить иерархическую структуру системы и разбить ее на модули. Введение тех или иных подцелей обусловливается наличием связей между отдельными фрагментами знаний. Проблема сводится к разбиению задачи на две или несколько подзадач меньшей сложности и последующему поиску их решений. При необходимости полученные в результате разбиения подзадачи могут дробиться и дальше.

     Следующий этап построения базы знаний -- выделение  объектов предметной области или, в  терминах теории систем, установление границ системы. Как и формальная система, совокупность выделенных понятий  должна быть точной, полной и непротиворечивой.

     Ответы  на все перечисленные вопросы  позволяют очертить границы исходных данных. Для построения пространства поиска решения необходимо определить подцели на каждом уровне иерархии целей общей задачи. В вершине  иерархии следует поместить задачу, которая по своей общности отражает принципиальные возможности и назначение системы.

     После выявления объектов предметной области  необходимо установить, какие между  ними имеются связи. Следует стремиться к выявлению как можно большего количества связей, в идеале -- всех, которые существуют в предметной области.

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

     И, наконец, в предметной области должны быть выявлены специфические особенности, затрудняющие решение прикладных задач. Вид этих особенностей зависит от назначения системы.

     Разработку  системы, основанной на знаниях, рекомендуется  проводить в следующей последовательности: