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

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

(Различия между версиями)
Перейти к: навигация, поиск
 
(4 промежуточные версии не показаны)
Строка 7: Строка 7:
Автор практикума — [[Участник:Dmitry.Mikhaylov|Дмитрий Владимирович Михайлов]],
Автор практикума — [[Участник:Dmitry.Mikhaylov|Дмитрий Владимирович Михайлов]],
-
доцент кафедры Информационных технологий и систем [http://www.novsu.ru Новгородского государственного университета им. Ярослава Мудрого].
+
кафедра Информационных технологий и систем [http://www.novsu.ru Новгородского государственного университета им. Ярослава Мудрого (НовГУ)].
Научный консультант - д.т.н., профессор Емельянов Геннадий Мартинович
Научный консультант - д.т.н., профессор Емельянов Геннадий Мартинович
-
Практикум является обязательным курсом для студентов спец. ПОВТ 3 курса, читается в 5-м семестре.
+
Представленный здесь вариант практикума в 2020 году лёг в основу учебного модуля «Функциональное и логическое программирование» по направлению подготовки «Информатика и вычислительная техника» (бакалавриат) в НовГУ. Актуальная редакция материалов учебного модуля представлена на портале [https://do.novsu.ru/ «Дистанционные образовательные технологии обучения в НовГУ»] (требуется регистрация). Смотри также [[:Функциональное программирование (практикум, Д.В. Михайлов)|''Лабораторный практикум по функциональному программированию'']].
[[Media:method_lp.pdf|Лабораторный практикум по логическому программированию (PDF, 763КБ)]]
[[Media:method_lp.pdf|Лабораторный практикум по логическому программированию (PDF, 763КБ)]]
Строка 29: Строка 29:
* [[Media:Lect_4_3_lp_mdv.pdf|Отсечение и его использование. Организация циклических вычислений. ]]
* [[Media:Lect_4_3_lp_mdv.pdf|Отсечение и его использование. Организация циклических вычислений. ]]
-
* [[Media:Lect_5_1_lp_mdv.pdf|Решение логических задач. Метод "Образуй и проверь". ]]
+
* [[Media:Lect_5_1_lp_mdv.pdf|Решение логических задач. Метод «Образуй и проверь». ]]
* [[Media:Lect_5_2_lp_mdv.pdf|Решение логических задач методом поиска на пространстве состояний. ]]
* [[Media:Lect_5_2_lp_mdv.pdf|Решение логических задач методом поиска на пространстве состояний. ]]
Строка 43: Строка 43:
== Демо ==
== Демо ==
-
* [[Media:Demo_crosses_zeros_mdv.zip|Использование графики Visual Prolog 5.2 для реализации игры "Крестики-нолики". ]]
+
* [[Media:Demo_crosses_zeros_mdv.zip|Использование графики Visual Prolog 5.2 для реализации игры «Крестики-нолики». ]]
* [[Media:Lab_wgc_mdv.zip|Задача о волке, козе и капусте. ]]
* [[Media:Lab_wgc_mdv.zip|Задача о волке, козе и капусте. ]]
Строка 51: Строка 51:
* [[Media:Nlang_mdv_prolog.zip|Простейший анализ конструкций естественного языка. ]]
* [[Media:Nlang_mdv_prolog.zip|Простейший анализ конструкций естественного языка. ]]
-
* [http://www.novsu.ru/file/1050364 Классификация словоформ по буквенному составу с выделением основ и флексий на множестве семантически эквивалентных фраз предметно-ограниченного естественного языка].
+
* [http://www.novsu.ru/file/1050364 Классификация словоформ по буквенному составу с выделением основ и флексий на множестве семантически эквивалентных фраз предметно-ограниченного естественного языка]<ref name="pria2015">
 +
{{биб.статья
 +
|автор = Mikhailov D. V., Emel’yanov G. M.
 +
|заглавие = [https://link.springer.com/content/pdf/10.1134%2FS1054661815020170.pdf Semantic Standards and Knowledge Transfer in the Problem of Knowledge Assessment on the Basis of Open Tests]
 +
|ссылка = https://www.pleiades.online/ru/journal/patrec/
 +
|издание = Pattern Recognition and Image Analysis
 +
|год = 2015
 +
|том = 25
 +
|номер = 2
 +
|страницы = 223–229
 +
}}
 +
</ref>.
-
* [http://www.novsu.ru/file/1089439 Выделение структурных связей в рамках семантически эквивалентных фраз на основе анализа буквенного состава словоформ].
+
* [http://www.novsu.ru/file/1089439 Выделение структурных связей в рамках семантически эквивалентных фраз на основе анализа буквенного состава словоформ]<ref name="jmlda2014">
 +
{{биб.статья
 +
|автор = Емельянов Г. М., Михайлов Д. В., Козлов А. П.
 +
|заглавие = [http://jmlda.org/papers/doc/2014/no8/Emelianov2014Formation.pdf Формирование единиц представления предметных знаний в задаче их оценки на основе открытых тестов]
 +
|ссылка = http://jmlda.org/ru
 +
|издание = Машинное обучение и анализ данных
 +
|год = 2014
 +
|том = 1
 +
|номер = 8
 +
|страницы = 1089–1106
 +
}}
 +
</ref>.
-
* [http://www.novsu.ru/file/1127591 Интерпретация меры TF-IDF для оценки важности слова относительно множества семантически эквивалентных фраз].
+
* [http://www.novsu.ru/file/1127591 Интерпретация меры TF-IDF для оценки важности слова относительно множества семантически эквивалентных фраз]<ref name="recognition2015">
 +
{{биб.статья
 +
|автор = Михайлов Д. В., Емельянов Г. М., Козлов А. П.
 +
|заглавие = [https://elibrary.ru/item.asp?id=23595594 Интерпретация меры TF-IDF для оценки важности слова относительно единицы знаний для открытого теста]
 +
|ссылка = https://swsu.ru/structura/up/fivt/kvt/recogn15.php
 +
|издание = Распознавание-2015: сборник материалов XII Международной научно-технической конференции
 +
|место = Курск
 +
|издательство = Юго-Западный государственный университет
 +
|год = 2015
 +
|страницы = 261–264
 +
}}
 +
</ref>.
== Полезные ссылки ==
== Полезные ссылки ==
Строка 66: Строка 99:
* ''Costa E.'' [http://www.visual-prolog.com/download/73/books/tyros/tyros73.pdf Visual Prolog 7.3 for Tyros]. — 2010. — 270&nbsp;c.
* ''Costa E.'' [http://www.visual-prolog.com/download/73/books/tyros/tyros73.pdf Visual Prolog 7.3 for Tyros]. — 2010. — 270&nbsp;c.
 +
 +
* [http://www.swi-prolog.org SWI-Prolog — Home].
 +
 +
* [http://prolog.ucoz.com/index/0-11 Язык программирования ПРОЛОГ. Отсечение, отрицание].
== Для самоконтроля ==
== Для самоконтроля ==
[[Media:Exam_quest_lp_mdv.doc|Примерный список вопросов к теоретическому зачету по логическому программированию. ]]
[[Media:Exam_quest_lp_mdv.doc|Примерный список вопросов к теоретическому зачету по логическому программированию. ]]
 +
 +
== Примечания ==
 +
 +
<references />
 +
 +
''К сожалению, незарегистрированные пользователи не видят литературных ссылок из раздела «Демо» (данный дефект системы находится в стадии проработки). Тем не менее, Вы можете найти цитируемый источник, используя вкладку «Просмотр» на данной странице''.
[[Категория:Учебные курсы]]
[[Категория:Учебные курсы]]
[[Категория:Логическое программирование]]
[[Категория:Логическое программирование]]

Текущая версия

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

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

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

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

Представленный здесь вариант практикума в 2020 году лёг в основу учебного модуля «Функциональное и логическое программирование» по направлению подготовки «Информатика и вычислительная техника» (бакалавриат) в НовГУ. Актуальная редакция материалов учебного модуля представлена на портале «Дистанционные образовательные технологии обучения в НовГУ» (требуется регистрация). Смотри также Лабораторный практикум по функциональному программированию.

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

Содержание

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

Демо

Полезные ссылки

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

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

Примечания


К сожалению, незарегистрированные пользователи не видят литературных ссылок из раздела «Демо» (данный дефект системы находится в стадии проработки). Тем не менее, Вы можете найти цитируемый источник, используя вкладку «Просмотр» на данной странице.

Личные инструменты