informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-277Research ArticleОБРАБОТКА СИГНАЛОВ, ИЗОБРАЖЕНИЙ, РЕЧИ, ТЕКСТА И РАСПОЗНАВАНИЕ ОБРАЗОВSIGNAL, IMAGE, SPEECH, TEXT PROCESSING AND PATTERN RECOGNITIONМЕТОД РЕШЕНИЯ ЗАДАЧ РАСПОЗНАВАНИЯ В БУЛЕВОМ ПРОСТРАНСТВЕ НА ОСНОВЕ ЛОГИЧЕСКОЙ И ПРЕЦЕДЕНТНОЙ МОДЕЛЕЙШутО. В.Белорусский государственный университетBelarus20122602201803(35)3550Copyright © Шут О.В., 20182018Шут О.В.Шут О.В.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/277

Рассматриваются дедуктивный и индуктивный подходы к решению задач распознавания, в которых используются соответственно логическая и прецедентная модели представления начальной информации. Строится алгебра объектов и показывается ее изоморфность булевой алгебре. Разрабатываются алгоритмы перехода между моделями представления информации. Предлагается модификация метода резолюций для прецедентной модели. Разрабатывается комбинированный алгоритм, объединяющий метод резолюций с семейством алгоритмов распознавания, и показывается, что он работает не хуже любого из алгоритмов, образующих комбинацию.

ReferencesЖуравлев, Ю.И. Об алгебраическом подходе к решению задач распознавания или клас-Журавлев, Ю.И. Об алгебраическом подходе к решению задач распознавания или клас-сификации / Ю.И. Журавлев // Проблемы кибернетики. – 1978. – № 33. – С. 5–68.сификации / Ю.И. Журавлев // Проблемы кибернетики. – 1978. – № 33. – С. 5–68.Журавлев, Ю.И. Корректные алгебры над множествами некорректных (эвристических)Журавлев, Ю.И. Корректные алгебры над множествами некорректных (эвристических)алгоритмов / Ю.И. Журавлев // Кибернетика. – 1977. – № 4. – С. 14–21.алгоритмов / Ю.И. Журавлев // Кибернетика. – 1977. – № 4. – С. 14–21.Краснопрошин, В.В. Распознавание с обучением как задача выбора / В.В. Краснопро-Краснопрошин, В.В. Распознавание с обучением как задача выбора / В.В. Краснопро-шин, В.А. Образцов // Цифровая обработка изображений. – Минск : Ин-т техн. кибернетики НАН Беларуси, 1998. – С. 80–94.шин, В.А. Образцов // Цифровая обработка изображений. – Минск : Ин-т техн. кибернетики НАН Беларуси, 1998. – С. 80–94.Чень, Ч. Математическая логика и автоматическое доказательство теорем / Ч. Чень,Чень, Ч. Математическая логика и автоматическое доказательство теорем / Ч. Чень,Р. Ли. – М. : Наука, 1983. – 360 с.Р. Ли. – М. : Наука, 1983. – 360 с.Рябцев, А.В. Алгебры для представления обучающей информации в задачах распозна-Рябцев, А.В. Алгебры для представления обучающей информации в задачах распозна-вания образов / А.В. Рябцев // Цифровая обработка. – 2002. – № 6. – С. 80–94.вания образов / А.В. Рябцев // Цифровая обработка. – 2002. – № 6. – С. 80–94.Мальцев, А.И. Алгебраические системы / А.И. Мальцев. – М. : Наука, 1970.Мальцев, А.И. Алгебраические системы / А.И. Мальцев. – М. : Наука, 1970.Яблонский, С.В. Введение в дискретную математику / С.В. Яблонский – М. : Наука,Яблонский, С.В. Введение в дискретную математику / С.В. Яблонский – М. : Наука,– 384 с.– 384 с.Краснопрошин, В.В. Проблема принятия решений по прецедентности: разрешимость иКраснопрошин, В.В. Проблема принятия решений по прецедентности: разрешимость ивыбор алгоритмов / В.В. Краснопрошин, В.А. Образцов // Выбраныя навуковыя працы Беларускага дзяржаўнага унiверсiтэта. Т. 6. Матэматыка. – Минск : БГУ, 2001. – C. 285–312.выбор алгоритмов / В.В. Краснопрошин, В.А. Образцов // Выбраныя навуковыя працы Беларускага дзяржаўнага унiверсiтэта. Т. 6. Матэматыка. – Минск : БГУ, 2001. – C. 285–312.Интеллектуальная система поддержки решений в спортивной травматологии /Интеллектуальная система поддержки решений в спортивной травматологии /В.В. Краснопрошин [и др.] // Вестник Национального технического университета «ХПИ». Тематический выпуск: информатика и моделирование. – 2010. – № 31. – С. 106–111.В.В. Краснопрошин [и др.] // Вестник Национального технического университета «ХПИ». Тематический выпуск: информатика и моделирование. – 2010. – № 31. – С. 106–111.

The authors declare that there are no conflicts of interest present.