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

• Концептуальные графы (CGs) — это форма представления знаний и рассуждений, основанная на графическом интерфейсе. 
• CGs были разработаны с 1984 года в трех основных направлениях: графический интерфейс для логики первого порядка, схематический логический расчет и модель представления знаний и рассуждения. 
• Графический интерфейс для логики первого порядка представляет формулы в логике первого порядка в виде помеченных графов. 
• Схематический анализ логики продолжает работу над экзистенциальными графами Чарльза Сандерса Пирса. 
• Графическое представление знаний и модель рассуждения предлагают интуитивно понятный и легкодоступный способ представления знаний. 
• Механизмы рассуждения основаны на понятиях графов и имеют семантику в логике первого порядка.