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

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



     Первые два типа получили название модульных моделей в связи с тем, что они оперируют элементами
процедурных знаний – правилами и аксиомами, являющихся истинными (имеющими смысл) в конкретной ПО.
          Фреймовые модели и семантические сети получили название сетевых в связи с тем, что связи между
элементами знаний в этих моделях выражаются через бинарные отношения.




                                                                                                      72