Построение импликативных зависимостей для аналитического описания предметных областей и обнаружения ошибок в данных

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