Обобщаются модели возможностного программирования, на случай, когда бинарные отношения, связывающие левую и правую части в модели ограничений, являются нечеткими. Развивается соответствующий математический формализм для описания моделей этого класса.