Логическое программирование (практикум, Д.В.Михайлов)
Материал из MachineLearning.
(Различия между версиями)
| (4 промежуточные версии не показаны) | |||
| Строка 7: | Строка 7: | ||
Автор практикума — [[Участник:Dmitry.Mikhaylov|Дмитрий Владимирович Михайлов]], | Автор практикума — [[Участник:Dmitry.Mikhaylov|Дмитрий Владимирович Михайлов]], | ||
| - | + | кафедра Информационных технологий и систем [http://www.novsu.ru Новгородского государственного университета им. Ярослава Мудрого (НовГУ)]. | |
Научный консультант - д.т.н., профессор Емельянов Геннадий Мартинович | Научный консультант - д.т.н., профессор Емельянов Геннадий Мартинович | ||
| - | + | Представленный здесь вариант практикума в 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 c. | * ''Costa E.'' [http://www.visual-prolog.com/download/73/books/tyros/tyros73.pdf Visual Prolog 7.3 for Tyros]. — 2010. — 270 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КБ)
Содержание |
Установочные лекции
Демо
- Классификация словоформ по буквенному составу с выделением основ и флексий на множестве семантически эквивалентных фраз предметно-ограниченного естественного языка[1].
- Выделение структурных связей в рамках семантически эквивалентных фраз на основе анализа буквенного состава словоформ[1].
- Интерпретация меры TF-IDF для оценки важности слова относительно множества семантически эквивалентных фраз[1].
Полезные ссылки
- Морозов А. А. Введение в Акторный Пролог.
- Коста Э. Visual Prolog 7.1 для начинающих: пер. с англ. — 2008. — 210 c.
- Costa E. Visual Prolog 7.3 for Tyros. — 2010. — 270 c.
Для самоконтроля
Примерный список вопросов к теоретическому зачету по логическому программированию.
Примечания
К сожалению, незарегистрированные пользователи не видят литературных ссылок из раздела «Демо» (данный дефект системы находится в стадии проработки). Тем не менее, Вы можете найти цитируемый источник, используя вкладку «Просмотр» на данной странице.
