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

    − агент, отношение между событием и тем, что (или кто) его вызывает,
например, отношение между «завинчиванием» (гайки) и рукой;
    − объект, отношение между событием и тем, над чем производится
действие, например, между «завинчиванием» и «гайкой»;
    − условие, отношение, указывающее логическую зависимость между
событиями, например, отношение между «завинчиванием» (гайки) и
«сборкой» (узла);
    − инструмент, отношение между событием и объектом, с помощью
которого оно совершается, например, между «завинчиванием» и
«верстаком».
    К базе знаний представленной семантической сетью, возможны
следующие основные типы запросов:
    - запрос на существование;
    - запрос на перечисление.
    При построении интеллектуальных банков знаний обычно используют
разделение знаний на:
    - интенсиональные,
    - экстенсиональные.
    Экстенсиональная семантическая сеть (или К-сеть) содержит
информацию о фактах, о конкретных объектах, событиях, действиях.
    Интенсиональная семантическая сеть (или А-сеть) содержит
информацию о закономерностях, потенциальных взаимосвязях между
объектами, неизменяемую информацию об объектах, т.е. модель мира.
    Экстенсиональные (конкретные) знания создаются и обновляются в
процессе работы с банком данных, а интенсиональные (абстрактные)
изменяются редко. Первые можно назвать экземпляром, а последние –
моделью (схемой) базы данных.
    Запрос к банку знаний, обрабатываемый системой управления базой
знаний, представляет собой набор фактов (ситуацию), при описании которого
допускается использование переменных вместо значений атрибутов, имен
понятий, событий и отношений. Запрос можно представить в виде графа, в
котором вершины, соответствующие переменным, не определены. Поиск
ответа сводится к задаче изоморфного вложения графа запроса (или его
подграфа) в семантическую сеть.
    Запрос на существование не содержит переменных и требует ответа типа
ДА, если изоморфное вложение графа запроса в семантическую сеть удалось,
и НЕТ – в противоположном случае. При обработке запроса на перечисление
происходит поиск всех возможных изоморфных графу запроса подграфов в


                                   69