Интеллектуальные информационные системы. Дубровин А.Д. - 86 стр.

         - имеющийся опыт применения или проектирования конкретных категорий ИИС (систем, основанных
на правилах, систем, основанных на примерах (аналогиях), или гибридных систем).

           Формально – логические модели. Модели ПЗ этого вида хорошо зарекомендовали себя при
создании баз знаний, имеющих характер высоко модульных структур. Такие знания характерны единственностью
теоретического обоснования, наличием системы формально точных определений и выводов. В связи с этим
описательная мощность формально-логических моделей, как системы представления знаний, выше, чем у других.
Используемый в логике исчисления предикатов метод резолюций является одним из наиболее эффективных,
высоко формализуемых и широко применяемых методов.
            Однако достоинства этих моделей и их развитость, если речь идет об исчислении предикатов
первого порядка, обусловливают и присущие им недостатки: трудночитаемость логических описаний и
невысокая производительность обработки знаний. Даже простые утверждения не так просто перевести с
естественного языка на язык исчисления предикатов, если необходимо точно отобразить все аспекты исходного
текста. Кроме того, человеческой логике присуще использование в высказываниях нечетких или неоднозначных
сравнительных и выразительных категорий, а формальная логика не в состоянии оперировать ими. Основная
область их применения формально-логических моделей – теоретические исследования.

            Продукционные модели. Популярность этого вида моделей ПЗ определяется их общепризнанными
достоинствами, главными из которых являются:
        - возможность достаточно эффективно представлять почти все виды человеческих знаний;
        - простота создания, понятность описания и объяснимость результатов применения продукций;
        - продукции по своей топологии обладают свойством модульности и удаление из БЗ или добавление в
нее новых правил не приводит к изменениям в других продукциях;
        - наличие в правилах ссылок на сферу применения позволяет эффективно организовать память и
повысить оперативность поиска;
        - объединение системы продукций с семантической сетью повышает описательные и вычислительные
возможности ИИС;
        - простота организации параллельных вычислений, в которых все правила, входящие в арсенал готовых
продукций, могут выполняться независимо и одновременно;
        - любые модификации в системе продукций осуществляются достаточно просто и обладают свойством
аддитивности и локальности;
        - возможность однородного представления знаний стандартными форматами позволяет проводить
необходимые изменения в случае обнаружения ошибок.
             К недостаткам продукционных моделей можно отнести:
        - невозможность исчерпывающе точного отображения взаимосвязи правил, что приводит к трудностям
при проверке непротиворечивости в системе продукций и усложняет процедуру пополнения базы правил;
        - сложность обеспечения целостности системы знаний, представляемой продукциями;
        - применение только одного формата записи продукций приводит к громоздким, трудночитаемым
выражениям в левой части (антецеденте) правила и усложняет его написание и проверку.
           Существует мнение (13), что именно эти недостатки продукционных моделей ограничивают число
продукций, применяемых в современных ИИС.

      Фреймовые модели. Предоставляют возможность организации сетевых структур знаний, основанных на
выделении концептуальных понятий и их признаков. Основными достоинствами этих моделей являются:
        - возможность сочетания в одной структуре декларативных и процедурных знаний;
        - возможность иерархического построения БЗ в соответствии со степенью абстрактности понятий;
        - возможность организации любой системы вывода на основе объектно-ориентированного принципа
управления выводом и обменом свойствами и процедурами вычисления их значений между объектами;
        - адекватное отображение концептуальной организации памяти человека и ее способности гибко и
наглядно представлять сильно структурированные знания.
      Фреймовые модели, если исключить из структур фреймов присоединенные процедуры, могу применяться в
ИИС, использующих продукционную модель представления процедурных знаний, для реализации декларативной
компоненты БЗ.
           Недостатком фреймовых моделей является, пожалуй, только то, что создание на их основе ИИС,
потребует привлечения высоко профессиональных, системно мыслящих специалистов с практическим опытом
создания фреймовых структур, и достаточно длительного времени на доведение системы до рабочего состояния.

     Семантико–сетевые модели. Достоинство их в том, что они естественнее других представляют знания об
отношениях между сущностями ПО и их свойствами. Эти модели обладают преимуществами при описании с




                                                                                                     90