Логическое программирование (практикум, Д.В.Михайлов)
Материал из MachineLearning.
(→Полезные ссылки) |
|||
| Строка 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>. | ||
== Полезные ссылки == | == Полезные ссылки == | ||
| Строка 74: | Строка 107: | ||
[[Media:Exam_quest_lp_mdv.doc|Примерный список вопросов к теоретическому зачету по логическому программированию. ]] | [[Media:Exam_quest_lp_mdv.doc|Примерный список вопросов к теоретическому зачету по логическому программированию. ]] | ||
| + | |||
| + | == Примечания == | ||
| + | |||
| + | <references /> | ||
| + | |||
| + | ''К сожалению, незарегистрированные пользователи не видят литературных ссылок из раздела «Демо» (данный дефект системы находится в стадии проработки). Тем не менее, Вы можете найти цитируемый источник, используя вкладку «Просмотр» на данной странице''. | ||
[[Категория:Учебные курсы]] | [[Категория:Учебные курсы]] | ||
[[Категория:Логическое программирование]] | [[Категория:Логическое программирование]] | ||
Версия 10:55, 11 февраля 2020
Приводятся общие сведения и рекомендации по решению задач нечислового характера с применением концепции логического программирования на примере двух известных реализаций языка Пролог - Турбо-Пролог 2.0 и Visual Prolog 5.2. Содержатся типовые задания, позволяющие приобрести навыки написания и отладки программ на языке Пролог при построении интеллектуальных систем различного назначения.
Практикум предназначен для студентов специальности 230105 «Программное обеспечение вычислительной техники и автоматизированных систем», а также других, в учебных планах которых предусмотрены аналогичные дисциплины.
Автор практикума — Дмитрий Владимирович Михайлов, доцент кафедры Информационных технологий и систем Новгородского государственного университета им. Ярослава Мудрого.
Научный консультант - д.т.н., профессор Емельянов Геннадий Мартинович
Практикум является обязательным курсом для студентов спец. ПОВТ 3 курса, читается в 5-м семестре.
Лабораторный практикум по логическому программированию (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.
Для самоконтроля
Примерный список вопросов к теоретическому зачету по логическому программированию.
Примечания
К сожалению, незарегистрированные пользователи не видят литературных ссылок из раздела «Демо» (данный дефект системы находится в стадии проработки). Тем не менее, Вы можете найти цитируемый источник, используя вкладку «Просмотр» на данной странице.
