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

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

Версия 08:02, 24 сентября 2008 (править) Dmitry.Mikhaylov (Обсуждение | вклад) ← К предыдущему изменению		Версия 13:19, 24 сентября 2008 (править) (отменить) Dmitry.Mikhaylov (Обсуждение | вклад) К следующему изменению →
Строка 38:		Строка 38:
	* [[Media:Lect_8_lp_mdv.pdf|Обработка Естественного Языка. ]]		* [[Media:Lect_8_lp_mdv.pdf|Обработка Естественного Языка. ]]
		+
		+	* [[Media:prolog_some_future_development.pdf|Развитие языка Пролог. ]]
	== Демо ==		== Демо ==

---

Версия 13:19, 24 сентября 2008

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Демо

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

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

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

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

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

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