Л.С. Берштейн, А.В. Боженюк
Перед разработчиками экспертных систем (ЭС) в области искусственного интеллекта стоят, как правило, следующие три задачи: выбор представления экспертной информации о предметной области в системе; выбор и (или) обоснование подхода к принятию решения (ПР) на основе этой информации; разработка алгоритмов, реализующих выбранный подход к ПР.
В случае, когда при решении первой задачи используется нечеткое представление информации (в терминах нечетких и лингвистических переменных), возникают задачи оценки этой информации на предмет ее непротиворечивости (или оценки степени ее непротиворечивости), а также задачи соотношения этой информации и желаемой точности получения результата. Это указывает на необходимость предварительного анализа нечеткой экспертной информации. Данный анализ позволил бы:.
1.Оценить соответствие имеющейся нечеткой информации требованиям, которым по мнению пользователя ЭС, должны удовлетворять получаемые решения;
2. Найти "узкие места" такой информации с целью ее корректировки (например, путем задания дополнительных вопросов эксперту о выборе решения в таких "местах").
Для проведения такого анализа введем понятия отношение упорядочения на значениях лингвистической переменной и монотонности нечеткой экспертной информации.
Определение 1. Пусть
- лингвистическая переменная [1], определенная на множестве Х и имеющая базовые значения , . Здесь - нечеткие переменные с унимодальными функциями принадлежности , . Введем на множестве базовых значений Т отношение упорядочения следующим образом: .Иными словами
, если значение , для которого функция принадлежности принимает свое наибольшее значение 1, не больше значения , на котором функция также принимает значение 1.Определение 2. Обозначим через
- обобщенную лингвистическую переменную, принимающую значения . Пусть , а .Будем считать, что:
.Пусть процесс ПР характеризуется выбором некоторого значения параметра V, на которое влияют значения параметров X, Y,...,Z. Введя лингвистические переменные
, , ,..., с множеством базовых значений соответственно , , ,..., и экспертную информацию о выборе решения представим в виде системы нечетких высказываний :Здесь
, ,..., и .Фактически нечеткая система высказываний
представляет собой некоторую функцию , определенную на множестве базовых значений обобщенной лингвистической переменной.Зафиксируем произвольные значения
, ,..., .Определение 3. Систему нечетких высказываний
назовем монотонной по параметру X, если справедливо выражение: илиОпределение 4. Систему нечетких высказываний
монотонную по всем параметрам X, Y,...,Z, назовем просто монотонной нечеткой системой.Свойство 1. Для того, чтобы система нечетких высказываний
была монотонной, необходимо и достаточно, чтобы выполнялось условие:или
В работе [2] была предложена общая схема выбора значений параметров при нечеткой экспертной информации. Согласно ей, при заданных входных параметрах X, Y,...,Z, выбирается такое подмножество
значений выходного параметра V, для элементов которого степень истинности правила modus ponens для нечеткой схемы вывода (1)принимает свое наибольшее значение. Здесь
- система нечетких экспертных высказываний. - высказывание типа . Величины x,y,...,z - конкретные значения входных параметров X, Y,...,Z. - высказывание типа , величина v - значение из подмножества .Степень истинности правила modus ponens для схемы вывода (1) определится выражением:
. (2)где n - число высказываний в системе
.Свойство 2. Для заданных значений x, y,...,z входных параметров функция
является непрерывной на множестве значений параметра V.Свойство 3. Если система
обладает свойством монотонности, то функция унимодальна, или достигает своего максимума на некотором интервале множества значений параметра V.Обозначим через
. Тогда выражение (2) можно переписать в виде: ,где m - множество базовых значений лингвистической переменной
.Свойство 4. Если система
обладает свойством монотонности, то справедливы неравенства , при , , при .Данное свойство позволяет предложить следующие алгоритмы нахождения значений параметра V, для которых величина степени истинности
достигает своего наибольшего значения.Отсортируем вначале значения
в порядке их увеличения. Будем считать, что , где соответствует некоторому .