المنطق المشترك

المنطق المشترك ( CL ) هو إطار عمل لمجموعة من لغات المنطق ، يعتمد على منطق الرتبة الأولى ، ويهدف إلى تسهيل تبادل ونقل المعرفة في الأنظمة الحاسوبية . ^{[ 1 ]}

يُتيح تعريف لغة CL ويشجع على تطوير أشكال نحوية متنوعة، تُسمى اللهجات . يمكن للهجة استخدام أي نحو مرغوب، ولكن يجب أن يكون من الممكن إثبات كيفية توافق النحو الملموس للهجة مع دلالات لغة CL المجردة، والتي تستند إلى تفسير نظري نموذجي . يمكن بعد ذلك التعامل مع كل لهجة كلغة رسمية . بمجرد إثبات التوافق النحوي، تحصل اللهجة على دلالات لغة CL تلقائيًا، لأنها محددة بالنسبة للنحو المجرد فقط، وبالتالي ترثها أي لهجة متوافقة. إضافةً إلى ذلك، جميع لهجات لغة CL قابلة للمقارنة (أي يمكن ترجمتها تلقائيًا إلى لغة مشتركة)، على الرغم من أن بعضها قد يكون أكثر تعبيرًا من غيرها.

بشكل عام، يمكن ترجمة مجموعة فرعية أقل تعبيرًا من لغة CL إلى نسخة أكثر تعبيرًا من لغة CL، ولكن الترجمة العكسية لا تُعرَّف إلا على مجموعة فرعية من اللغة الأكبر.

نشرت المنظمة الدولية للمقاييس (ISO) معيار Common Logic تحت عنوان "ISO/IEC 24707:2007 - تكنولوجيا المعلومات - Common Logic (CL): إطار عمل لمجموعة من اللغات المنطقية". ^{[ 2 ]} وهو متاح للشراء من كتالوج ISO، ومتاح مجانًا من فهرس ISO للمعايير المتاحة للعموم. ^{[ 3 ] [ 4 ]}

يتضمن معيار CL مواصفات لثلاث لهجات، هي: صيغة تبادل المنطق المشترك ( CLIF ) (الملحق أ)، وصيغة تبادل الرسم البياني المفاهيمي ( CGIF ) (الملحق ب)، وصيغة XML للمنطق المشترك ( XCL ) (الملحق ج). ويُحدد المعيار دلالات هذه اللهجات من خلال ترجمتها إلى الصيغة والدلالات المجردة للمنطق المشترك. ويمكن تعريف العديد من اللغات المنطقية الأخرى كمجموعات فرعية من CL باستخدام ترجمات مماثلة؛ ومن بينها لغتا RDF و OWL اللتان حددتهما منظمة W3C .

بدأ تطوير معيار ISO في يونيو 2003 في إطار المجموعة العاملة 2 (البيانات الوصفية) التابعة للجنة الفرعية 32 (تبادل البيانات) التابعة للجنة الفنية المشتركة 1 ISO/IEC ، واكتمل في أكتوبر 2007. ويجري حاليًا إعداد تصحيح فني لتصحيح بعض الأخطاء في المعيار الأصلي.

• COLORE هو مستودع لعلم الوجود المنطقي المشترك
• هيتس تدعم المنطق المشترك
• cltools هي مكتبة PROLOG تدعم جزئيًا Common Logic

• رسم بياني مفاهيمي
• تنسيق تبادل المعرفة (KIF)
• لغات تمثيل المعرفة