abstract: В статье на основании анализа последних достижений и публикаций показано, что в социально-экономических моделях, использующих традиционную парадигму классического рационализма (вычислимые, агентные, эконометрические модели), возникают сложности при попытках отразить природу нечеткости и неопределенности. Накопленным коллективным опытом разработки оптимальных моделей подтверждена перспективность применения нечетко-множественного подхода в моделировании общества. Обоснована необходимость изучения природы противоречивости в нечетких базах знаний как на обобщенном онтологическом уровне, так и на прагматическом функциональном уровне логического вывода. В статье предлагается метод поиска логических и концептуальных противоречий в виде сочетания абдукции и modus ponens. Обсуждается ключевой для предложенного метода вопрос: какими свойствами должна обладать функция принадлежности вторичного нечеткого множества, описывающего в моделях нечеткого вывода такое результирующее состояние объекта управления, которое с большой степенью возможности совмещает эмпирически несовместимые признаки. Степень принадлежности объекта управления сразу нескольким несовместимым классам по отношению к нечеткой выходной переменной есть степень нечеткости суждения «Пересечение всех результатов нечеткого вывода множества, применимых при некотором входе правил, есть пустое множество». Описан алгоритм оценки меры непротиворечивости. Приведен пример пошагового выявления противоречий в статических нечетких БЗ на прагматическом функциональном уровне логического вывода. Полученные результаты тестирования в виде наборов несовместимых фактов, цепочек выводов, наборов непересекающихся интервалов, вычисленные меры противоречивости позволят экспертам своевременно устранить недопустимые противоречия и тем самым повысить качество рекомендаций и оценок нечетких ЭС.
keywords: противоречия, нечеткая продукционная база знаний, слово состояния, носитель вторичного нечеткого множества, функция принадлежности, степень непротиворечивости