Читать онлайн «Язык плэнер»

БИБЛИОТЕЧКА >• 4 • ПРОГРАММИСТА в. н. пильщиков Язык плзнер БИБЛИОТЕЧКА ПРОГРАММИСТА В. Н. ПИЛЬЩИКОВ ЯЗЫК ПЛЭНЕР МОСКВА «НАУКА» ГЛАВНАЯ- РЕДАКЦИЯ ФИЗИКО-МАТЕМАТИЧЕСКОЙ ЛИТЕРАТУРЫ 1983 22. 18 П 32 УДК 519. 6 Язык плэнер. Пильщиков В. Н. — М. : Наука. Главная редакция физико-математической литературы, 1983. — 208 с. В книге описана одна из версий хорошо известного в области искусственного интеллекта языка программирования planner. В этом языке наряду с традиционными методами обработки символьной информации используется много новых концепций (поиск с возвратами, ассоциативная выборка данных и процедур,, дедуктивные выводы и др. ), учитывающих специфику задач искусственного интеллекта. Рис. 6. Библ. 17 назв. 1702070000 — 154 (6) Издательство «Наука». П аго/поч со 36-83 ^Главная редакция Uoo(UZ)-oo -. физико-математической литературы, 1988 ОГЛАВЛЕНИЕ Предисловие * 5 Глава 1. Функции 9 1. 1. Выражения 9 1. 2. Формы . * I,... . 13 1. 3. Обращения к функциям ... ... . . 15 1. 4. Операции над списками . 19 1. 5. Арифметические функции 23 1. 6. Операции над шкалами 26 1. 7. Предикаты 28 1. 8. Логические функции ... ... . 31 1. 9. Функция PROG \ . . 33 1. 10. Циклы 38 1. 11. Функция EVAL ... . . ;... . 43 1. 12. Определение новых функций 44 1. 13. Программа 49 1. 14. Переменные и константы 52 1. 15. Ввод-вывод . . . ... ... ... . 56 1. 16. Специальные функции, 62 1. 17. Списки свойств . 64 1. 18. Преобразование типов данных 67 1. 19. Дример программы . 70 Глава 2. Образцы 75 2. 1. -Основные понятия . 75 2. 2. Простые образцы -, 76 2. 3. Сегментные образцы 80 2. 4. Примеры использования образцов -г 86 2. 5. Сопоставители . . 92 2. 6. Встроенные сопоставители 95 2. 7. Определение новых сопоставителеи ... . 104 2. 8. Пример использования сопоставителеи ... . 108 Глава 3. Режим возвратов . . 113 3. 1. Основные понятия 113 3. 2. Функции для режима возвратов 119 3. 3. Примеры 122 3. 4. Управление режимом возвратов г . 125 3. 5. Неотменяемые действия 128 3. 6. Уничтожение развилок и обратных операторов . 131 3. 7. Именованные развилки 135 3. 8. Функции IF и FIND 136 3. 9. Некоторые уточнения . ' 140 1* 3 Глава 4. База данных 143 4. 1. Основные понятия 143 4. 2. Запись утверждений 146 4. 3. Вычеркивание утверждений 149- 4. 4. Поиск по образцу 150 4. 5. Другие операции 154 Глава 5. Теоремы 157 5. 1. Основные понятия . . . 157 5. 2. Определение теорем 162 5. 3. Вызов теорем 164 5. 4. Сопоставление образца с образцом 170 5. 5. Дополнительные возможности . ... ... 177 5. 6. Примеры использования целевых теорем . . . 182 5. 7. Использование записывающих и вычеркивающих теорем 192 Литература 201 Предметный указатель 202 Указатель встроенных процедур планера 205 ПРЕДИСЛОВИЕ Для большинства систем искусственного интеллекта (ИИ) характерны большие размеры и сложная структура их программ, что затрудняет их реализацию и отладку. В то же время практически все системы ИИ являются экспериментальными, с их помощью проверяются те или иные методы и гипотезы, что, естественно, требует сокращения времени от «зарождения» системы до ее полной реализации.