Сибирский федеральный университет

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