Часть 2. Построение систем,

ОСНОВАННЫХ НА ЗНАНИЯХ 112

6. Язык Форт - мощное средство построения экспертных систем…………………………………………..113

Слова и словарь языка Форт……………………………..114

Передача данных через стек……………………………..116

Иерархическая декомпозиция и разбиение на модули...117

Выполнение арифметических операций………………...119

Манипулирование элементами стека 123

Доступ к данным 125

Флаги, логические операторы и сравнение чисел 126

Управляющие конструкции 128

Стек возвратов 135

Обработка строк 136

Потоки текстов 137

Структура слов Форта 138

Управление словарем 141

Виртуальная Форт-машина 141

Определяющие и компилирующие слова 144

Слова для управления внешней памятью 152

Упражнения 153

7. Обработка списков 154

Для чего нужно эмулировать Лисп? 155

Статическое и динамическое управление памятью 156

Что такое список? 157

Простейшие операции над списками 159

Идентификатор и указатель'списка 161

Вывод списков на печать 164

Ввод списков 164

Типы данных при работе со списками 167

Что такое НУЛЬ? 168

Списки свойств 168

Ассоциативные списки 170

Функции РАВНО и РАВ 171

Операции преобразования списков 172

Другие функции работы со списками 173

Упражнения 176

8. Методы программирования 178

Рекурсия 178

Сборка мусора .188

Реализация функций преобразования списков .190

Функции непосредственного преобразования списков

и учет ссылок .192

318

Упражнения ….193

9. Пролог - язык разработки систем, основанных на знаниях 194

Логическое программирование на Прологе 194

Интерпретатор Пролога 199

Реализация поиска 203

Деревья вывода 211

Поиск в ширину и эвристический поиск ....212

Унификация 213

Упражнения 223

10. Дополнительные возможности 225

Встроенные предикаты Пролога 225

Процедурное дополнение и вызов по образцу 226

Немонотонные рассуждения 227

Объектно-ориентированное программирование 229

Метарассуждения: управление выводом 233

Неопределенность и достоверность 235

Контекстные словари Форта 237

Параллельные вычисления 241

Упражнения……………………………………………… 243

11. Обучение и распознавание образов 244

Обучение 244

Распознавание образов 247

Свойства гиперплоскости * Классификаторы, построенные по критерию минимального расстояния

Алгоритмы классификации образов 261

Упражнения 271

Приложение А. Исходные тексты программ……………....272

Приложение Б. Подпрограммы диагностики………………287

Приложение В. Словарь Форта……………………………..293

Приложение Г. Инструментальные средства

построения экспертных систем…………………………….299

Приложение Д. Экспертные системы……………………...304

Глоссарий…………………………………………………….307

Литература……………………………………………….314

Научное издание Таунсенд Карл, Фохт Деннис

ПРОЕКТИРОВАНИЕ И ПРОГРАММНАЯ РЕАЛИЗАЦИЯ ЭКСПЕРТНЫХ СИСТЕМ НА ПЕРСОНАЛЬНЫХ ЭВМ

Книга одобрена на заседании секции редсовета по электронной обработке данных в экономике 28.10.86 г.

Зав. редакцией К.В. Коробов

Редактор Н.К. Логинова

Худож. редактор Ю.А. Артюхов

Техн. редактор Г.А. Полякова

Корректоры Г.А. Башарина, Г.В. Хлопцева

Переплет художника Е.К. Самойлова

ИБ N 2307

Оригинал-макет книги подготовлен к печати с помощью текстового процессора Microsoft Word 5.0

Подписано в печать 20.09.90.

Формат 60 х 88 1/16 Бум. офсетная. Гарнитура "Литературная"

Печать офсетная. Усл.п.л. 19,6. Усл. кр.-отт. 19,6. Уч.-изд. л. 19,11.

Тираж 30 000 экз. Заказ 299. Цена 4 р. 50 к.

Издательство "Финансы и статистика", 101000, Москва, ул. Чернышевского, 7.

Отпечатано в типографии им. Ё. Котлякова

издательства "Финансы и статистика" Государственного комитета СССР по печати.

195273, Ленинград, ул. Руставели,