Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 207 стр.

Оглавление
ПРЕДИСЛОВИЕ ............................................................................................................................................................................. 3

ВВЕДЕНИЕ ...................................................................................................................................................................................... 5
1. ЛОГИКА И ЧЕЛОВЕЧЕСКИЕ РАССУЖДЕНИЯ ................................................................................................................... 6
Вопросы и упражнения ................................................................................................................................................................... 9
2. РЕШЕНИЕ ЛОГИЧЕСКИХ ЗАДАЧ НА ОСНОВЕ СИЛЛОГИСТИКИ АРИСТОТЕЛЯ ................................................... 10
Вопросы и упражнения ................................................................................................................................................................. 15
3. РЕШЕНИЕ ЛОГИЧЕСКИХ ЗАДАЧ НА ОСНОВЕ ИСЧИСЛЕНИЯ.................................................................................... 17
Вопросы и упражнения ................................................................................................................................................................. 22
4.РЕШЕНИЕ ЛОГИЧЕСКИХ ЗАДАЧ НА ОСНОВЕ ЛОГИКИ ПРЕДИКАТОВ .................................................................... 23
   Унификация ............................................................................................................................................................................... 31
Вопросы и упражнения ................................................................................................................................................................. 33
5. ЗНАНИЯ И ИХ ПРЕДСТАВЛЕНИЕ ....................................................................................................................................... 36
       матом". Требуется оценить правильность утверждения: «Среди полицейских имеется шпион». Для этого
       воспользуемся следующими предикатами: ........................................................................................................................ 39
       ИМЯ Фрейма ......................................................................................................................................................................... 43
Вопросы и упражнения ................................................................................................................................................................. 45
6. РЕАЛИЗАЦИЯ ЭКСПЕРТНЫХ СИСТЕМ И ИХ КОМПОНЕНТОВ .................................................................................. 46
7. ПОСТРОЕНИЕ ЭКСПЕРТНОЙ СИСТЕМЫ СРЕДСТВАМИ ОБЪЕКТНО-ОРИЕНТИРОВАННОГО
ПРОГРАММИРОВАНИЯ................................................................................................................................................................. 89
8. ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ ........................................................................................................................... 117
9. ОСНОВЫ ФУНКЦИОНИРОВАНИЯ ЭКСПЕРТНОЙ СИСТЕМЫ.......................................................................................... 140
Вопросы и упражнения ............................................................................................................................................................... 147
10. ПРАКТИЧЕСКАЯ РАБОТА 8 СИСТЕМЕ ARITY PROLOG ........................................................................................... 148
Основы работы в системе Arity Prolog ...................................................................................................................................... 148
Работа с отношениями на языке Пролог ................................................................................................................................... 153
Работа со списками на языке Пролог ........................................................................................................................................ 156
Работа с базами данных языка Пролог ...................................................................................................................................... 158
Трансформация формул.............................................................................................................................................................. 159
Библиографический список ........................................................................................................................................................ 161
ПРИЛОЖЕНИЕ ........................................................................................................................................................................... 163
Автоматизированный синтез технических решений ............................................................................................................... 163
Заключение .................................................................................................................................................................................. 206




                                                                                             207