Краткое описание
В содержании дисциплины рассматриваются следующие модели представления знаний, расширяющие “модельный” мир обучаемых:
(1) логическая (язык нулевого порядка, язык первого порядка и их расширения);
(2) продукционная;
(3) сетевая (сеть, семантическая сеть);
(4) фреймовая (фрейм);
и основы теории нечётких множеств.
Большое место в изучении дисциплины занимает рассмотрение логической модели представления знаний с помощью языка программирования Пролог и его математических оснований, а также элементы теории нечётких множеств.
Основные темы
1. Логическая модель представления знаний
2. Синтаксис языка первого порядка
3. Программная система Tarski's World (Мир Тарского)
4. Гильбертовское исчисление первого порядка. Построение и установление существования доказательств и выводов
5. Исчисление дедуктивной эквивалентности
6. Продукционная модель представления знаний
7. Семантические сети и фреймы
8. Практикум по программированию на языке Пролог:
(1) статические реляционные базы данных;
(2) арифметические функции и предикаты;
(3) рекурсия на числовых структурах;
(4) элементы императивного программирования;
(5) решение логических задач;
(6) списки как фундаментальный тип данных. Одноуровневые списки.
(7) многоуровневые (составные) списки;
(8) бинарные деревья поиска;
(9) строки как фундаментальный тип данных;
(10) файлы как фундаментальный тип данных;
(11) динамическая база данных как фундаментальный тип данных;
(12) экспертная система как абстрактный тип данных
(13) технология разработки графического интерфейса пользователя в системе Visual Prolog
9. Элементы языка программирования Coq
10. Нечёткие множества: основные понятия; операции
11. Нечёткие числа. Нечёткие интервалы
12. Нечёткие бинарные отношения
13. Элементы нечёткой логики
Электронные образовательные ресурсы
1. Электронно-библиотечные системы:
(1) http://ibooks.ru
(4) http://e.lanbook.com