Логическое программирование (практикум, Д.В.Михайлов)

Материал из MachineLearning.

Версия 14:37, 4 апреля 2014

Приводятся общие сведения и рекомендации по решению задач нечислового характера с применением концепции логического программирования на примере двух наиболее известных реализаций языка Пролог - Турбо-Пролог 2.0 и Visual Prolog 5.2. Содержатся типовые задания, позволяющие приобрести навыки написания и отладки программ на языке Пролог при построении интеллектуальных систем различного назначения.

Практикум предназначен для студентов специальности 230105 “Программное обеспечение вычислительной техники и автоматизированных систем”, а также других, в учебных планах которых предусмотрены аналогичные дисциплины.

Автор практикума — Дмитрий Владимирович Михайлов, доцент кафедры Информационных технологий и систем Новгородского государственного университета им. Ярослава Мудрого.

Научный консультант - д.т.н., профессор Емельянов Геннадий Мартинович

Практикум является обязательным курсом для студентов спец. ПОВТ 3 курса, читается в 5-м семестре.

Лабораторный практикум по логическому программированию (PDF, 763КБ)

Установочные лекции

• Введение в концепцию логического программирования

• Основные особенности языка Пролог

• Рекурсия и списки

• Отсечение и его использование. Общие случаи использования отсечения.

• Отсечение и его использование. Работа с множествами.

• Отсечение и его использование. Организация циклических вычислений.

• Решение логических задач. Метод "Образуй и проверь".

• Решение логических задач методом поиска на пространстве состояний.

• Работа с динамическими базами данных.

• Экспертные системы на Прологе.

• Обработка Естественного Языка.

• Развитие языка Пролог.

Демо

• Использование графики Visual Prolog 5.2 для реализации игры "Крестики-нолики".

• Задача о волке, козе и капусте.

• Экспертные системы на правилах и на логике.

• Простейший анализ конструкций естественного языка.

• Классификация словоформ по буквенному составу с выделением основ и флексий на множестве семантически эквивалентных фраз предметно-ограниченного естественного языка.

• Выделение структурных связей в рамках семантически эквивалентных фраз на основе анализа буквенного состава словоформ.

Для самоконтроля

Примерный список вопросов к теоретическому зачету по логическому программированию.