Основы логического программирования в среде Турбо Пролог. Учебное пособие по курсу «Экспертные системы»

Приложение 2

Назначе ние клавиш, используем ых при работе с ре дактором

61

Литература

Основная лите ратура

1.Адаменко, А. Н. Логическое программирование и Visual Prolog [Текст] / А. Н. Адаменко, А. М. Кучуков. – СПб.: БХВ-Петербург, 2003. – 992 с.

2.Братко, И. Программирование на языке Пролог для искусственного интеллекта [Текст] / И. Братко. – М.: Мир, 1990. – 560 с.

3.Доорс, Дж. Пролог – язык программирования будущего [Текст] / Дж. Доорс, А. Р. Рейблейн, С. Вадера. – М.: Финансы и статистика, 1990.

4.Ин, Ц. Использование Турбо Пролога [Текст] / Ц. Ин, Д. Соломон. –

М.: Мир, 1993.

5.Клоксин, У. Программирование на языке Пролог [Текст] / У. Клоксин, К. Меллиш. – М.: Мир, 1987.

6.Mалпас, Дж. Реляционный язык Пролог и его применение [Текст] / Дж. Mалпас; под ред. В. Н. Соболева. – М.: Наука, 1990. – 464 с.

7.Марселлус, Д. Программирование экспертных систем на Турбо Прологе [Текст] / Д. Марселлус. – М.: Финансы и статистика, 1994. – 256 с.

8.Стобо, Д. Ж. Язык программирования Пролог [Текст] / Д. Ж. Стобо. – М.: Радио и связь, 1993. – 368 с.

9.Стерлинг, Л. Искусство программирования на языке Пролог [Текст] / Л. Стерлинг, Э. Шапиро. – М.: Мир, 1990. – 235 с.

10.Скляров, В. А. Программное и лингвистическое обеспечение персональных ЭВМ [Текст] / В. А. Скляров. – Минск: Вышэйшая школа, 1992. – 462 с.

11. Хоггер, К. Введение в логическое программирование [Текст] /

К. Хоггер. – М.: Мир, 1988. – 348 с.

Дополните льная лите ратура

1.Абдикеев, Н. М. Интеллектуальные информационные системы [Текст] / Н. М. Абдикеев; под ред. К. И. Курбакова. – М.: КОС ИНФ,

Рос. экон. акад., 2003. – 188 с.

2.Воройский, Ф. С. Информатика. Энциклопедический систематизированный словарь-справочник: введение в современные и телекоммуникационные технологии в терминах и фактах [Текст] / Ф. С. Во-

62

ройский. – М.: Физматлит, 2006. – 945 с.

3.Гаскаров, Д. В. Интеллектуальные информационные системы [Текст] / Д. В. Гаскаров М.: Высшая школа, 2003. – 431 с.

4.Джексон, П. Введение в экспертные системы [Текст] / П. Джек-

сон. – М., 2001. – 624 с.

5.Левин, Р. Практическое введение в технологию искусственного интеллекта и экспертных систем с иллюстрациями на Бейсике [Текст] / Р. Левин, Д. Дранг, Б. Эделсон. – М.: Финансы и статистика, 1990. – 239 с.

6.Могилев, А. В. Практикум по информатике [Текст] / А. В. Могилев, Н. И. Пак, Е. К. Хеннер. – М.: Издательский центр «Академия», 2002. – 608 с.

7.Смит, Д. Искусственный интеллект: применение в химии [Текст] / Д. Смит, Ч. Риз, Дж. Стюард; под ред. К. И. Т. Пирса, Б. Хони. – М., 1998. – 430 с.

Предметный указатель

А

Арность 6

Б

База данных 8 Базис рекурсии 30

В

Вопросы 9

Г

Голова списка 33

Д

Декларативное программирование 5

К

Конъюнкция 10

Л

Логическое программирование 5

О

Отождествление 11 Отсечение 16

П

Переменные 13

63

анонимные 13 именованные 13 свободные 13 связанные 13

Поиск с возвратом 11 Правила 7,11 Предикат 6

встроенный 14 Процедура 7

рекурсивная 30

Р

Раздел программы на Турбо Прологе 18 описание внутренней цели 21 описание доменов 19 описание констант 18 описание предикатов 20

описание предикатов внутренней базы данных 20 описание предложений 21

Рекурсия 30

С

Согласование 11 Список 33 Структура 13

Т

Термы 12

У

Унификация 11

Ф

Факты 8

Х

Хвост списка 33

Ц

Цель 9

Ш

Шаг рекурсии 30

64

Глоссарий

Арность – число аргументов предиката.

База данных – совокупность фактов в Прологе.

Базис ре курсии – предложение, определяющее некую простейшую ситуацию, при достижении которой завершается процесс рекурсивного вызова процедуры.

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

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

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

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

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

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

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

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

Пе реме нные свободные – переменные, которым не было присвоено значение.

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

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

назначенный для решения задач искусственного интеллекта, в соответ-

65

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

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

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

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

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

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

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

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

66

67