گراف مفهومی
گراف مفهومی با کوته‌نوشت CG نوعی صوری‌سازی برای نمایش دانش است. گراف مفهومی اولین بار در یک مقاله از در سال ۱۹۷۶ ارائه شد که از آن برای نمایش طرح‌واره‌های مفهومی در سامانه‌های پایگاه داده استفاده شده بود. اولین کتاب دربارهٔ CG که توسط سوا در سال ۱۹۸۴ منتشر شد، آن را حیطه‌های مختلفی در هوش مصنوعی، دانش رایانه، و علوم شناختی اعمال کرده بود.
از سال ۱۹۸۴ این مدل در سه جهت اصلی توسعه یافت: یک واسط گرافیکی برای منطق مرتبه اول، حساب نموداری منطق، و یک یک مدل نمایش و استدلال دانش مبتنی بر گراف.
در این دیدگاه یک فرمول در منطق مرتبه اول (حساب گزاره‌ای) توسط یک گراف برچسب‌دار نمایش می‌یابد.
گراف مفهومی، برای استفاده در منطق مشترک، در استاندارد ISO به صورت یک نماد خطی استانداردسازی شده‌است، که به آن «قالب تبادل گراف مفهومی» (CGIF) می‌گویند.
نمودار بالا یک مثال از قالب نمایش برای یک گراف مفهومی است. در اینجا به هر جعبه، یک «گره مفهومی» می‌گویند، و به هر بیضی، یک «گره رابطه» می‌گویند. در CGID این CG توسط بیانیه زیر نمایش می‌یابد:
در CGIF، براکت شامل اطلاعات موجود در گره مفهوم است، و پرانتز شامل اطلاعات موجود در گره رابطه است. حروف x و y که به آنها برچسب‌های هم مرجع می‌گویند، نشان می‌دهند که چگونه گره‌های مفهومی و گره‌های رابطه به هم متصل می‌شوند. در CGIF این حروف به متغیرها نگاشت می‌یابند، مثلاً در زیر:
همانگونه که این مثال نشان می‌دهد، ستاره ای که قبل از برچسب‌های هم مرجع و در CGIF آمده‌است، به متغیرهای دارای«سور وجودی» در CLIF نگاشت می‌یابند، و علامت‌های سؤال که قبل از و هستند، به «متغیرهای پابند» در CLIF نگاشت می‌یابند. یک سور عمومی، که در CGIF توسط نمایش یافته‌است، در CLIF توسط نمایش می‌یابد.
در اینجا استدلال توسط این دو گام انجام می‌شود: اول گراف‌ها به فرمول‌های منطقی ترجمه می‌شود، و سپس یک موتور استنتاج منطقی روی آن استنتاج می‌کند.
شاخه پژوهشی دیگر، کارهای «» که توسط چارلز سندرز پیرس ارائه شده بود را ادامه می‌دهد، این مفهوم یکی از ریشه‌های گراف‌های مفهومی ارائه شده توسط سوا است. در این دیدگاه، که مخصوصاً توسط داو در سال ۲۰۰۳ توسعه داده شد، به گراف‌های مفهومی به صورت نمودار‌های مفهومی نگاه می‌شود و نه آن گراف‌هایی که در نظریه گراف می‌شناسیم، در نهایت عملیات استدلال، توسط عمل استدلال روی این نمودارها انجام می‌شود.
ویژگی‌های اصلی GBKR یا «مدل نمایش دانش و استدلال مبتنی بر گراف» که توسط چین و موگنیر و گروه مونتپلیر در سال ۲۰۰۹ ارائه شد را می‌توان به این صورت خلاصه کرد:
COGITANT و COGUI ابزاهایی هستند که مدل GBKR را پیاده‌سازی کرده‌اند. COGITANT کتابخانه ای از کلاس‌های C++ است که بیشتر مفاهیم و سازوکارهای استدلال GBKR را پیاده‌سازی کرده‌است. COGUI یک واسط کاربری گرافیکی است که مختص ساخت پایگاه شناخت GBKR می‌باشد (این ابزار با COGITANT تجمیع می‌یابد و از بین عملکردهای بیشماری که دارد، یکی از عملکردهای آن یک ترجمه‌گر از زبان GBKR به و بزعکس است).
همگانی‌سازی جمله و نمودارهای همگانی‌سازی را می‌توان به عنوان نوع خاصی از گراف‌های مفهومی تعریف کرد. همگانی‌سازی جمله را می‌توان به صورت خودکار از درخت تجزیه نحوی ساخت که ابن کار از فعالیت رده‌بندی مفهومی پشتیبانی می‌کند . برای به دست آوردن میزان شباهت بین درخت‌های تجزیه نحوی باید از عملیات همگانی‌سازی روی لیست‌های زیردرخت این درخت‌ها استفاده کرد. این نمودارها نمایشی از نگاشت بین مرحله همگانی‌سازی نحوی و مرحله همگانی سازی معنایی هستند (وحدت زدایی از حالات منطقی). برای جملات منفرد، نمودارهای همگانی‌سازی نمایش معنایی دقیق‌تری از گراف‌های مفهومی سنتی هستند زیرا در آن‌ها فقط مشترکات نحوی در مرحله معنایی نمایش می‌یابند.