Концептуальный граф

Cтраница 2

Они отражают структуру некой области и реализацию этой структуры на ЭВМ. В наше время семантические сети используются в системах распознавания естественных языков. Достоинство концептуальных графов - в возможности прямого обобщения на модальные системы и другие формализмы, трудно представимые логикой первого порядка. [16]

Концептуальный граф логики знания. [17]

При изображении концептуальных графов пропозициональная часть поля ссылки концепта обозначена типом высказывание. [18]

Таким образом, возможный путь построения таких графов следующий: мозг вырабатывает систему концептов, базируясь на поступающих ощущениях, и так расставляет сформированные концепты, чтобы они отражали реальную ситуацию. Новые канонические графы строятся из имеющихся по определенным правилам построения. Эти правила формируют порождающую грамматику для концептуальных графов точно так же, как это делается посредством правил переписывания Хомского в случае порождающих грамматик для синтаксических структур естественных языков ( см. разд. [19]

Определение типа для ресторана. [20]

Пусть t - метка типа, KxF - - выражение. Тогда тип t ( x) есть F, где тело F этого - - выражения является различием метки t, a t ( x) - ее родом. На рис. 3.17 приведено определение типа ресторана [102] с использованием концептуального графа. [21]

Система работает как с гомогенными, так и с гетерогенными каталогами продуктов. Понятно, что второй вариант сложнее. Поэтому в системе OntoSeek для представления запросов и описания ресурсов используется модификация простых концептуальных графов Дж. Совы [ Sowa, 1984 ], которые обладают существенно более мощными выразительными возможностями и гибкостью по сравнению с обычно используемыми списками типа атрибут-значение. Для концептуальных графов проблема контекстного отождествления редуцируется до управляемого онтологией поиска в графе. При этом узлы и дуги сопоставимы, если онтология показывает, что между ними существует заданное отношение. Вместе с тем, поскольку система базируется на использовании лингвистической онтологии, узлы концептуального графа должны быть привязаны к соответствующим лексическим единицам, причем для этого должны выполняться определенные семантические ограничения. [22]

Виртуальные атрибуты и объекты очень полезны в визуальных информационных системах, поскольку часто требуется много времени, чтобы заранее извлечь из физических картин всю информацию, относящуюся к делу. Виртуальные атрибуты позволяют пользователю оставить эти атрибуты неопределенными. Когда появляется ссылка на такие виртуальные атрибуты, вызывается правило оценки иногда с помощью обращения к алгоритмам обработки изображений для выделения новой информации из физических картин, а иногда путем комбинации остальных значений реальных атрибутов. Концептуальный граф rf - типа, который обсуждался в разд. [23]

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

На фазе кодирования описание ресурсов конвертируется в концептуальный граф. Для этого поверхностные узлы и дуги, отмеченные пользователем, с помощью лексического интерфейса трансформируются в смыслы, заданные в словаре. Таким образом, граф слов транслируется в граф смыслов, причем каждому понятию последнего сопоставляется соответствующий узел онтологии. После семантической валидации концептуального графа на основе использования онтологии он запоминается в БД. [25]

В § 3.2.1 указывалось, что каждый концептуальный граф представляет одну логическую формулу. Она представляет не только набор ( соединение) формул, но также описывает их взаимосвязи и погружение их в контекст области рассуждений. Семантические сети получаются из концептуальных графов по правилам соединения, которые будут введены посредством примеров. [26]

Концептуальный граф служит для представления знаний. Схему можно определить, вводя последовательно ограничения на концептуальный граф. [27]

Страницы: 1 2