Название статьи:
Теоретико-множественный анализ организации данных учебного процесса и алгоритмы проектирования расписания с элементами искусственного интеллекта
Авторы: Мартьянов В.И., доктор физико-математических наук, профессор, кафедра автомобильных дорог, Иркутский национальный исследовательский технический университет; профконсультант, Байкальский государственный университет, Иркутский национальный исследовательский технический университет; Байкальский государственный университет, г. Иркутск, Российская Федерация,
martvliv@mail.ru В рубрике:
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ, СИСТЕМНЫЙ АНАЛИЗ
Год: 2020 Том: 30 Номер журнала: 4
Страницы: 575-585
Тип статьи: Научная статья
УДК: 519.712.3
DOI: 10.17150/2500-2759.2020.30(4).575-585
Аннотация:
Рассмотрены вопросы создания информационного и программного обеспечения организации учебного процесса, включая автоматизированный расчет качественных расписаний. Предложены две новые стратегии решения NP-трудных задач, которые могут быть рекомендованы для систем искусственного интеллекта.
Ключевые слова: NP-трудные задачи, системы искусственного интеллекта, логико-эвристические методы, реляционные базы данных, интеллектуальный возврат
Список цитируемой литературы: - Корольков Ю.Д. Дискретные модели: представление конечными деревьями и разрешимость формальных теорий / Ю.Д. Корольков, В.И. Мартьянов. - Иркутск : Изд-во ИРНИТУ, 2017. - 160 с.
- Лорьер Ж.-Л. Системы искусственного интеллекта : пер. с фр. / Ж.-Л. Лорьер. - Москва : Мир, 1991. - 486 с.
- Обзор приложений логико-эвристических методов решения комбинаторных задач высокой сложности / В.И. Мартьянов, В.В. Архипов, М.Д. Каташевцев, Д.В. Пахомов // Современные технологии. Системный анализ. Моделирование. - 2010. - № 4 (28). - С. 61-67.
- Мальцев А.И. Алгебраические системы / А.И. Мальцев. - Москва : Наука, 1967. - 324 с.
- Кокорин А.И. Вопросы разрешимости расширенных теорий / А.И. Кокорин, А.Г. Пинус // Успехи математических наук. - 1978. - Т. 33, вып. 2. - С. 49-84.
- Беллман Р. Динамическое программирование : пер. с англ. / Р. Беллман. - Москва : Изд-во иностр. лит., 1960. - 400 с.
- Codd E.F. The Relational Model For Database Management: Version 2 / E.F. Godd. - Reading : Addison-Wesley, 1990. - 538 p.
- Кнут Д.Е. Искусство программирования для ЭВМ : пер. с англ. В 7 т. Т. 3 / Д. Кнут. - Москва : Мир, 1978. - 848 с.
- Гери М. Вычислительные машины и труднорешаемые задачи / М. Гери, Д. Джонсон. - Москва : Мир, 1982. - 419 c.
- Щербина О.А. Удовлетворение ограничений и программирование в ограничениях / О.А. Щербина // Интеллектуальные системы. - 2011. - Т. 15, вып. 1-4. - С. 53-170.
- Hentenryck P. van. Constraint Satisfaction in Logic Programming / P. van Hentenryck. - Cambridge : MIT Press, 1989. - 224 p.