Язык плэнер

Купить бумажную книгу и читать

Название: Язык плэнер

Автор: Пильщиков В.Н.

Издательство: Наука

Год: 1983

Страниц: 208

Формат: PDF

Размер: 20.4 Мб

Язык: русский

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

ОГЛАВЛЕНИЕ

Предисловие ............ 5

Глава 1. Функции........... 9

1.1. Выражения............ 9

1.2. Формы ......... 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

Глава 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