ИНТЕЛЛЕКТУАЛЬНЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ


Интеллектуальные информационные системы - стр. 39


·       Семантическая сеть отображает разнообразные отношения объектов;

·       Фреймовая модель, как частный случай семантической сети, использует для реализации операционного знания присоединенные процедуры;

·       Объектно-ориентированная модель, как развитие фреймовой модели, реализуя обмен сообщениями между объектами, в большей степени ориентирована на решение динамических задач и отражение поведенческой модели.

                Логическая модель  предполагает унифицированное описание объектов и  действий  в  виде  предикатов  первого  порядка.   Под   предикатом понимается  логическая  функция на N - аргументах (признаках),  которая принимает истинное или  ложное  значение  в  зависимости  от  значений аргументов.  Отличие   заключается   в   том,   что   для   объектов соответствующие реляционные отношения задаются явно в виде  фактов,  а действия  описываются как  правила,  определяющие  логическую формулу вывода фактов из других фактов. Пример фрагмента базы знаний подбора претендентов  на  вакансии в языке логического программирования ПРОЛОГ представлен на рис. 2.4.  (Обозначения:  ":-" - "если", "," - "и", "." - "конец утверждения").

         vibor(Fio,Dolgnost):-

                pretendent(Fio, Obrazov, Stag),

                vacancy(Dolgnost, Obrazov, Opyt),

                Stag>=Opyt.

          pretendent("Иванов","среднее" 10).

          pretendent("Петров","высшее", 12).

          vacancy("менеджер", "высшее", 10).

          vacancy("директор", "высшее", 15).

Рис. 2.4. Пример фрагмента базы знаний на языке ПРОЛОГ

                Механизм вывода   осуществляет   дедуктивный   перебор    фактов, относящихся к  правилу по принципу "сверху - вниз",  "слева - направо" или обратный вывод методом поиска в глубину.  Так,  в ответ  на  запрос vibor(X,Y) получим: X="Петров", Y="менеджер".




Начало  Назад  Вперед