Программа выявления формальных понятий с использованием парадигмы программирования в ограничениях

26.12.2023

Программа предназначена для выявления формальных понятий с использованием парадигмы программирования в ограничениях. Формальный контекст моделируется в виде сжатой таблицы D-типа. Выявление кандидатов в формальные понятия сводится к решению соответствующей задачи удовлетворения ограничений: ограничения накладываются на компоненты сжатой таблицы D-типа. Исключение неприемлемых кандидатов реализуется с помощью ограничения, служащего для проверки замкнутости множества объектов относительно множества признаков (и наоборот). Программный пользовательский интерфейс позволяет представлять исходные данные в виде объектно-признаковой таблицы, организовывать процедуру расчета, а также дает возможность сохранения результата для дальнейшего анализа. Ссылки: https://fips.ru/EGD/98a9690d-e545-4e0c-b418-253ef4fad305 https://new.fips.ru/registers-doc-view/fips_servlet?DB=EVM&DocNumber=2023685757&TypeFile=html

ГРНТИ

28.17.31 Моделирование процессов управления

28.01.75 Экономика, организация, управление, планирование и прогнозирование

50.41.25 Прикладное программное обеспечение

Ключевые слова

программирование в ограничениях

формальные понятий

Детали

НИОКТР

№ 122022800547-3

Тип РИД

Программа для ЭВМ

Сферы применения

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

Ожидается

Исполнитель

Исполнители

ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ФЕДЕРАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ЦЕНТР "КОЛЬСКИЙ НАУЧНЫЙ ЦЕНТР РОССИЙСКОЙ АКАДЕМИИ НАУК"

Заказчик

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

Похожие документы

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

0.856

РИД

Система проверки согласованности оценочных знаний экспертов

0.821