- Построена математическая модель логико-аксиоматического подхода к решению задач распознавания образов.
- Доказаны оценки числа шагов исследованных алгоритмов решения задач распознавания при логико-аксиоматическом подходе. Доказана NP-трудность рассмотренных задач распознавания в случае, если исходные признаки являются предикатами, определяющими свойства частей объекта и отношения между ними.
- Введено понятие многоуровневого описания классов для эффекти-визации алгоритмов, решающих сформулированные задачи распознавания образов. Доказаны оценки числа шагов решения рассматриваемых задач при использовании двухуровневого описания классов.
- Обоснована возможность построения нейронных сетей и распараллеливания вычислений на основе многоуровневого описания классов.
- Введено понятие неполного вывода как средства адаптации распознающей системы к неполной информации и доказаны оценки числа шагов его реализации.
- Разработаны алгоритмы и доказаны оценки числа их шагов при распознавании объектов, искаженных преобразованиями из заданной группы преобразований с конечным числом образующих.
[1] Косовская Т.М., Тимофеев А.В. Об одном новом подходе к форми¬рованию логических решающих правил - Вестник ЛГУ, 1985, №8. С.
22-27.
[2] Косовская Т.М. Доказательства оценок числа шагов решения неко¬торых задач распознавания образов, имеющих логические описания // Вестн. С.-Петербург, ун-та. Сер. 1. 2007. Вып. 4. С. 82-90.
[3] Косовская Т.М., Тимофеев А.В. Иерархическое описание классов и нейросетевое распознавание сложных образов // Нейрокомпьютеры: разработка, применение. 2007. № 6. С. 30-33.
[4] Косовская Т.М. Многоуровневые описания классов для уменьше¬ния числа шагов решения задач распознавания образов, описыва¬емых пропозициональными формулами // Вестн. С.-Петербург, ун¬та. Сер. 1. 2008. Вып.1. С. 29-37.
[5] Косовская Т.М. Многоуровневые описания классов для уменьшения числа шагов решения задач распознавания образов, описываемых формулами исчисления предикатов // Вестн. С.-Петербург.ун-та. Сер. 10. 2008. Вып.1. С. 64-72.
[6] Косовская Т. М. Частичная выводимость предикатных формул как средство распознавания объектов с неполной информацией // Вестн. С.-Петербург.ун-та. Сер. 10. 2009. Вып. 1. С. 74-84.
[7] Косовская Т.М. Распознавание объектов из классов, замкнутых от¬носительно группы преобразований // Вестн. С.-Петербург.ун-та. Сер. 10. 2009. Вып. 3. С. 45-55.
[8] Косовская Т.М., Косовский Н. К. О числе шагов получения булевого решения у полиномиальных сравнений и у систем из них // Вестн. С.-Петербург, ун-та. Сер. 1. 2007. Вып. 3. С. 84-90.
Другие публикации
[9] Артюшкова (Косовская) Т.М., Тимофеев А.В. Диагностика, прогни-зирование и выбор метода лечения как задача автоматического до-казательства теорем // Биологическая и медицинская кибернетика, ч.4, Научный совет по комплексной проблеме «Кибернетика» АН СССР, М., 1974. С. 13-16.
[10] Косовская Т.М. О сложности распознавания контурных изображе¬ний с помощью линейных стратегий метода резолюций // Всесоюз¬ная научно-техническая конференция «Образный анализ многомер¬ных данных» (тезисы докладов), 2-3 октября 1984г., Владимир, 1984. С.77-78.
[11] Косовская Т.М., Мишин С.Н., Тимофеев А.В. Алгоритмы и програм¬мы логического анализа изображений и сцен // Всесоюзная научно-техническая конференция «Образный анализ многомерных данных» (тезисы докладов), 2-3 октября 1984г., Владимир, 1984. С.79-80.
[12] Kosovskaya T.M., Timofeev A.V. Logic-Axiomatical Method of Recognition and its Application // Proceedings of Symposium IFAC on Artificial Intelligence, Leningrad, 4-6 October 1983. IFAC proceedings series No 9, Pergamon Press, 1984. P. 523-528.
[13] Косовская Т.М. Распознавание преобразованных и искаженных изображений // Тезисы докладов Всесоюзного симпозиума «Зрение организмов и роботов» (Вильнюс, 1-3 октября 1985 г.), т. 2, Вильнюс, 1985. С. 59-60.
[14] Kossovskaya T.M., Timopheev A.V. Logic-Axiomatical Method of Intellectual Recognition of Complex and Distributed Objects // Proceedings of Symposium IFAC « Distributed and Intellectual Systems. Methods and Applications», v. 2, Varna, Bulgaria, 1988.
[15] Kossovskaya T.M., Timopheev A.V. Adaptive Logical Recognition Algorithms for Expert Systems IMS // Third International Summer Seminar on Intelligent Manufacturing Systems (August 28 - September 2), Dubrovnik, Yugoslavia, 1989.
[16] Kossovskaya T.M., Timopheev A.V. Methods of Adaptive Logical Recognition and its Application // International Conference «Artificial
Intelligence - Industrial Application» (Abstracts of papers) (Leningrad, 15-19.04.1990),1990. P. 247-249.
[17] Timofeev A.V., Kosovskaya T.M. Logic-Axiomatical Method of Knowledge Representation and Recognition for Robots // Computers in Industry 15, Elsevier Science Publishers B.V., 1990. P.3-6.
[18] Косовская T.M. , Миронов С.Н., Тимофеев А.В. Экспертные системы адаптивного логического распознавания и их применение // Адап¬тивные и экспертные системы в управлении. Тезисы докладов 5-го Ленинградского симпозиума по теории адаптивных систем, ч. II, 1990.
[19] Kossovskaya T.M. Complexity bounds of some pattern recognition problems // Abstrscts of the Second International Conference «Mathematical Algorithms», Nizhny Novgorod, 1995. P.28.
[20] Косовская T.M. Оценки сложности решения задач распознавания при иерархическом описании классов // Тез. докл. на XI Междунар. конф. по проблемам теоретической кибернетики. Ульяновск, 1996.
[21] Косовская Т.М. Многоуровневые описания классов для принятия решений в задачах распознавания образов - Тр. III Междунар. конф. "Дискретные модели в теории управляющих систем". М., Диалог — МГУ, 1998.
[22] Косовская Т.М. Оценки числа шагов решения некоторых задач распознавания образов с логическими описаниями // Материа¬лы IX Международного семинара "Дискретная математика и ее приложения", посвященного 75-летию со дня рождения академика О.Б.Лупанова (Москва, 18-23 июня 2007 г.) , Изд. мех-мат МГУ, М., 2007. С. 94-96.
[23] Т.М.Косовская, А.В.Тимофеев. Иерархическое логическое описа¬ние и нейросетевое распознавание сложных образов // Proc. of XIII-th International Conference "Knowledge-Dialogue-Solution"(KDS-2007)(June 18-24, 2007, Varna, Bulgaria), vol. 1, pp. 22-27.
[24] A.Timofeev, T.Kosovskaya. Conditions of Effectiveness of Pattern Recognition Problem Solution Using Logical Level Descriptions of Classes // Proc. of ХШ-th International Conference "Knowledge-Dia-logue-Solution"(KDS-2007)(June 18-24, 2007,Varna, Bulgaria), vol. 2, pp. 572-575.
[25] Косовская Т.М., Тимофеев А.В. Логические и нейросетевые методы распознавания и интеллектуального анализа сложных изображений и сцен // Сборник трудов Международной выставки-конгресса <Ме-хатроника и робототехника-2007> (М& R´2007). 2-5 октября 2007, Санкт-Петербург, Россия, с. 185-189.
[26] Косовская Т.М. Оценки сложности многоуровневого распознавания объектов с неполной информацией // „Проблемы теоретической кибернетики", Тезисы докладов XV Международной конференции (Казань 2-7 июня 2008 г.), под общей редакцией академика РАН Ю.И.Журавлева. 2008. С. 59-60.
[27] Косовская Т.М. Логико-предикатный подход к распознаванию и ана¬лизу составных объектов и оценки сложности // XVII Междуна-родная школа-семинар «Синтез и сложность управляющих систем» имени академика О. Б. Лупанова (Новосибирск, 27 октября - 1 но-ября 2008 г.). Новосибирск: Изд-во Института математики, 2008. С. 65-70.
[28] Косовская Т. М. Решение задач распознавания образов при непол-ной информации об объектах на основе частичной выводимости фор¬мул исчисления предикатов // Международная научная конферен¬ция „Космос, астрономия, программирование" [Лавровские чтения] (20-22 мая 2008г., математико-механический факультет СПбГУ), Те¬зисы докладов. С. 58 - 65.
[29] Косовская Т.М., Тимофеев А.В. Логико-нейросетевые методы рас-познавания сложных изображений и сцен // Труды между народ¬ной научно-технической конференции „Многопроцессорные вычис-лительные и управляющие системы" (МВУС-2009, Россия, Дивно-морское, 28 сентября - 3 октября 2009). С. 121 - 125.