گراف مفهومی ( به انگلیسی: Conceptual graph ) با کوته نوشت CG نوعی صوری سازی برای نمایش دانش است. گراف مفهومی اولین بار در یک مقاله از جان اف. سوا در سال ۱۹۷۶ ( Sowa ۱۹۷۶ ) ارائه شد که از آن برای نمایش طرح واره های مفهومی در سامانه های پایگاه داده استفاده شده بود. اولین کتاب دربارهٔ CG که توسط سوا در سال ۱۹۸۴ منتشر شد ( Sowa 1984 ) ، آن را حیطه های مختلفی در هوش مصنوعی، دانش رایانه، و علوم شناختی اعمال کرده بود.
از سال ۱۹۸۴ این مدل در سه جهت اصلی توسعه یافت: یک واسط گرافیکی برای منطق مرتبه اول، حساب نموداری منطق، و یک یک مدل نمایش و استدلال دانش مبتنی بر گراف.
در این دیدگاه یک فرمول در منطق مرتبه اول ( حساب گزاره ای ) توسط یک گراف برچسب دار نمایش می یابد.
گراف مفهومی، برای استفاده در منطق مشترک، در استاندارد ISO به صورت یک نماد خطی استانداردسازی شده است، که به آن «قالب تبادل گراف مفهومی» ( CGIF ) می گویند.
نمودار بالا یک مثال از قالب نمایش برای یک گراف مفهومی است. در اینجا به هر جعبه، یک «گره مفهومی» می گویند، و به هر بیضی، یک «گره رابطه» می گویند. در CGID این CG توسط بیانیه زیر نمایش می یابد:
( agent ?x Elsie ) ( location ?x ?y )
در CGIF، براکت شامل اطلاعات موجود در گره مفهوم است، و پرانتز شامل اطلاعات موجود در گره رابطه است. حروف x و y که به آنها برچسب های هم مرجع می گویند، نشان می دهند که چگونه گره های مفهومی و گره های رابطه به هم متصل می شوند. در CGIF این حروف به متغیرها نگاشت می یابند، مثلاً در زیر:
( exists ( ( x Sitting ) ( y Mat ) ) ( and ( Cat Elsie ) ( agent x Elsie ) ( location x y ) ) )
همانگونه که این مثال نشان می دهد، ستاره ای که قبل از برچسب های هم مرجع *x و *y در CGIF آمده است، به متغیرهای دارای«سور وجودی» در CLIF نگاشت می یابند، و علامت های سؤال که قبل از ?xو ?y هستند، به «متغیرهای پابند» در CLIF نگاشت می یابند. یک سور عمومی، که در CGIF توسط @every*zنمایش یافته است، در CLIF توسط forall ( z ) نمایش می یابد.
در اینجا استدلال توسط این دو گام انجام می شود: اول گراف ها به فرمول های منطقی ترجمه می شود، و سپس یک موتور استنتاج منطقی روی آن استنتاج می کند.
شاخه پژوهشی دیگر، کارهای «گراف هستی» که توسط چارلز سندرز پیرس ارائه شده بود را ادامه می دهد، این مفهوم یکی از ریشه های گراف های مفهومی ارائه شده توسط سوا است. در این دیدگاه، که مخصوصاً توسط داو ( Dau 2003 ) در سال ۲۰۰۳ توسعه داده شد، به گراف های مفهومی به صورت نمودار های مفهومی نگاه می شود و نه آن گراف هایی که در نظریه گراف می شناسیم، در نهایت عملیات استدلال، توسط عمل استدلال روی این نمودارها انجام می شود.
این نوشته برگرفته از سایت ویکی پدیا می باشد، اگر نادرست یا توهین آمیز است، لطفا گزارش دهید: گزارش تخلفاز سال ۱۹۸۴ این مدل در سه جهت اصلی توسعه یافت: یک واسط گرافیکی برای منطق مرتبه اول، حساب نموداری منطق، و یک یک مدل نمایش و استدلال دانش مبتنی بر گراف.
در این دیدگاه یک فرمول در منطق مرتبه اول ( حساب گزاره ای ) توسط یک گراف برچسب دار نمایش می یابد.
گراف مفهومی، برای استفاده در منطق مشترک، در استاندارد ISO به صورت یک نماد خطی استانداردسازی شده است، که به آن «قالب تبادل گراف مفهومی» ( CGIF ) می گویند.
نمودار بالا یک مثال از قالب نمایش برای یک گراف مفهومی است. در اینجا به هر جعبه، یک «گره مفهومی» می گویند، و به هر بیضی، یک «گره رابطه» می گویند. در CGID این CG توسط بیانیه زیر نمایش می یابد:
( agent ?x Elsie ) ( location ?x ?y )
در CGIF، براکت شامل اطلاعات موجود در گره مفهوم است، و پرانتز شامل اطلاعات موجود در گره رابطه است. حروف x و y که به آنها برچسب های هم مرجع می گویند، نشان می دهند که چگونه گره های مفهومی و گره های رابطه به هم متصل می شوند. در CGIF این حروف به متغیرها نگاشت می یابند، مثلاً در زیر:
( exists ( ( x Sitting ) ( y Mat ) ) ( and ( Cat Elsie ) ( agent x Elsie ) ( location x y ) ) )
همانگونه که این مثال نشان می دهد، ستاره ای که قبل از برچسب های هم مرجع *x و *y در CGIF آمده است، به متغیرهای دارای«سور وجودی» در CLIF نگاشت می یابند، و علامت های سؤال که قبل از ?xو ?y هستند، به «متغیرهای پابند» در CLIF نگاشت می یابند. یک سور عمومی، که در CGIF توسط @every*zنمایش یافته است، در CLIF توسط forall ( z ) نمایش می یابد.
در اینجا استدلال توسط این دو گام انجام می شود: اول گراف ها به فرمول های منطقی ترجمه می شود، و سپس یک موتور استنتاج منطقی روی آن استنتاج می کند.
شاخه پژوهشی دیگر، کارهای «گراف هستی» که توسط چارلز سندرز پیرس ارائه شده بود را ادامه می دهد، این مفهوم یکی از ریشه های گراف های مفهومی ارائه شده توسط سوا است. در این دیدگاه، که مخصوصاً توسط داو ( Dau 2003 ) در سال ۲۰۰۳ توسعه داده شد، به گراف های مفهومی به صورت نمودار های مفهومی نگاه می شود و نه آن گراف هایی که در نظریه گراف می شناسیم، در نهایت عملیات استدلال، توسط عمل استدلال روی این نمودارها انجام می شود.
wiki: گراف مفهومی