Концептуальный график - Conceptual graph - Wikipedia

А концептуальный граф (CG) является формализмом для представление знаний. В первой опубликованной статье о компьютерных графах Джон Ф. Сова (Сова 1976 ) использовал их для представления концептуальные схемы используется в системы баз данных. Первая книга по компьютерной графике (Sowa 1984 ) применил их к широкому кругу тем в искусственный интеллект, Информатика, и наука о мышлении.

Научные отрасли

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

Графический интерфейс для логики первого порядка

Кошка Элси сидит на циновке

В этом подходе формула в логика первого порядка (исчисление предикатов) представлено помеченным графом.

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

Диаграмма выше является примером форма отображения для концептуального графа. Каждый ящик называется узел концепции, и каждый овал называется узел отношения. В CGIF эта CG будет представлена ​​следующим утверждением:

[Кот Элси] [Сидит * x] [Мат * y] (агент? X Элси) (местоположение? X? Y)

В CGIF скобки заключают информацию внутри узлов концепции, а круглые скобки заключают информацию внутри узлов отношения. Буквы x и y, которые называются метки сопоставления, покажите, как связаны узлы понятия и отношения. В CLIF эти буквы отображаются в переменные, как в следующем заявлении:

(существует ((x Сидит) (y Мат)) (и (Кэт Элси) (агент x Элси) (местоположение x y)))

Как показано в этом примере, звездочки на метках сопоставления *Икс и * у в CGIF сопоставление с экзистенциально количественно определенными переменными в CLIF, а вопросительные знаки на ?Икс и ? у сопоставить связанные переменные в CLIF. Универсальный квантор, представленный @ каждые * г в CGIF, будет представлен forall (z) в CLIF.

Рассуждения могут быть выполнены путем преобразования графиков в логические формулы, а затем применения механизма логического вывода.

Схематическое исчисление логики

Другое исследовательское направление продолжает работу над экзистенциальные графы из Чарльз Сандерс Пирс, которые были одним из истоков концептуальных графов, предложенных Sowa. В этом подходе, разработанном, в частности, Дау (Дау 2003 ), концептуальные графы являются концептуальными диаграммы а не графики в смысле теория графов, и операции рассуждений выполняются операциями над этими диаграммами.

Графическое представление знаний и модель рассуждений

Ключевые особенности GBKR, модели представления знаний и рассуждений на основе графов, разработанной Chein and Mugnier и группой Montpellier (Chein & Mugnier 2009 ), можно резюмировать следующим образом:

  • Все виды знаний (онтология, правила, ограничения и факты) помечены графами, которые предоставляют интуитивно понятные и легко понятные средства представления знаний.
  • Механизмы рассуждений основаны на понятиях графа, в основном на классическом понятии гомоморфизм графов; это позволяет, в частности, связать основные проблемы рассуждений с другими фундаментальными проблемами информатики (например, проблемами, касающимися конъюнктивные запросы в реляционные базы данных, или же проблемы удовлетворения ограничений ).
  • Формализм логически обоснован, т. Е. Имеет семантику в логика первого порядка и механизмы вывода надежны и полны по отношению к дедукции в логике первого порядка.
  • С вычислительной точки зрения понятие гомоморфизма графов было признано в 1990-х годах центральным понятием, и результаты сложности и эффективные алгоритмы были получены в нескольких областях.

COGITANT и COGUI - это инструменты, реализующие модель GBKR. COGITANT - это библиотека C ++ классы, реализующие большинство понятий и механизмов рассуждений GBKR. COGUI - это графический пользовательский интерфейс, предназначенный для создания базы знаний GBKR (он объединяет COGITANT и, среди множества функций, содержит переводчик из GBKR в RDF / S и наоборот).

Диаграммы обобщения и обобщения предложений

Приговор обобщение и диаграммы обобщения можно определить как особый вид концептуальных графов, которые могут быть построены автоматически из синтаксических разбирать деревья и поддерживать задачу семантической классификации (Галицкий и др., 2010 г. ). Мера сходства между синтаксическими деревьями синтаксического разбора может быть выполнена как операция обобщения списков поддеревьев этих деревьев. Диаграммы представляют собой отображение между синтаксис уровень обобщения и семантика уровень обобщения (антиунификация логические формы ). Диаграммы обобщения предназначены для более точного семантического представления, чем обычные концептуальные графы для отдельных предложений, поскольку на семантическом уровне представлены только синтаксические общности.

Смотрите также

Рекомендации

  • Чейн, Мишель; Мюнье, Мари-Лор (2009). Представление знаний на основе графов: вычислительные основы концептуальных графов. Springer. Дои:10.1007/978-1-84800-286-9. ISBN  978-1-84800-285-2.CS1 maint: ref = harv (связь)
  • Дау, Ф. (2003). «Логическая система концептуальных графов с отрицанием и ее связь с логикой предикатов». Конспект лекций по информатике. Springer. 2892.CS1 maint: ref = harv (связь)
  • Сова, Джон Ф. (Июль 1976 г.). «Концептуальные графики для интерфейса базы данных» (PDF). Журнал исследований и разработок IBM. 20 (4): 336–357. Дои:10.1147 / rd.204.0336.CS1 maint: ref = harv (связь)
  • Сова, Джон Ф. (1984). Концептуальные структуры: обработка информации в разуме и машине. Ридинг, Массачусетс: Эддисон-Уэсли. ISBN  978-0-201-14472-7.CS1 maint: ref = harv (связь)
  • Галицкий, Борис; Доброчи, Габор; де ла Роса, Хосеп Луис; Кузнецов, Сергей О. (2010). «От обобщения синтаксических деревьев синтаксического анализа к концептуальным графам». Конспект лекций по информатике. Springer. 6208: 185–190. Дои:10.1007/978-3-642-14197-3_19. ISBN  978-3-642-14196-6.CS1 maint: ref = harv (связь)
  • Веларди, Паола; Пазиенца, Мария Тереза; Де 'Джованетти, Марио (март 1988 г.). «Концептуальные графики для анализа и генерации предложений». Журнал исследований и разработок IBM. IBM Corp. Riverton, Нью-Джерси, США. 32 (2): 251–267. Дои:10.1147 / rd.322.0251.

внешняя ссылка