Диссертация (1150569), страница 13
Текст из файла (страница 13)
Распознавание образов и анализ сцен / Р. Дуда, П. Харт // Москва:«МИР», 1976. – 509 с.[29] Жданов, А.А. Автономный искусственный интеллект / А.А. Жданов //Москва: БИНОМ. Лаборатория знаний, 2015. – 359 с. – ISBN 978-5-94774995-3[30] Кажаров, А.А. Муравьиные алгоритмы для решения транспортных задач /А.А. Кажаров, В.М. Курейчик // Известия Российской академии наук,Теория и системы управления, 2010, № 1. c.
32-45. – ISSN 0002-3388[31] Карабутов, H.H. Структурная идентификация статических объектов:анализ информационных структур / Н.Н. Карабутов // – Москва: Книжныйдом «Либроком», 2009. – 176 с. – ISBN 978-5-397-00646-0[32] Карабутов, H.H. Структурная идентификация статических объектов: Поля,структуры, методы / Н.Н. Карабутов // – Москва: Книжный дом«Либроком», 2011. – 152 с.
– ISBN 978-5-397-01855-5[33] Катречко, С.Л. Моделирование правила расщепления в обратном методеС.Ю.Маслова / С.Л. Катречко //Логические методы в компьютерныхнауках. – Москва: Институт философии РАН, 1992 c.125-141[34] Катречко, С.Л. Обратный метод С.Ю. Маслова [Электронный ресурс] /С.Л.Катречко//–Режимдоступа:http://www.philosophy.ru/library/ksl/katr_107.doc, свободный, (05.03.2016)[35] Катречко, С.Л.
Обратный метод С.Ю. Маслова и его модификации. / С.Л.Катречко // Логика и компьютер (вып. 2): логические языки, содержащиерассуждения и методы поиска доказательства, – Москва: Наука, 1995, – с.62-75.[36] Кормен, Т. Алгоритмы: построение и анализ, 2-е издание/ Т.Кормен, Ч.Лейзерсон, Р. Ривест, К. Штайн // Москва: издательский дом «Вильямс»,2005. – 1296 с.
– ISBN 5-8459-0857-4[37] Косовская, Т. М. Доказательства оценок числа шагов решения некоторыхзадач распознавания образов, имеющих логические описания / Т.М.Косовская // Вестн. С.-Петербург.ун-та. Сер. 1. 2007. Вып. (4) c. 82 – 90. –ISSN 1025-310683[38] Косовская, Т. М. Некоторые задачи Искусственного Интеллекта,допускающие формализацию на языке исчисления предикатов, и оценкичисла шагов их решения / Т.М.
Косовская //Труды СПИИРАН, 2010. Вып.14. С. 58–75. – ISSN 2078-9181[39] Косовская, Т. М. Об одном новом подходе к формированию логическихрешающих правил / Т.М. Косовская, А.В. Тимофеев // Вестник ЛГУ, 1985,№8. – с. 22-27[40] Косовская, Т. М. Подход к решению задачи построения многоуровневогоописания классов на языке исчисления предикатов / Т.М. Косовская //Труды СПИИРАН – 2014.
– №3 (34). – С. 204-217. – ISSN 2078-9181[41] Косовская, Т. М. Решение задач логико-предметного распознаванияобразов с использованием тактик обратного метода Маслова / Т.М.Косовская, Н.Д. Петухова // Компьютерные инструменты в образовании –2014.
– Вып. 3. – c. 9-20. – ISSN: 20712340[42] Косовская, Т. М. Частичная выводимость предикатных формул каксредство распознавания объектов с неполной информацией / Т.М.Косовская // Вестник СПбГУ. Сер. 10. 2009. Вып. 1. С. 74-84. – ISSN 18119905[43] Крупский, В. Н. Математическая логика и теория алгоритмов / В. Н.Крупский, В. Е. Плиско // Москва: изд.
центр «Академия», 2013. – 416 с. –ISBN 978-5-7695-9559-2[44] Кузюрин, Н. Н. Эффективные алгоритмы и сложность вычислений / Н.Н.Кузюрин, С.А. Фомин // Москва: МФТИ, 2007. – 369 с. – ISBN 5-74170198-1[45] Ларионов, Д. С. Использование модальной логики для проектированияоболочек экспертных систем / Д.С. Ларионов// Известия ТомскогоПолитехнического Университета. – 2005. – Т.
308. – No 4. – С. 173-177,ISSN 2413-1830[46] Ларионов, Д.С. Модальная логика для механизма вывода экспертнойсистемы / Д.С. Ларионов // Труды XXIV Конференции молодых ученыхмеханико-математического факультета МГУ, – Москва: изд-во Мех.-мат.Ф-та МГУ, – 2002, том I – С. 108-110[47] Ларионов, Д.С. Оболочка экспертной системы на основе нечеткихрассуждений с прямым и обратным выводом / Д.С. Ларионов //Материалы XXXIX Международной научной студенческой конференции.– 2001. – Новосибирск, НГУ. – С. 194-195[48] Ларионов, Д.С.
Оболочка экспертной системы на основе нечеткихрассуждений с прямым и обратным выводом / Д.С. Ларионов, В.Б.Новосельцев // Математическое моделирование, ИММ РАН, 2002, – том14, No 9. – С. 48–52 – ISSN 0234-0879[49] Ларионов, Д.С. Оболочка экспертной системы с прямым и обратнымвыводом на основе нечетких рассуждений / Д.С.
Ларионов // Труды XXIIIКонференции молодых ученых механико-математического факультетаМГУ, – Москва: изд-во Мех.-мат. Ф-та МГУ, – 2001, том II. – С. 223-22984[50] Левитин, А.В. Алгоритмы: введение в разработку и анализ/ А.В. Левитин// Москва: Издательский дом «Вильямс», 2006. – 576 с. – ISBN: 5-84590987-2[51] Маслов, С. Ю. Обратный метод и тактики установления выводимости дляисчисления с функциональными знаками / С. Ю. Маслов // ТрудыМатематического института АН СССР, 1972, том 121, 14–56[52] Маслов, С.Ю. Связь между тактиками обратного метода и методарезолюций / С. Ю.
Маслов // Зап. научн. сем. ЛОМИ, 1969, том 16, 137–146[53] Маслов, С.Ю. О поиске вывода в исчисленьях общего типа / С.Ю. Маслов[54][55][56][57][58][59]// Зап. научн. сем. ЛОМИ АН СССР. – 1972, том 32, – С. 59–65Маслов, С.Ю. Обобщение обратного метода на исчисление предикатов сравенством / С.Ю. Маслов // Зап. научн. сем. ЛОМИ АН СССР. – 1971,том 20, – С. 80-96Маслов, С.Ю. Обратный метод установления выводимости вклассическом исчислении предикатов / С.Ю. Маслов // Москва, ДАНСССР, 1964, том 159, №1. – С.
17-20 – ISSN 0869-5652Маслов, С.Ю. Обратный метод установления выводимости длялогических исчислений / С. Ю. Маслов // Труды Математическогоинститута АН СССР, 1968, ХСУШ, 26-87.Маслов, С.Ю. Обратный метод установления выводимости длянепредваренных формул исчисления предикатов / С.Ю. Маслов // МоскваДАН СССР, 1967, №1, – С. 22-25 – ISSN 0869-5652Маслов, С.Ю. Применение обратного метода к теории разрешимыхфрагментов классических исчислений / С.Ю. Маслов // Москва, ДАНСССР, 1966, №1, – С.
1720 – ISSN 0869-5652Минц, Г.Е. Резолютивные исчисления для неклассических логик / Г.Е.Минц // 9-ый Советский Кибернетический симпозиум, Москва: ВИНИТИ,1981, – том 2, – С. 34-36[60] Нильсон, Н. Искусственный интеллект. Методы поиска решений /Нильсон Н. // Москва: Мир, 1973. – 273 с.[61] Оревков, В. П. Обратный метод поиска вывода / В.П. Оревков // – В кн.:Адаменко, А.Н. Логическое программирование и Visual Prolog / А.Н.Адаменко, А.М. Кучуков // – Санкт-Петербург: БХВ, 2003. – с. 952-965.
–ISBN 5-94157-156-9[62] Оревков, В.П. Новый разрешимый хорновский фрагмент исчисленияпредикатов. / В.П. Оревков // Теория сложности вычислений IX, Зап.научн сем. ПОМИ, том 316, – Санкт-Петербург, ПОМИ, 2004, – с. 147-162,– ISSN 0373-2703[63] Пегат, А. Нечеткое моделирование и управление; пер. с англ / А. Пегат //Москва: БИНОМ. Лаборатория знаний, 2013– 798 с. – ISBN 978-5-99631319-885[64] Петрунин, Ю.Ю. Философия искусственного интеллекта в концепцияхнейронаук. (Научная монография) / Ю.Ю. Петрунин, М.А. Рязанов, А.В.Савельев // – Москва: МАКС Пресс, 2010, – 78 c., – ISBN 978-5-317-032517.[65] Петухова, Н.
Д. Выделение максимальной общей предикатнойподформулы с помощью обратного метода Маслова / Н.Д. Петухова //Компьютерные инструменты в образовании – 2015. – Вып. 4. – С. 17-25. –ISSN: 20712340[66] Петухова, Н. Д. Обратный метод для решения задач логико-предметногораспознавания образов и оценки числа шагов его работы / Н.Д. Петухова //Материалы научной конференции по проблемам информатики СПИСОК2012 – C. 90-94. – ISBN 978-5-9651-0686-8[67] Петухова, Н. Д.
Обратный метод Маслова и муравьиная тактика решениязадач Искусственного Интеллекта / Н.Д. Петухова // Материалы научнойконференции по проблемам информатики СПИСОК-2013 – C. 64-69. –ISBN 978-5-9651-0779-7[68] Петухова, Н. Д. Применение тактик муравьиных алгоритмов для решениянекоторых задач Искусственного Интеллекта / Н.Д.
Петухова, Т.М.Косовская // Вестн. С.-Петерб. ун-та. Сер 10. – 2015. – Вып. 3. – С. 67-82. –ISSN 1811-9905[69] Пытьев, Ю. П. Методы морфологического анализа изображений / Ю.П.Пытьев, А.И. Чуличков // Москва: ФИЗМАТЛИТ, 2010. – 336 с. – ISBN978-5-9221-1225-3[70] Рассел, С. Искусственный интеллект: современный подход, 2-е изд. / С.Рассел, П.
Норвиг пер. с англ.// Москва: Издательский дом «Вильямс»,2006. – 1408 с. – ISBN 5-8459-0887-6[71] Седжвик, Р. Алгоритмы на С++: анализ, структуры данных, сортировка,поиск, алгоритмы на графах / Р. Седжвик пер. с англ.// Москва: ООО«Вильямс», 2014. – 1056 с. – ISBN 978-5-8459-1650-1[72] Сирота, А.А. Статистические алгоритмы обнаружения границ объектов наизображениях / А.А. Сирота, А.И. Соломатин // Вестник ВГУ. Сер.Системный анализ и информационные технологии, – 2008, № 1, – с. 58–64,– ISSN 1995-5499.[73] Скиена, С. Алгоритмы.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
