Диссертация (1150569), страница 14

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

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

Руководство по разработке, 2-е изд. / С. Скиенапер. с англ.// Санкт-Петербург: БХВ, 2011. – 720 с. – ISBN 978-5-97750560-4[74] Скобцов, Ю.А. Метаэвристики. Монография. / Ю.А. Скобцов, Е.Е.Федоров // Донецк: Ноулидж, 2013. – 426 с. – ISBN 978-617-579-800-3[75] Стронгин, Р. Г. Параллельные вычисления в задачах глобальнойоптимизации.

Монография / Р. Г. Стронгин, В. П. Гергель, В. А.Гришагин, К. А. Баркалов // Москва: Издательство Московскогоуниверситета, 2013. – 280 с. – ISBN 978-5-211-06479-986[76] Стругайло, В.В. Обзор методов фильтрации и сегментации цифровыхизображений / В.В. Стругайло // Наука и образование. МГТУ им. Н.Э.Баумана.Электроныйжурнал,–Режимдоступа:http://technomag.bmstu.ru/doc/411847.html, – 2012 № 5 – ISSN 2307-0609(05.03.2016)[77] Филипповский В.А. Система автоматического поиска доказательствтеорем, основанная на специальном варианте обратного метода С.Ю.Маслова:магистерскаядиссертация,Санкт-Петербургскийгосударственный университет, Санкт-Петербург, 2015[78] Шапиро, Л.

Компьютерное зрение / Л. Шапиро, Дж. Стокман // – Москва:БИНОМ. Лаборатория знаний, 2006. – 752 с. – ISBN 978-5-9963-1312-9[79] Шишмарев, М.С. Реализация метода Маслова /М.С. Шишмарев, А.Н.Диев, Л.О. Хорошавин, А.Н. Шайкин // Успехи в химии и химическойтехнологии, том XXIV 2010, № 1 (106) – с. 15-18 ISSN 1506-2017[80] Яне, Б. Цифровая обработка изображений / Б.

Яне // Москва: Техносфера,2007. – 584 с. – ISBN 978-5-94836-122-2[81] Akl, S.G. Parallel Sorting Algorithms / S.G. Akl // USA, Orlando Fl: AcademicPress, 1990. – 234 p. – ISBN 0120476800[82] Ant colony optimization – methods and applications /edited by A. Ostfeld //Croatia, Rijeka: InTech, 2011. – 342 p. – ISBN 978-953-307-157-2[83] Canny, J.F. Finding edges and lines in images. / J.F. Canny // Master's thesis.MIT, Cambridge, USA, 1983.[84] Colorni, A.

Distributed Optimization by Ant Colonies, actes de la premièreconférence européenne sur la vie artificielle / A. Colorni, M. Dorigo, V.Maniezzo// Paris, France, Elsevier Publishing, 1991, 134 – 142.[85] Degtyarev, A. Equality elimination for the inverse method and extensionprocedures / A. Degtyarev, A. Voronkov, C. Mellish ed. // Proc. InternationalJoint Conference on Artificial Intelligence (IJCAI) Montreal, 1995. – vol. 1, –pp. 342-347– режимдоступа: http://www.ijcai.org/Proceedings/951/Papers/045.pdf, свободный (05.03.2016)[86] Degtyarev, A.

The inverse Method / A. Degtyarev, A. Voronkov // Handbookof automated reasoning, Elsevier science publishers B.V., – USA, Cambridge,Mass: The MIT Press, 2001, – pp 180-272, – ISBN 0-444-82949-0[87] Dorigo, M. Artificial Ants as a Computational intelligence technique / M.Dorigo, M. Biratti, T. Stutzle// IEEE computational intelligence magazine,November 2006, pp 28-39[88] Dorigo, M. Optimization, Learning and Natural Algorithms, PhD thesis,Politecnico di Milano, Italie, 1992.[89] Downey, A.B. Think Complexity: Complexity Science and ComputationalModeling / A.B.

Downey // USA, Sebastopol, CA: O’Reilly Media, 2012, – 154p., – ISBN 978-1-449-31463-787[90] Du, D.Z. Theory of Computational Complexity / D.Z. Du, Ko K.I // Canada,Toronto: Wiley-Interscience Publication (John Wiley & sons inc.), 2014, – 512p., – ISBN 978-1-118-30608-6[91] Fokkink, W.

Distributed Algorithms: An Intuitive Approach / W. Fokkink //USA, Cambridge, Mass: The MIT Press, 2013. – 248 p. – ISBN-100262026775, ISBN-13 978-0262026772[92] Goldreich, O. Computational Complexity: A Conceptual Perspective / O.Goldreich // USA, Cambridge, Mass: Cambridge University Press, 2010, – 606р.

– ISBN 978-0-521-88473-0.[93] Heikkila, M. A texture-based method for modeling the background anddetecting moving objects / M. Heikkila, M. Pietikainen // IEEE Transactions onPattern Analysis and Machine Intelligence, – 2006, vol. 28, no. 4, – pp. 657–662, – ISSN 0162-8828[94] Johnston, J. The Allure of Machinic Life: Cybernetics, Artificial Life, and theNew AI / J.

Johnston //, USA, Cambridge, Mass: The MIT Press, 2008, – 480 р.– ISBN 978-0-262-10126-4.[95] Kosovskaya, T. Distance between objects described by predicate formulas / T.Kosovskaya // International Book Series. Information Science and Computing.Book 25. Mathematics of Distances and Applications (Michel Deza, MichelPetitjean, Krasimir Markov (eds)), ITHEA – Publisher, Sofia, Bulgaria, 2012.P. 153 – 159.[96] 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. – ISSN 13146416[97] Kosovskaya, 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[98] Larionov, D.S. Auto-epistemic Logic for Expert System’s Inference Engine/D.S. Larionov // Materials of the 9th Russian-Korean International Symposiumon Science and Technology “KORUS-2005”, Vol. 1, – P. 649–652 ISBN 07803-8943-3[99] Lifshitz, V.

What is the inverse method? / V. Lifshitz // Journal of AutomatedReasoning, Netherlands, Dordrecht: Kluwer Academic Publishers, – vol. 5(1),1989 №1, – pp 1-23 – ISSN 0168-7433[100] Mints, G. Decidability of the Class E by Maslov’s Inverse Method. /G. Mints //Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on theOccasion of His 70th Birrthday, 2010, – pp 529-537 ISBN 978-3-319-23534-9[101] Moyson, F. The collective behaviour of Ants: an Example of Self-Organizationin Massive Parallelism / F. Moyson, B.

Manderick // Actes, AAAI SpringSymposium on Parallel Models of Intelligence, Stanford, Californie, 1988.88[102] Process Algebra for Parallel and Distributed Processing / edited by M.Alexander, W.Gardner// USA, Cleveland, Oh: Chapman & Hall/CRC, 2008. –440 p.

– ISBN 9781420064865[103] Robinson, J.A. A machine-oriented logic based on the resolution principle / J.A.Robinson // Journal of the ACM (JACM) – New York, NY, USA 1965. –Volume 12 Issue 1. pp 23-41. – ISSN 0004-5411[104] Tammet, T. A resolution theorem prover for intuitionistic logic / T. Tammet, M.McRobbie and J. Slaney, Eds.

// CADE-13, Lecture Notes in ArtificialIntelligence. – 1996, vol. 1104, Springer Verlag. – pp. 2-16 – ISSN 0302-9743[105] Voronkov, A. Theorem-proving in non-standard logic based on the inversemethod / A. Voronkov // 11 th International Conference on AutomatedDeduction, D. Kapur ed. 1021.cture Notes in Artificial Intelligence, 1992, – vol.607, Germany, Berlin: Springer Verlag. – pp. 648-662. – ISSN 0302-974389ПРИЛОЖЕНИЕ А. Пример решения задачи с помощью алгоритма IMAПусть имеется множество контурных изображений, составленных изотрезков прямых, задаваемых своими концами.

Заданы два предиката V и L,определяемых так, как представлено на рис. 1.Рис. 1. Предикаты V и L.Задан класс объектов Ω1 – класс контурных изображений «троек».Схематическое изображение эталонного объекта имеет вид (см. рис. 2):Рис. 2. Контурное изображение «тройка».Описание класса задается следующей формулой:A x1,..., x6   V  x2 , x1, x4  & V  x4 , x2 , x3  & V  x4 , x3 , x6  & V  x6 , x4 , x5  & L x4 , x2 , x6  .Пусть задано контурное изображение, представленное на рис. 3, в которомтребуется найти хотя бы один объект, принадлежащий классу «троек».90Рис. 3. Контурное изображение.Это изображение имеет описание:S a1,, a6   {V a1, a2 , a3  & V a2 , a1, a4  & V a3 , a1, a4  & V a3 , a4 , a5  & La3 , a1, a5 & V a4 , a2 , a3  & V a4 , a3 , a6  & La4 , a2 , a6  & V a5 , a3 , a6  & V a6 , a4 , a5 }Оценка числа шагов решения этого примера (так как s=10, δ=5) имеетпорядок 105 .Для того, чтобы выделить объект, принадлежащий классу «троек»,необходимо доказать выводимость следующего логического следования:S a1 ,,a6   x1 ,..., x6  Ax1 ,, x6 Общезначимость этой формулы равносильна общезначимости формулы91a1,..., a6x1,..., x6  V  x2 , x1, x4   V (a1, a2 , a3 )  V (a2 , a1, a4 )  V (a3 , a1, a4 )      V (a3 , a4 , a5 )  V (a4 , a2 , a3 )  V (a4 , a3 , a6 )  V (a5 , a3 , a6 )   &  V (a6 , a4 , a5 )  L(a3 , a1, a5 )  L(a4 , a2 , a6 )   V  x4 , x2 , x3   V (a1, a2 , a3 )  V (a2 , a1, a4 )  V (a3 , a1, a4 )     V ( a , a , a )   V ( a , a , a )   V ( a , a , a )  V ( a , a , a )   &  3 4 54 2 34 3 65 3 6 V (a6 , a4 , a5 )  L(a3 , a1, a5 )  L(a4 , a2 , a6 )   V  x , x , x   V ( a , a , a )  V ( a , a , a )  V ( a , a , a )   4 3 61 2 32 1 43 1 4   V (a3 , a4 , a5 )  V (a4 , a2 , a3 )  V (a4 , a3 , a6 )  V (a5 , a3 , a6 )   &  V (a6 , a4 , a5 )  L(a3 , a1, a5 )  L(a4 , a2 , a6 )   V  x6 , x4 , x5   V (a1, a2 , a3 )  V (a2 , a1, a4 )  V (a3 , a1, a4 )     V ( a , a , a )   V ( a , a , a )   V ( a , a , a )  V ( a , a , a )   &  3 4 54 2 34 3 65 3 6  V (a6 , a4 , a5 )  L(a3 , a1, a5 )  L(a4 , a2 , a6 )  L x4 , x2 , x6   V (a1, a2 , a3 )  V (a2 , a1, a4 )  V (a3 , a1, a4 )     V (a3 , a4 , a5 )  V (a4 , a2 , a3 )  V (a4 , a3 , a6 )  V (a5 , a3 , a6 )     V(a,a,a)L(a,a,a)L(a,a,a)645315426 Результатом выполнения п.

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

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