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

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