Автореферат (1150568), страница 4

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 4)

Доказаны асимптотические оценки числа шагов работы этогоалгоритма.3. Разработана модификация IAPTA алгоритма IMA, использующая тактикимуравьиных алгоритмов и параллельных вычислений. Доказаны асимптотическиеоценки числа шагов работы этого алгоритма.4.

Обоснована возможность применения обратного метода Маслова длярешения задачи выведения максимальной общей подформулы. Сформулированалгоритм PHIAPTA выделения максимальной общей с точностью до именаргументов подформулы двух элементарных конъюнкций. Полученыасимптотические оценки числа шагов работы этого алгоритма.Были сформулированы следующие рекомендации по применениюрезультатов работы.1. Сформулированная конкретизация обратного метода Маслова являетсяпростым и понятным средством доказательства выводимости формул видаx1,..., xn   & Di a1,..., ak , x1,..., xn  , поэтому еѐ можно применять дляi1первоначального знакомства с обратным методом.2.

Построенные алгоритмы полностью готовы к программной реализации имогут быть применены для решения различных задач Искусственного Интеллектав рамках логико-предметного подхода.Так же были предложены перспективыдальнейшей разработки тематики,такие как построение модификаций предложенных алгоритмов для решенияразличных задач искусственного интеллекта, программную реализациюпостроенных алгоритмов, а также качественное сравнение полученного метода ссуществующими методами решения задач логико-предметного распознаванияобразов и теории выводимости, например, с методом резолюций.Публикации автора по теме диссертацииПубликации в журналах из перечня российских рецензируемых научныхжурналов, в которых должны быть опубликованы основные научныерезультаты диссертаций на соискание учѐных степеней доктора и кандидатанаук1.Косовская, Т.

М. Решение задач логико-предметного распознаванияобразов с использованием тактик обратного метода Маслова / Т.М.Косовская, Н.Д. Петухова // Компьютерные инструменты в образовании– 2014. – Вып. 3. – c. 9-20. – ISSN: 20712340152.3.Петухова, Н. Д. Применение тактик муравьиных алгоритмов длярешения некоторых задач Искусственного Интеллекта / Н.Д. Петухова,Т.М. Косовская // Вестн. С.-Петерб. ун-та.

Сер 10. – 2015. – Вып. 3. – С.67-82. – ISSN 1811-9905Петухова, Н. Д. Выделение максимальной общей предикатнойподформулы с помощью обратного метода Маслова / Н.Д. Петухова //Компьютерные инструменты в образовании – 2015. – Вып. 4. – С. 17-25.– ISSN: 20712340Прочие публикации4.5.6.7.Kosovskaya, T.

The Inverse Method for Solving Artificial IntelligenceProblems in the Frameworks of Logic-Objective Approach and Bounds of itsNumber of Steps / T. Kosovskaya, N. Petuchova // International Journal«Information Models and Analyses» – 2012. – Vol. 1. – P. 84-93. – ISSN1314-6416Kosovskaya, T. The Maslov’s Inverse Method аnd Ant Tactics for ExhaustiveSearch Decreasing / T. Kosovskaya, N. Petuchova // International Journal«Information Models and Analyses» – 2013. – Vol. 2.

Num. 1. – P. 81-89. –ISSN 1314-6416Петухова, Н. Д. Обратный метод для решения задач логико-предметногораспознавания образов и оценки числа шагов его работы / Н.Д. Петухова// Материалы научной конференции по проблемам информатикиСПИСОК-2012 – C. 90-94. –ISBN 978-5-9651-0686-8Петухова, Н. Д. Обратный метод Маслова и муравьиная тактика решениязадач Искусственного Интеллекта / Н.Д. Петухова // Материалы научнойконференции по проблемам информатики СПИСОК-2013 – C. 64-69. –ISBN 978-5-9651-0779-7выходные данныевыходные данныевыходные данныевыходные данныевыходные данныевыходные данныевыходные данныевыходные данныевыходные данныевыходные данныевыходные данныевыходные данныевыходные данныевыходные данные16.

Характеристики

Список файлов диссертации