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