МЕТОД РЕШЕНИЯ ЗАДАЧ РАСПОЗНАВАНИЯ В БУЛЕВОМ ПРОСТРАНСТВЕ НА ОСНОВЕ ЛОГИЧЕСКОЙ И ПРЕЦЕДЕНТНОЙ МОДЕЛЕЙ

Аннотация

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