هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها
يرجى مراجعة هذه المقالة وإزالة وسم المقالات غير المراجعة، ووسمها بوسوم الصيانة المناسبة.

الرسم البياني المفاهيمي

من أرابيكا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث

الرسم البياني المفاهيمي هي شكلية لتمثيل المعرفة. أول ورقة نشرت عن الرسم البياني المفاهيمي استخدمها جون فلوريان سوا[1] لتمثيل المخططات المفاهيمية المستخدمة في أنظمة قاعدة بيانات. أول كتاب عن الرسم البياني المفاهيمي[1] طبقها على مجموعة واسعة من مواضيع متنوعة في ذكاء اصطناعي، علم الحاسوب وعلوم استعرافية.

فروع البحث

منذ 1984، تم تطوير النموذج وفقا لثلاث اتجاهات رئيسية: واجهة رسومية للمنطق الدرجة الأولى، وحساب بياني للمنطق، وتمثيل المعرفة القائم على الرسم البياني ونموذج التفكير.

واجهة رسومية لمنطق الدرجة الأولى

اليس القطة جالسة على السجادة

في هذه الواجهة، يتم تمثيل الصيغة في منطق الرتبة الأولى (حساب التفاضل والتكامل الأصلي) بواسطة رسم بياني معرف.

تم توحيد الترميز الخطي، المسمى تنسيق تبادل الرسم البياني المفاهيمي، في معيار ISO(المنظمة الدولية للمعايير) للمنطق المشترك.

الرسم البياني أعلاه هو مثال على نموذج العرض للرسم البياني المفاهيمي. كل مربع يسمى عقدة المفهوم، وكل شكل بيضاوي يسمى عقدة العلاقة. في تنسيق تبادل الرسم البياني المفاهيمي، سيتم تمثيل الرسم البياني المفاهيمي بالبيان التالي:

[Cat Elsie] [Sitting *x] [Mat *y] (agent ?x Elsie) (location ?x ?y)

في تنسيق تبادل الرسم البياني المفاهيمي، الاقواس تتضمن معلومات داخل عقدة المفهوم، وتقوم الاقواس بإحاطة المعلومات داخل عقد العلاقة. الاحرف X و Y أيضا تسمى بالمرجع، تظهر لنا كيف ان عقد المفهوم والعلاقة مرتبطة ببعضها. في تنسيق التبادل المنطقي العام، يتم تعيين الاحرف للمتغيرات، كما هو ظاهر في البيان التالي:

(exists ((x Sitting) (y Mat)) (and (Cat Elsie) (agent x Elsie) (location x y)))

كما يظهر في المثال، فان العلامات النجمية على المرجع *x و *y في تنسيق تبادل الرسم البياني المفاهيمي ترسم المتغيرات الكمية وجوديا في تنسيق تبادل المنطقي العام، وعلامات الاستفهام الموجودة على ?x و ?y لتعيين المتغيرات المرتبطة في تنسيق تبادل المنطقي العام. لتعيين المتغيرات المرتبطة في @every*z في تنسيق تبادل المنطقي العام سيتم تمثيله للجميع (z) في تنسيق التبادل المنطقي العام. يمكن أن يتم التفكير من خلال ترجمة الرسوم البيانية إلى صيغ منطقية، ثم تطبيق محرك استدلال منطقي.

حساب التفاضل والتكامل التخطيطي للمنطق

يواصل فرع بحوثات آخر العمل على الرسوم البيانية الوجودية لتشارلز ساندرز بيرس، والتي كانت أحد أصول الرسوم البيانية المفاهيمية على النحو الذي اقترحه سوا. في هذا النهج، الذي طوره داو[2] بشكل خاص، تعد الرسوم البيانية المفاهيمية رسم توضيحي مفاهيمية وليست رسومًا بيانية بمعنى نظرية البيان، ويتم تنفيذ عمليات التفكير من خلال العمليات على هذه المخططات.

تمثيل المعرفة القائم على الرسم البياني ونموذج التفكير

يمكن تلخيص الخصائص الرئيسية في تمثيل المعرفة القائم على الرسم البياني ونموذج التفكير الذي طوره شيين وميوجنير[3] كما يلي:

  • جميع أنواع المعرفة (علم الوجود والقواعد والقيود والحقائق) هي رسوم بيانية معرفة، والتي توفر وسيلة بديهية وسهلة الفهم لتمثيل المعرفة.
  • تعتمد آليات الاستدلال على مفاهيم الرسم البياني، وهي أساسًا الفكرة الكلاسيكية لتماثل الرسم البياني؛ يسمح هذا بربط مشاكل التفكير الأساسية بالمشكلات الأساسية الأخرى في علوم الكمبيوتر على سبيل المثال، المشكلات المتعلقة بالاستعلامات المرتبطة في قاعدة بيانات علائقية، أو مشاكل رضا القيد.
  • تم تأسيس الشكلية منطقيًا، أي أن لها دلالات في منطق الدرجة الأولى وآليات الاستدلال سليمة وكاملة فيما يتعلق بالاستنتاج في منطق الدرجة الأولى.
  • من وجهة نظر حسابية، تم التعرف على فكرة تشابه الرسم البياني في التسعينيات (1990) كمفهوم مركزي، وتم الحصول على نتائج التعقيد والخوارزميات الفعالة في العديد من المجالات.

COGITANT و COGUI هما أداتان تطبقان نموذج تمثيل المعرفة القائم على الرسم البياني ونموذج التفكير. COGITANT هي مكتبة من فئات سي++ التي تنفذ معظم مفاهيم تمثيل المعرفة القائم على الرسم البياني ونموذج التفكير وآليات التفكير. COGUI هي واجهة مستخدم رسومية مخصصة لبناء قاعدة معرفية تمثيل المعرفة القائم على الرسم البياني ونموذج التفكير تدمج COGITANT، ومن بين العديد من الوظائف، تحتوي على مترجم من تمثيل المعرفة القائم على الرسم البياني ونموذج التفكير إلى RDF / S وبالعكس.

اقرا أيضًا

المراجع

  • Chein، Michel؛ Mugnier، Marie-Laure (2009). Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs. Springer. DOI:10.1007/978-1-84800-286-9. ISBN:978-1-84800-285-2. مؤرشف من الأصل في 2022-11-29.
  • Dau، F. (2003). "The Logic System of Concept Graphs with Negation and Its Relationship to Predicate Logic". Lecture Notes in Computer Science. Springer. ج. 2892.
  • Sowa، John F. (يوليو 1976). "Conceptual Graphs for a Data Base Interface" (PDF). IBM Journal of Research and Development. ج. 20 ع. 4: 336–357. DOI:10.1147/rd.204.0336. مؤرشف من الأصل (PDF) في 2023-02-10.
  • Sowa، John F. (1984). Conceptual Structures: Information Processing in Mind and Machine. Reading, MA: Addison-Wesley. ISBN:978-0-201-14472-7. مؤرشف من الأصل في 2020-09-15.
  • Velardi، Paola؛ Pazienza، Maria Teresa؛ De' Giovanetti، Mario (مارس 1988). "Conceptual graphs for the analysis and generation of sentences". IBM Journal of Research and Development. IBM Corp. Riverton, NJ, USA. ج. 32 ع. 2: 251–267. DOI:10.1147/rd.322.0251.

الروابط الخارجية