Концептуальные графы. Пример и терминология.

Концептуальные графы содержат прямоугольники для представления аргументов и круги для имен предикатов. Круг соединяется стрелкой с прямоугольником, если они представляют соответственно имя и аргумент одного и того же предиката.

Предикаты могут иметь несколько аргументов. Следовательно, круги могут иметь несколько входящих и/или выходящих стрелок. Большинство предикатов, используемых для представления знаний, обладает двумя аргументами (бинарные предикаты). Тогда круги соединены с прямоугольниками двумя стрелками: входящей и выходящей.

Снова обратимся к примеру. На рисунке изображен концептуальный граф предиката Посылка (Жак_2, Мари_4, Книга_22), формализующий фразу «Жак посылает книгу Мари».

На следующем рисунке приведен концептуальный граф логического представления той же фразы бинарными предикатами, т.е. граф, соответствующей формуле

Отправитель( Посылка_8, Жак_2)^

Получатель(Посылка_8, Мари_4) ^

Объект(Посылка_8, Книга_22) ^

Элем(Посылка_8, посылки).

При графическом представлении бинарных предикатов круги иногда опускают, а имена предикатов указывают на стрелках. Напомним, что в одной из прошлых лекций было описано общее правило преобразования m-арного предиката (m2) вида

Предикатное_имя(знчение_1, знчение_2, …, значение_ m) в произведение m бинарных предикатов

^Функция_j(предикатное_имя, значение_j).

Свяжем с каждым бинарным оператором концептуальный граф, как показано на следующем рисунке.

 Стрелки предикатов направлены от первого аргумента предиката (предикатное имя) к имени предиката (Функция_j) и от имени предиката ко второму аргументу (значение_j). В записи, называемой по-английски slot-assertion, имя предиката соответствует имени слота, а значение – значению слота. Вообще в концептуальных графах значение слота соответствует некоторому концепту.

Графическое представление m-арных предикатов основано на следующем соглашении. Стрелка, соответствующая m-арному аргументу, направлена к прямоугольнику, представляющему этот аргумент. Все остальные стрелки направлены от прямоугольников к кругу, представляющему имя предиката. Стрелки помечены от 1 до m, чтобы явно показать соответствие между стрелкой и аргументом (первый рисунок нашего примера).

Вообще имя бинарного предиката представляет некую функцию. Узел концептуального графа, указывающий это имя, называется связывающим узлом, ибо он связывает два концепта, представленных двумя аргументами бинарного предиката. Функция, представленная этим связывающим узлом, носит по той же причине название концептуального отношения. Термины имя бинарного предиката и аргумент, представляющие соответственно функцию и концепт, часто заменяются на связывающий узел и узел-концепт в графическом представлении.

Друзья! Приглашаем вас к обсуждению. Если у вас есть своё мнение, напишите нам в комментарии.