14506

База знаний экспертных систем

Лекция

Информатика, кибернетика и программирование

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

Русский

2013-06-06

83.5 KB

70 чел.

База знаний экспертных систем

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

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

Определения:

Переменная – набор с априорно неизвестными значениями.

Переменная может быть связанной и несвязанной (свободной); в последнем случае переменной не приписано никакого значения. Само значение переменной можно рассматривать как некоторый объект. С этой точки зрения связанная переменная будет представлять пару <A1,A2>, где исходным объектом (именованной переменной) является A1, а производным объектом, представляющим значение переменной, является A2.

Константа может быть представлена как пара <C,C>, где С – конкретный объект. В том случае, если для переменной предложено обозначение <A,A>, то эта также суть константа.

Определим основные специфические характеристики знаний:

  1.  Внутренняя интерпретируемость знаний отождествляется с порождение некоторой функции (способа) связывания переменных с их значениями или иначе, способ порождения пар <A1,A2>. Такая функция называется интерпретирующей, способ связывания, соответственно, интерпретацией. Данные являются парами типа <C,C>, т.е. константами, для них не нужна интерпретирующая функция, они сами себя определяют.
  2.  Рекурсивная структурированность знаний и связность. Рекурсивная структурируемость определяется через понятие концепта – семантического целого понятий.

Понятия В= B1,B2,..Bn образуют семантическое целое, если каждый Вi в B образует семантическое целое как минимум с одним из Вj, где Bj B/ Bi. Концепт есть упорядоченное множество семантических целых, представляющих понятие.

Кроме этого того чтобы понятия, например К1 и к2 образовывали семантическое целое необходимо выполнение следующих условий:

  •  К1 и К2 связаны друг с другом как отношение и один из его аргументов;
  •  К1 и К2 связаны друг с другом как действие и его носитель или субъект;
  •  К1 и К2 связаны как функция ее аргумент.

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

  1.  Семантическое пространство с метрикой. Это свойство знаний связано с возможностью изменения знаний в системе оценок (метрик) в интервале истина, ложь. В системе с нечеткой логикой используется бесконечное множество оценок истинности. Например, утверждение «изменение стоимости товара ожидается с достоверностью 0,7» не является ни строго истинным, ни строго ложным, а лишь характеризуется некоторой степенью правдоподобия.
  2.  Активность знаний. Это свойство знаний адаптироваться в ответ на изменяющиеся факты, т.е. возможность обучения и самокоррекции.
  3.  Функциональная целостность. Под этим свойством знаний понимается их непротиворечивость, независимость исходных посылок и разрешимость. Непротиворечивость знаний означает. Что в базе знаний невозможно появление двух взаимоисключающих фактов. Хотя принципиально возможно рассуждение на основе взаимоисключающих посылок. Требование разрешимости заключается в том, что любое истинное знание, формализуемое в базе знаний системы, может быть выведено в не й при помощи поддерживаемых стратегий вывода. Требование разрешимости, к сожалению, для некоторых моделей представления знаний (логики предикатов) не всегда выполнимо.
  4.  Независимость означает невозможность вывода одного знания из другого формальным способом.
  5.  Ситуативность. Наличие ситуативных связей определяет совместимость тех или иных знаний, хранимых в системе. В качестве таких связей могут выступать отношения времени, места, действия, причины и т.п.

Различают две формы представления знаний: декларативную и процедурную.

С учетом архитектуры экспертной системы знания можно делить на интерпретируемые и не интерпретируемые (рис.`1) К первому типу относят те знания, которые способен интерпретировать управляющий компонент. Все остальные знания относятся ко второму типу; структура и содержание этих знаний интерпретатору не известны.

Не интерпретируемые знания подразделяют на следующие категории знаний:

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

Интерпретируемые знания можно разделить на следующие виды:

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

Пример: База знаний состоит из фактов, отражающих специфику предметной области (например, финансовое положение клиента), вместе с правилами вывода (например, для одобрения решения

  •  Управляющие знания можно разделить на:
    •  Фокусирующие знания описывают, какие знания следует применять в конкретной ситуации. Обычно фокусирующие знания содержат сведения о наиболее перспективных объектах или правилах, которые целесообразно применять при проверке гипотез.
    •  Решающие знания содержат информацию, используемую для выбора способа интерпретации знаний, подходящего к текущей ситуации; эти знания применяются при выборе стратегий или эвристик, наиболее эффективных для решения данной задачи.
  •  Знания о представлении указывают, какой способ представления структуры знаний выбран в системе.

По отношению к предметным знаниям знания о представлении и управляющие знания являются метазнаниями.

Выделим следующие проблемы организации знаний:

  1.  Организация знаний по уровням детальности и уровням представления.

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

  1.  Организация знаний в рабочей памяти.

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

  1.  Организация знаний в базе знаний.

Показателем интеллектуальности системы является способность системы использовать нужные в данный момент (релевантные) знания. Системы, не имеющие таких способностей, неизбежно сталкиваются с проблемой «комбинаторного взрыва». Эта проблема является основной проблемой ограниченности применения экспертных систем. В проблеме доступа к знаниям можно выделить следующие аспекты: связанность знаний и данных, механизм доступа к знаниям и способ сопоставления. Связность (агрегация) знаний является основным способом, обеспечивающим ускорение поиска релевантных данных. Считается, что знания следует организовывать вокруг наиболее важных объектов предметной области. Все знания, характеризующие некоторую сущность, связываются и представляются в виде отдельного объекта. В объектах целесообразно выделять два типа связок между элементами: внешние и внутренние. Первые – объединяют элементы в единый объект и предназначены для выражения структуры объекта; вторые – отражают взаимосвязи между объектами в области экспертизы. Многие исследователи выделят во внешних связках логические и ассоциативные связки. Логические связки выделяют семантические отношения между элементами знаний, а ассоциативные – предназначены для обеспечения взаимосвязей, способствующих ускорению процесса поиска релевантных знаний.

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

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

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

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

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

Основные свойства базы знаний экспертной системы:

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

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

  •  продукционные модели;
  •  логические модели;
  •  фреймы;
  •  семантические сети.

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

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

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

Модели представления знаний обычно делят на :

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


Рис. 1 Структура знаний экспертной системы

PAGE  1


 

А также другие работы, которые могут Вас заинтересовать

15412. Возбудители дифтерии, коклюша, паракоклюша. Характеристика. Патогенез, клиника, лабораторная диагностика вызываемых заболеваний. Специфическая терапии и профилактика 46.5 KB
  Практическое занятие 24 Тема: Возбудители дифтерии коклюша паракоклюша. Характеристика. Патогенез клиника лабораторная диагностика вызываемых заболеваний. Специфическая терапии и профилактика. 1. Дифтерия Дифтерия острое инфекционное заболевание преимущ...
15413. Вирус клещевого энцефалита. Характеристика. Патогенез и клиника клещевого энцефалита. Лабораторная диагностика. Специфическая профилактика. Рабдовирусы. Вирус бешенства. Характеристика 57.5 KB
  Практическое занятие 30 Тема: Вирус клещевого энцефалита. Характеристика. Патогенез и клиника клещевого энцефалита. Лабораторная диагностика. Специфическая профилактика. Рабдовирусы. Вирус бешенства. Характеристика. Патогенез и клиника бешенства. Лабораторная диагн
15414. Сальмонеллы и сальмонеллезы. Возбудители брюшного тифа и паратифов А и В. Патогенез вызываемых заболеваний. Лабораторная диагностика. Профилактика 38 KB
  Практическое занятие 21 Тема: Сальмонеллы и сальмонеллезы. Возбудители брюшного тифа и паратифов А и В. Патогенез вызываемых заболеваний. Лабораторная диагностика. Профилактика. 1. Сальмонеллы и вызываемые ими заболевания Таксономия. Сальмонеллы относятся к се
15415. Гноеродные кокки. Стафилококки. Классификация. Биологические свойства. Роль в патологии. Лабораторная диагностика. Профилактика 35.5 KB
  Практическое занятие 18 Тема: Гноеродные кокки. Стафилококки. Классификация. Биологические свойства. Роль в патологии. Лабораторная диагностика. Профилактика. Таксономия. Стафилококки греч. staphyle виноградная гроздь kokkos зерно относятся к отделу Firmicutes семейству ...
15416. Гноеродные кокки. Стрептококки. Нейссерии. Характеристика. Роль в патологии. Лабораторная диагностика вызываемых заболеваний. Профилактика 64 KB
  Практическое занятие 19 Тема: Гноеродные кокки. Стрептококки. Нейссерии. Характеристика. Роль в патологии. Лабораторная диагностика вызываемых заболеваний. Профилактика. 1. Стрептококки Таксономия и классификация. Стрептококки от греч. streptos цепочка и kokkos зер
15417. Возбудитель туберкулеза. Биологические свойства. Патогенез и клиника туберкулеза. Принципы лабораторной диагностики. Специфическая профилактика 42.5 KB
  Практическое занятие 25 Тема: Возбудитель туберкулеза. Биологические свойства. Патогенез и клиника туберкулеза. Принципы лабораторной диагностики. Специфическая профилактика. Туберкулез лат. tuberculum бугорок – инфекционное заболевание человека сопровождающееся ...
15418. Возбудители зоонозных инфекций: чумы, туляремии, бруцеллеза, сибирской язвы. Биологические свойства. Патогенез и клиника вызываемых заболеваний 61 KB
  Практическое занятие 26 Тема: Возбудители зоонозных инфекций: чумы туляремии бруцеллеза сибирской язвы. Биологические свойства. Патогенез и клиника вызываемых заболеваний. Лабораторная диагностика. Специфическая профилактика. 1. Возбудитель чумы Y. pestis Чума ...
15419. Характеристика семейства энтеробактерий. Эшерихии. Шигеллы. Биологические свойства. Классификация. Патогенез вызываемых заболеваний. Лабораторная диагностика 45.5 KB
  Практическое занятие 20 Тема: Характеристика семейства энтеробактерий. Эшерихии. Шигеллы. Биологические свойства. Классификация. Патогенез вызываемых заболеваний. Лабораторная диагностика. 1. Характеристика семейства Еnterobacteriaceae Семейство Enterobacteriaceae является о...
15420. Инфекция. Роль микроорганизма в инфекционном процессе. Патогенность и вирулентность. Экспериментальный (биологический) метод исследования. Бактериоскопическое и бактериологическое исследование трупного материала 35.5 KB
  ЗАНЯТИЕ 11 Тема занятия: Инфекция. Роль микроорганизма в инфекционном процессе. Патогенность и вирулентность. Экспериментальный биологический метод исследования. Бактериоскопическое и бактериологическое исследование трупного материала. ...