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

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

(Различия между версиями)
Перейти к: навигация, поиск
 
(29 промежуточных версий не показаны.)
Строка 1: Строка 1:
-
[[Категория:Учебные курсы]]
+
Приводятся общие сведения и рекомендации по решению задач нечислового характера с применением концепции
-
[[Категория:Логическое программирование]]
+
логического программирования на примере двух известных реализаций языка
 +
Пролог - Турбо-Пролог 2.0 и Visual Prolog 5.2.
 +
Содержатся типовые задания, позволяющие приобрести навыки написания и отладки программ на языке Пролог при построении интеллектуальных систем различного назначения.
-
[[:Изображение:method_lp.pdf|Лабораторный практикум по логическому программированию]]
+
Практикум предназначен для студентов специальности 230105 «Программное обеспечение вычислительной техники и автоматизированных систем», а также других, в учебных планах которых предусмотрены аналогичные дисциплины.
-
* Автор : [[:Участник:Dmitry.Mikhaylov|{{S|Д. В. Михайлов}}]], доцент кафедры Информационных Технологий и Систем Новгородского государственного университета имени Ярослава Мудрого.
+
Автор практикума — [[Участник:Dmitry.Mikhaylov|Дмитрий Владимирович Михайлов]],
 +
кафедра Информационных технологий и систем [http://www.novsu.ru Новгородского государственного университета им. Ярослава Мудрого (НовГУ)].
 +
 
 +
Научный консультант - д.т.н., профессор Емельянов Геннадий Мартинович
 +
 
 +
Представленный здесь вариант практикума в 2020 году лёг в основу учебного модуля «Функциональное и логическое программирование» по направлению подготовки «Информатика и вычислительная техника» (бакалавриат) в НовГУ. Актуальная редакция материалов учебного модуля представлена на портале [https://do.novsu.ru/ «Дистанционные образовательные технологии обучения в НовГУ»] (требуется регистрация). Смотри также [[:Функциональное программирование (практикум, Д.В. Михайлов)|''Лабораторный практикум по функциональному программированию'']].
 +
 
 +
[[Media:method_lp.pdf|Лабораторный практикум по логическому программированию (PDF, 763КБ)]]
 +
 
 +
== Установочные лекции ==
 +
 
 +
* [[Media:Lect_1_lp_mdv.pdf|Введение в концепцию логического программирования]]
 +
 
 +
* [[Media:Lect_2_lp_mdv.pdf|Основные особенности языка Пролог]]
 +
 
 +
* [[Media:Lect_3_lp_mdv.pdf|Рекурсия и списки]]
 +
 
 +
* [[Media:Lect_4_1_lp_mdv.pdf|Отсечение и его использование. Общие случаи использования отсечения. ]]
 +
 
 +
* [[Media:Lect_4_2_lp_mdv.pdf|Отсечение и его использование. Работа с множествами. ]]
 +
 
 +
* [[Media:Lect_4_3_lp_mdv.pdf|Отсечение и его использование. Организация циклических вычислений. ]]
 +
 
 +
* [[Media:Lect_5_1_lp_mdv.pdf|Решение логических задач. Метод «Образуй и проверь». ]]
 +
 
 +
* [[Media:Lect_5_2_lp_mdv.pdf|Решение логических задач методом поиска на пространстве состояний. ]]
 +
 
 +
* [[Media:Lect_6_lp_mdv.pdf|Работа с динамическими базами данных. ]]
 +
 
 +
* [[Media:Lect_7_lp_mdv.pdf|Экспертные системы на Прологе. ]]
 +
 
 +
* [[Media:Lect_8_lp_mdv.pdf|Обработка Естественного Языка. ]]
 +
 
 +
* [[Media:prolog_some_future_development.pdf|Развитие языка Пролог. ]]
 +
 
 +
== Демо ==
 +
 
 +
* [[Media:Demo_crosses_zeros_mdv.zip|Использование графики Visual Prolog 5.2 для реализации игры «Крестики-нолики». ]]
 +
 
 +
* [[Media:Lab_wgc_mdv.zip|Задача о волке, козе и капусте. ]]
 +
 
 +
* [[Media:exp_sys_prolog_mdv.zip|Экспертные системы на правилах и на логике. ]]
 +
 
 +
* [[Media:Nlang_mdv_prolog.zip|Простейший анализ конструкций естественного языка. ]]
 +
 
 +
* [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 Выделение структурных связей в рамках семантически эквивалентных фраз на основе анализа буквенного состава словоформ]<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 для оценки важности слова относительно множества семантически эквивалентных фраз]<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>.
 +
 
 +
== Полезные ссылки ==
 +
 
 +
* ''Морозов А. А.'' [http://www.cplire.ru/Lab144/start/r_index.html Введение в Акторный Пролог].
 +
 
 +
* [http://www.visual-prolog.com Visual Prolog: Multi paradigm programming language].
 +
 
 +
* ''Коста Э.'' [http://www.visual-prolog.com/download/71/Costas-Tyros_rus.pdf Visual Prolog 7.1 для начинающих]: пер.&nbsp;с&nbsp;англ. — 2008. — 210&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|Примерный список вопросов к теоретическому зачету по логическому программированию. ]]
 +
 
 +
== Примечания ==
 +
 
 +
<references />
 +
 
 +
''К сожалению, незарегистрированные пользователи не видят литературных ссылок из раздела «Демо» (данный дефект системы находится в стадии проработки). Тем не менее, Вы можете найти цитируемый источник, используя вкладку «Просмотр» на данной странице''.
 +
 
 +
[[Категория:Учебные курсы]]
 +
[[Категория:Логическое программирование]]

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

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

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

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

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

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

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

Содержание

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

Демо

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

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

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

Примечания


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

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