Обработка списков и строк символов

 

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

X=[a, b, c, d].

Для разделения списка на части используется предикат " ½ ". Он делит список на " голову" и " хвост" (подсписок, являющийся исходным списком без элементов головы). Так, если 1) X=[a, b, c, d] и X=[Y ½ Z], то, например, Y=a (здесь в качестве головы берется только первый элемент исходного списка), Z=[b, c, d]; 2) X=[a] и X=[Y ½ Z], то Y=a, Z=[ ] - пустой подсписок.

Принадлежность элемента списку. Принадлежность элемента X списку Y записывается в виде предиката принадлежит(X, Y). Для определения истинности этого предиката вначале проверяется идентичность X и первого элемента списка Y. Если они совпадают, то можно записать: принадлежит (X, [X ½ _ ]), где " _" -анонимная переменная, соответствующая остальной части списка Y завычетом его первого элемента, равного X. Если идентичности X и первого элемента списка Y нет, просматривается хвост “_” списка Y на предмет наличия в нем X, что оформляется как принадлежит (X, [_ ½ Z]), где “_” – уже первый элемент списка Y, а Z – остальная его часть-хвост. Поскольку анализ хвоста проводится вначале тоже путем проверки идентичности X и первого элемента подсписка Z, то можно записать правило: принадлежит (X, [_ ½ Z]): - принадлежит (X, Z). Ясно, что программа приходит к решению первоначальной задачи: принадлежит(X, [X ½ _ ]), где “_” – соответствует списку Z завычетом его первого элемента. Программа работы оказывается рекурсивной:

1⁰ принадлежит(X, [X ½ _ ]).

2⁰ принадлежит (X, [_ ½ Z]): -

принадлежит (X, Z).

Пример. Имеется запрос: принадлежит(седло, [руль, рама, колесо, седло]). Процедура поиска решения имеет следующий порядок.

Первый цикл. Унификация начального состояния стека вопросов

выводится с помощью правила R, то в сети имеется дуга, которая соединяет вершины G и R от G к R. Пример сети вывода с правилами П1-П3 показан на рис 9.1:

П1: Если ТВ & РВ то ОС,

П2: Если ТВ Ú РВ то ОС,

П3: Если ТБ Ú АШ то РВ.

 

 

 

 

 

 

Рис. 9.1. Сеть вывода

 

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

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