Экспертные системы. Учебное пособие по специальности 080801 «Прикладная информатика (в информационной сфере)»

81

ГЛОССАРИЙ

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

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

Атомы – простейшие объекты Лиспа, из которых строятся остальные структуры.

Атомы символьные – последовательность букв и цифр; при этом должен быть, по крайней мере, один символ, отличающий его от числа.

Атомы числовые – действительные числа.

Атрибут – характеризующее событие, имеющее несколько значе-

ний.

База знаний – упорядоченный набор сведений об исследуемой предметной области, представленный в некоторой формальной форме.

Вопрос – утверждение, вводимое пользователем и воспринимаемое Прологом как целевое.

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

Демон – процедура, автоматически запускаемая при выполнении некоторого условия.

Индукция – синтетические рассуждения, которые выводят правило, исходя из предпосылок и результата.

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

Интерфейс – средство обеспечения общения пользователя с системой.

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

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

Модель продукционная – модель представления знаний, основанная на правилах, представляющая знания в виде предложений типа: ЕСЛИ (условие), ТО (заключение, действие).

82

Модель фреймовая – модель, служащая для представления и описания стереотипных объектов, событий или ситуаций.

Оболочки экспертных систем – «пустые» версии существующих экспертных систем, т. е. готовые экспертные системы без базы знаний.

Операционализация – преобразование во внутренний формат советов, подсказок по решению задачи.

Планировщик – элемент механизма вывода, поддерживающий управление агендой.

Правила – тип предложений в Прологе, содержащих утверждения, зависящие от условий.

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

Предикат (в функциональном программировании) – функция, которая проверяет условие на истинность и возвращает NIL («ложь») или T («истина»).

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

Предметная область динамическая – предметная область, в ко-

торой информация изменяется за время решения задачи.

Предметная область статическая – предметная область, в кото-

рой информация не изменяется за время решения задачи.

Программирование логическое – метод программирования,

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

Процедура (в логическом программировании) – множество предложений, имеющих в заголовке предикат с одним и тем же именем и одинаковым количеством аргументов.

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

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

83

Рабочая область – область, расположенная отдельно для описания текущей задачи.

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

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

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

Слота имя – идентификатор, присваиваемый слоту; слот должен иметь уникальное имя во фрейме, к которому он принадлежит.

События – это суждения, факты, результаты наблюдений, рекомендации.

Список – упорядоченная последовательность элементов, которая может иметь произвольную длину.

Списка голова – первый элемент списка.

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

списка, за исключением первого его элемента.

Указатели атрибутов слота или типа данных – указатели, пока-

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

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

Унификация (отожествление, согласование) – процесс нахожде-

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

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

Фреймы – это минимальные структуры информации, необходимые для представления класса объектов, явлений или процессов.

Фрейма имя – идентификатор, присваиваемый фрейму; должен быть уникальным.

Цель (целевое утверждение) – некоторое утверждение, проверка истинности которого производится Прологом при помощи унификации.

84

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

Экспертные системы автономные – экспертные системы, рабо-

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

Экспертные системы гибридные – экспертные системы, пред-

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

Экспертные системы динамические – экспертные системы,

разрабатываемые в динамических предметных областях.

Экспертные системы квазидинамические – экспертные системы,

которые интерпретируют ситуацию, меняющуюся с некоторым фиксированным интервалом времени.

Экспертные системы продукционные – экспертные системы,

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

Экспертные системы статические – ЭС, разрабатываемые в ста-

тических предметных областях.

S-выражение – символьное выражение; является основной структурой данных в Лиспе.

85

Учебное издание

Малышева Елена Николаевна

ЭКСПЕРТНЫЕ СИСТЕМЫ

Учебное пособие

Редактор Ю. А. Сивушкина

Компьютерная верстка М. Б. Сорокиной

Подписано к печати 20.07.2010. Бумага офсетная. Гарнитура «Таймс». Уч.-изд. л. 3,2. Усл.-печ. л. 5,1. Тираж 500 экз. Заказ № 524.

___________________________________________________________

Издательство КемГУКИ: 650029, г. Кемерово, ул. Ворошилова, 19. Тел. 73-45-83.

E-mail: izdat@kemguki.ru

86