27
        
        
        
          
            СИСТЕМЫИСКУССТВЕННОГО ИНТЕЛЛЕКТА И ПРИНЯТИЯ РЕШЕНИЙ.
          
        
        
          
            ОПТИМИЗАЦИЯ БАЗ ЗНАНИЙ НЕЧЕТКИХ ЭКСПЕРТНЫХ СИСТЕМ
          
        
        
          могут быть непрерывными или дискретными. Примеры входных переменных:
        
        
          "
        
        
          Возраст пациента", "Скорость цели", "Время наблюдения", "Режим работы ап-
        
        
          парата" и т.п.
        
        
          Процесс выработки экспертной системой решения на основании поданных
        
        
          на ее входы значений переменных и степеней истинности фактов называется ло-
        
        
          гическим выводом (предлагаемая в данной работе система производит прямой
        
        
          вывод). Способ его проведения определяется базой знаний (БЗ) системы. Суще-
        
        
          ствуют различные модели представления знаний, среди которых наибольшее
        
        
          распространение получили продукционные модели, семантические сети, фреймы
        
        
          и формальные логические модели 
        
        
        
        
          . Кроме того, перечисленные подходы
        
        
          могут применяться в различных комбинациях (например, существуют эксперт-
        
        
          ные системы, в которых продукционные модели совмещаются с фреймами). В
        
        
          данной работе для представления знаний предлагается использовать списки не-
        
        
          четких продукционных правил вида:
        
        
          ЕСЛИ (условие), ТО (следствие).
        
        
          Условие представляет собой конъюнкцию либо дизъюнкцию элементарных
        
        
          событий (посылок), в качестве которых могут выступать факты попадания зна-
        
        
          чений входных переменных в некоторые интервалы, факты наличия у наблю-
        
        
          даемого объекта определенного признака, а также следствия других правил из
        
        
          той же базы знаний. Посылка может браться с отрицанием, а также имеет вес
        
        
          ]1;0[
        
        
          ∈
        
        
          
            i
          
        
        
          
            w
          
        
        
          ,
        
        
          определяющий ее влияние на степень истинности всего условия.
        
        
          В терминах нечеткой логики входной параметр является лингвистической
        
        
          переменной, а степени истинности фактов попадания в интервалы (сегменты)
        
        
          вычисляются как значения функций принадлежности (ФП) нечетких множеств,
        
        
          заданных на области определения параметра. С каждой такой функцией связано
        
        
          символьное имя, используемое при формулировании условий правил. Например,
        
        
          для независимой переменной "Скорость цели" определены три сегмента с назва-
        
        
          ниями: "Низкая", "Средняя", "Высокая". Тогда некоторые правила из БЗ могут
        
        
          иметь следующий вид:
        
        
          1.
        
        
          ЕСЛИ "Скорость цели" = "Низкая"
        
        
          ИЛИ "Скорость цели" = "Средняя",
        
        
          ТО ...
        
        
          2.
        
        
          ЕСЛИ "Скорость цели" = "Высокая"
        
        
          И ...,
        
        
          ТО ...
        
        
          Каждое правило определяет степень истинности некоторого факта, указан-
        
        
          ного в его правой части (следствие), при наступлении ситуации, описываемой
        
        
          левой частью. Правило имеет вес
        
        
          ]1;0[
        
        
          ∈
        
        
          
            w
          
        
        
          ,
        
        
          указывающий на степень доверия к
        
        
          его выводу. Подробно математические модели лингвистических переменных и
        
        
          нечетких правил, применяемые в данной работе, будут описаны в следующем
        
        
          разделе.