Войти
A концептуальный граф (CG) - это формализм для представления знаний. В первой опубликованной статье о компьютерных графах Джон Ф. Сова (Sowa 1976) использовал их для представления концептуальных схем, используемых в системах баз данных. В первой книге по компьютерным графам (Sowa 1984) они были применены к широкому кругу тем в искусственном интеллекте, информатике и когнитивной науке.
С 1984 года модель разрабатывалась по трем основным направлениям: графический интерфейс для логики первого порядка, схематическое исчисление логики, графическое представление знаний и модель рассуждений.
Кот Элси сидит на циновке В этом подходе формула в логике первого порядка (исчисление предикатов) представлено помеченным графом.
Линейная нотация, называемая форматом обмена концептуальными графами (CGIF), была стандартизирована в стандарте ISO для общей логики.
Диаграмма выше является примером форма отображения концептуального графика. Каждый блок называется концептуальным узлом, а каждый овал - узлом отношения. В CGIF эта CG будет представлена следующим утверждением:
[Cat Elsie] [Sitting * x] [Mat * y] (agent? X Elsie) (location? X? Y)
В CGIF, скобки заключают информацию внутри узлов концепции, а круглые скобки заключают информацию внутри узлов отношения. Буквы x и y, которые называются метками кореферентности, показывают, как связаны узлы концепции и отношения. В CLIF эти буквы отображаются в переменные, как в следующем утверждении:
(exists ((x Sitting) (y Mat)) (and (Cat Elsie) (agent x Elsie) (location xy)))
Как показывает этот пример, звездочки на метках сопоставления * xи * yв CGIF соответствуют экзистенциально количественно определенным переменным в CLIF, а вопросительные знаки на ? Xи ? Yотображаются в связанные переменные в CLIF. Универсальный квантор, представленный @ each * zв CGIF, будет представлен forall (z)в CLIF.
Рассуждения могут быть выполнены путем преобразования графиков в логические формулы с последующим применением механизма логического вывода.
Другое направление исследований продолжает работу над экзистенциальными графами из Чарльза Сандерса Пирса, которые были одним из истоков концептуального графики, предложенные Sowa. В этом подходе, разработанном, в частности, Дау (Dau 2003), концептуальные графы представляют собой концептуальные диаграммы, а не графики в смысле теории графов и логические операции. выполняются операциями над этими диаграммами.
Ключевые особенности GBKR, графического представления знаний и модели рассуждений, разработанной Chein and Mugnier и группой Montpellier (Chein Mugnier 2009), можно резюмировать следующим образом:
COGITANT и COGUI - это инструменты, реализующие модель GBKR. COGITANT - это библиотека C ++ классы, реализующие большинство понятий и механизмов рассуждений GBKR. COGUI - это графический пользовательский интерфейс, предназначенный для построения базы знаний GBKR (он объединяет COGITANT и, среди множества функций, содержит переводчик из GBK R на RDF / S и наоборот).
Предложения диаграммы обобщения и обобщения могут быть определены как особый вид концептуальных графов, которые могут быть построены автоматически из синтаксических деревьев синтаксического анализа и поддержка задачи семантической классификации (Галицкий и др. 2010) ошибка: нет цели: CITEREFGalitsky_et_al2010 (help ). Мера сходства между синтаксическими деревьями синтаксического разбора может быть выполнена как операция обобщения списков поддеревьев этих деревьев. Диаграммы представляют собой отображение соответствия между уровнем обобщения синтаксиса и уровнем обобщения семантики (антиунификация логических форм ). Диаграммы обобщения предназначены для более точного семантического представления, чем обычные концептуальные графы для отдельных предложений, поскольку на семантическом уровне представлены только синтаксические общности.
