Контрольная работа: Способы представления знаний

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

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

Так как возрастает количество связей между понятиями, инженеру знаний трудно их контролировать.

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

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

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

Чаще всего используются процедуры:

«если - добавлено» - выполняется, когда новая информация помещается в слот;

«если - удалено» - выполняется, когда информация удаляется из слота;

«если - нужно» - выполняется, когда запрашивается информация из слота, а он пустой.

Эти процедуры могут проверять, что при изменении значения производятся соответствующие действия.

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

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

2.5 Представление знаний с использованием семантических сетей

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

узлов, соответствующих объектам, понятиям и событиям;

дуг, связывающих узлы и описывающих отношения между ними.

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

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

Наиболее распространенными являются следующие типы отношений:

«является» - означает, что объект входит в состав данного класса;

«имеет» - позволяет задавать свойства объектов.

Возможны также отношения вида:

«является следствием» - отражает причинно-следственные связи;

«имеет значение» - задает значение свойств объектов.

2.6 Представление знаний в виде нечетких высказываний

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

Например:

В булевой алгебре 1 представляет истину, а 0 - ложь. То же имеет место и в нечеткой логике, но, кроме того используются также все дроби между 0 и 1, чтобы указать на частичную истинность [2, 5 - 11]. Так запись «µ(высокий(Х)) = 0,75» говорит о том, что предположение «Х - высокий» в некотором смысле на три четверти истинно, а на одну четверть ложно.

Для комбинирования нецелочисленных значений истинности в нечеткой логике определяются эквиваленты логических операций:

µ1 И µ2 = min (µ1, µ2);