1626434812-e667f6b6e7e69d3a0798830a58e9075b (844135), страница 29
Текст из файла (страница 29)
Индексы фактов начинаются с нуля и для каждого нового или измененного факта увеличиваются на единицу. Каждый раз после выполнения команд баеве~ и с1еаг выделение индексов начинается с нуля. Факт также может задаваться при помощи адреса. Адрес факта может быть получен путем сохранения возвращаемого значения команд, которые возвращают в качестве результата адрес факта (таких как аваева~, гпосй йу и с1цр11са~е), или путем связывания переменной с адресом факта в левой части правила (см. далее), Идентификатор факта — это короткая запись для отображения факта на экране. Она состоит из символа К и записанного через тире индекса факта. Например, запись Г-1О служит для обозначения факта с индексом 10.
Существует два формата представления фактов: позиционный и непозиционный, Позиционные факты Позиционные факты состоят из выражения символьного типа, за которым следует последовательность (возможно, пустая) из полей, разделенных пробелами. Вся запись заключается в скобки. Обычно первое поле определяет "отношение", которое применяется к оставшимся полям. Например: Базы данных. Интеллектуальная обработка информации (г,"пе ршпр 1з оп) (а1с1тцс(е 1з 1ОООО кеес.) (дхосеху 11зс. Ьгеас( Ы1)с еддз) Поля в позиционных фактах могут быть любого простого типа (за исключением первого поля, которое все~да должно быть типа зушЬо1), на порядок полей также не накладывается никаких ограничений.
Следующие символьные выражения зарезервированы и не должны использоваться как первое поле любого факта (позиционного или нет): ~е~~, апс( ог по!, Иес1аге, (орса!, оЬуес~, ехало и~огай. Непозиционные факты Для того чтобы обратиться к информации, содержащейся в позиционном факте, пользователь должен знать не только какие данные содержатся в факте, но и то, в каком поле они хранятся. Непозиционные (шаблонные) факты дают возможность пользователю абстрагироваться от структуры факта, задавая имена каждому из полей факта.
Для задания шаблона, который затем может использоваться при доступе к полям по именам, используется конструкция с1е Г~евр1асе. Эта конструкция подобна структуре или записи в языках программирования С и Паскаль. Конструкция с(ейтеп~р1асе позволяет наряду с определением именованных полей, или слотов, вводить имя шаблона.
В отличие от позиционных фактов слоты шаблонного факта могут быть ограничены по типу, значению, числовому диапазону. Кроме того, для любого слота можно определить значения по умолчанию. Слот состоит из открывающейся скобки, за которой следует имя слота, полей (могут отсутствовать) и закрывающейся скобки. Заметим„что слоты не могут использоваться в позиционных фактах, так же как позиционные поля не могут использоваться в шаблонных фактах. Общая структура конструкции с(ейсетр1а~е такова: (с(ейГетр1асе <паве>) (з1о~-1) (з1о~-2) (з1о1-Щ Далее приведен пример шаблона с заданными для слотов значениями по умолчанию: (с(еХсетр1асе ргозрес~) (з1ос пампе (с(ейац11 ?ВЕВ1ЧЕ) (з1о1 аззесз (с(ейац1г. г1сЬ) (з1о1 аде (с(ейац1т.
80) ) ) Гпава б. Системы, основанные на знаниях 147 Шаблонные факты отличаются от позиционных по первому полю в факте. Первое поле всех фактов должно быть типа зутЬо1, но если это символьное выражение соответствует имени шаблона, то этот факт — шаблонный. За первым полем шаблонного факта следует список из нуля или более слотов. Как и позиционные, шаблонные факты заключаются в скобки. Далее приведено несколько примеров шаблонных фактов: (с1*'епс (пате "1ое Вгоип") (1о Х9345А) ) (ро1пГ.-тазз (х-че1осх~у 100) (у-че1ос1~у -200) ) (с1азз (~еасЬег "Маг~Ьа Уопез") ($-зГыбеп~з 30) (гоот "37А")) (дгосегу-11з~ (Ф-оГ-1гетз 3) (1гетз Ьгеас) т111 ецдз)) Заметим, что порядок следования слотов в шаблонном факте не важен.
Манипуяяиии иад фактами Факты могут добавляться к списку фактов (с помощью команды аззегг), удаляться из него (с помощью команды геггас~), изменяться (с помощью команды тос(1йу) и дублироваться (с помощью команды с)ыр11са~е) самим пользователем или программой. Например: (аззегс (11дЬг. дгееп)) Кроме того, конструкция беГГасгз позволяет определить множество исходных или априорных знаний в виде набора фактов. Например: (с(еЙЙасгз ха1К "Яоте Йасгз аЬопг. ыа111пд" (зла'сиз ыа111по) (иа11-з1дп ъа11) ) Когда производится сброс состояния среды СЫРБ (с помощью команды гезе~) все факты, описанные в конструкции сЫ йГасгз, добавляются к списку фактов.
Кроме того, по этой команде в список фактов заносится исходный факт (Ы1~1а1-йасг.) . Этот факт включается в список фактов всегда с идентификатором ('-О. Его назначение будет рассмотрено в следующем пункте. 6.3.2.3. Правила Одним из основных методов представления знаний в С1ЛРЯ являются правила. Правила используются для представления эвриспж„определяющих ряд действий, которые необходимо выполнить в определенной ситуации. Разработчик экспертной системы определяет совокупность правил, которые используются соииестнодля решения проблемы. Правило состоит из двух частей: анн|ицедепта (условия), который является аналогом условия в К Йеп операторе и записывается ыева, и консеквента (заключения), который является аналогом реп части этого оператора и записывается справа.
Левая часть правила представляет собой ряд условий (условных элементов), которые должны выполняться, чтобы правило было применимо. В СЫРБ принято Базы данных. Интеллектуальная обработка инфорл~ации считать, что условие выполняется, если соответствующий ему факт присутствует в списке фактов. Одним из типов условных элементов может быль образец. Образцы состоят из набора ограничений, которые используются для описания того, какие факты удовлетворяют условию, определяемому образцом. Процесс сопоставления фактов и обрюцов выполняется блоком вывода С1.1РЗ, который автоматически сопоставляет образцы, исходя из текущего состояния списка фактов, и определяет, какие из правил являются применимыми.
Если все условия правила выполняются, то оно иктивнруется и помещается в список иквгивированных правы. Если левая часть правила пуста, то для его активации необходимо наличие в списке фактов исходного факта (1п1г.1а1-Гас~) . Такие безусловные правила часто используются для того, чтобы инициировать работу программы. Поэтому перед запуском таких программ необходимо произвести сброс состояния среды С1.1РЯ. Правая часть правила представляет собой совокупность действий, которые должны быть выполнены, если правило применимо. Действия, описанные в применимых правилах, выполняются тогда, когда блок вывода С1 1РЯ получает команду начать выполнение применимых правил.
Если существует множество применимых правил, то для того, чтобы выбрать правило, действия которого должны быть выполнены, блок вывода использует стратегию разрешения конфликтов. Действия, описанные в выбранном правиле, выполняются (при этом список применимых правил может измениться), а затем блок вывода выбирает другое правило и т.д. Этот процесс продолжается до тех пор, пока не остается ни одного применимого правила, т.е.
пока список активированных правил не окажется пуст. Во многом правила похожи на операторы типа К-реп процедурных языков программирования. Однако условие 1('-реп оператора в процедурном языке проверяется только тогда, когда программа передает ему управление. С правилами ситуация иная. Блок вывода постоянно отслеживает все правила, условия которых выполняются, и, таким образом, правило может быть выполнено в любой момент, как только оно становится применимым.
В этом смысле правила подобны обработчикам исключительных ситуаций в процедурных языках (например, в языке Ада). Для определения правил используется конструкция с)е йги1е: (с)ейги1е гп1е паве "орг.1опа1 сопппеп~" (раг.г.еп 1) (ра1~еп 2) Глава б. Системы, основанные на знаниях (ас~1оп 1) (ас~хоп 2) (ас~з.оп М) ) Например: (с(ейгп1е ~аде-а-часат.хоп (ыох)с с(опе) (тпопеу р1епТу) (гезегча11опз вас(е) (угу.проис 1 "наес'з до!" сг1й) ) 6.3.2.4. Переменные Как и в других языках программирования, в СЫРБ для хранения значений используются переменные. В отличие от фактов, которые являются статическими, или неизменными, содержание переменной динамично и изменяется по мере того, как изменяется присвоенное ей значение.
Идентификатор переменной всегда начинается с вопросительного знака, за которым следует ее имя. В общем случае формат переменной выглядит следующим образом: ?<чаг1аЬ1е-пате> Примеры переменных. ?х ?зепзог ?полип ?со1ох' Перед использованием переменной ей необходимо присвоить значение. Все переменные, кроме глобальных, считаются локальными и могут использоваться только в рамках описания конструкции. К этим локальным переменным можно обращаться внутри описания, но они не определены вне него. Чаще всего переменные описываются и получают значения в левой части правила.
Например: (с(ейгы1е ваЕе-оцасЕ (сЫс)с-зсилпс1 ?зоипс1) (аззег~ (зоппс(-хз ?зоыпс()) Получив значение, переменная сохраняет его неизменным при использовании как в левой, так и в правой части правила, если только это значение не изменяется в правой части при помощи функции Ь1пс(. Базы данных. Интеллектуальная обработки информации 15д (аяяегг (апя~ег (+ ?х ?у))) (Ь1пс) ?апяиег (+ ?х ?у)) (рг1псапг г "апяиег 1я " ?апяиег сг1Й)) Кроме значения самого факта, переменной может быть присвоено значение адреса факта.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
