Аннотация:
Предлагается формальная постановка задачи синтеза, т.е. задачи поиска объектов, обладающих определенными свойствами, которые описаны только набором прецедентов. Ключевой особенностью этой формализации является тесная связь с теорией распознавания. Описан общий подход к решению задачи синтеза и конкретные методы ее решения для двух важных случаев. Для этого предложен новый метод распознавания, обладающий высокой скоростью работы применительно к данным исследуемой структуры. Качество предложенных методов продемонстрировано с помощью реальных данных. Библ. 6.
Ключевые слова:алгебраическая теория распознавания, логические закономерности, задача синтеза.