Лектор: Русакова Зинаида Николаевна
Список лабораторных работ:
- Поиск в пространстве состояний от данных (в глубину/в ширину)
- Поиск в графах И-ИЛИ от цели (в глубину/в ширину)
- Поиск в графах И-ИЛИ от данных (в глубину/в ширину)
- Алгоритмы унификации и резолюции в логике предикатов первого порядка
- Прямой дедуктивный вывод с переменными в определенных выражениях
- Обратный дедуктивный вывод с переменными в определенных выражениях (аля Prolog)
- Нечеткий логический вывод (по Мамдани)