Multi-paradigm Logic Programming in the rgoAI System
تقدم هذه الورقة نظام ErgoAI، وهو نظام برمجة منطقية متعدد النماذج وعالي المستوى طورته شركة Coherent Knowledge Systems كخلف لـ Flora-2، والذي يدمج الدلالات جيدة التأسيس مع ميزات مثل F-logic وHiLog والاستدلال القابل للإبطال لتمكين تمثيل معرفي واستدلالي قابل للتوسع يجمع بين البيانات المهيكلة والمصادر الخارجية مثل تضمينات المتجهات (vector embeddings).
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك الرئيس التنفيذي لمدينة ضخمة، متغيرة باستمرار. لديك ملايين المواطنين (البيانات)، وقوانين معقدة (القواعد)، وتدفق مستمر من المعلومات الجديدة التي تصل كل ثانية. أنت بحاجة إلى نظام لا يمكنه فقط تذكر كل شيء، بل يمكنه أيضاً التفكير فيه، والتعامل مع التناقضات، والتكيف فوراً عندما تتغير القوانين.
هذا هو بالضبط ما يمثله ErgoAI. إنه بمثابة "عقل" فائق الذكاء للحواسيب، مُصمم لإدارة المعرفة المعقدة في عالم لا يتوقف عن التغيير.
إليك شرح لكيفية عمله، باستخدام تشبيهات بسيطة.
1. الأساس: "أمين المكتبة الذكي" (دلالات التأسيس الجيد - Well-Founded Semantics)
معظم الأنظمة المنطقية تشبه كتب القواعد الجامدة. إذا قال كتاب قاعدة "كل الطيور تطير"، وسألت عن طائر بطريق، فقد يتعطل النظام الجامد أو يعطي إجابة مربكة لأن البطريق يكسر القاعدة.
يستخدم ErgoAI ما يسمى بـ دلالات التأسيس الجيد (Well-Founded Semantics). فكر في هذا كـ أمين مكتبة ذكي يعرف الفرق بين "خطأ" و"لا أعرف بعد".
- إذا عرف أمين المكتبة أن حقيقة ما خاطئة، فسيقول "لا".
- إذا عرف أن حقيقة ما صحيحة، فسيقول "نعم".
- إذا كانت المعلومات ناقصة لديه (مثل ما إذا كان هذا الطائر تحديداً بطريقاً أم لا)، فإنه لا يتعطل، بل يقول: "لا أعرف بعد" (ويُمثل ذلك بالقيمة u).
هذا يسمح لـ ErgoAI بالتعامل مع مواقف العالم الحقيقي الفوضوية حيث تكون المعلومات غير مكتملة دون أن ينهار النظام.
2. الهيكل: "شجرة العائلة" (F-Logic & Frames)
ينظم ErgoAI المعلومات مثل شجرة عائلة أو مخطط تنظيمي للشركة.
- الفئات (الوصف الوظيفي): تخيل وصفاً وظيفياً لـ "مدير". يقول إن المدير عادةً ما يكون لديه ميزانية وفريق.
- النماذج/الحالات (الأشخاص): ثم لديك شخص محدد، "بوب"، وهو مدير.
- الوراثة: يحصل بوب تلقائياً على سمات "الميزانية" و"الفريق" من الوصف الوظيفي للمدير.
- التجاوز: ولكن انتظر! بوب مدير خاص ليس لديه ميزانية. ErgoAI ذكي بما يكفي ليقول: "حسناً، بوب هو مدير، ولكن بالنسبة لهذه السمة المحددة، فإن قاعدة بوب الخاصة تتجاوز القاعدة العامة".
هذا ما يسمى بـ F-Logic. فهو يتيح للنظام فهم أن "السيارة هي مركبة" وأن "تويوتا هي سيارة"، وبالتالي فإن تويوتا هي مركبة تلقائياً، لكنه يستطيع أيضاً التعامل مع الاستثناءات (مثل "سيارة معطلة" لم تعد تعتبر مركبة صالحة للاستخدام).
3. المرونة: "السكين السويسري" (HiLog)
معظم لغات البرمجة تشبه مجموعة من الأدوات الثابتة: مطرقة، مفك براغي، مفتاح ربط. لا يمكنك تحويل المطرقة إلى مفك براغي.
يستخدم ErgoAI تقنية HiLog، وهي تشبه السكين السويسري أو الصلصال المتشكل.
في ErgoAI، يمكن أن تكون "الأدوات" نفسها متغيرات. يمكنك كتابة قاعدة تقول: "أياً كانت الأداة التي تملكها، استخدمها لإصلاح هذا". لست بحاجة لمعرفة ما إذا كنت تستخدم مطرقة أو مفك براغي مسبقاً؛ فالنظام يكتشف ذلك أثناء العمل. هذا يجعله مرناً للغاية في تحليل البيانات المعقدة وغير المهيكلة.
4. التعامل مع الحجج: "قاعة المحكمة" (الاستدلال القابل للنقض - Defeasible Reasoning)
الحياة الواقعية مليئة بالجدل. "المشتبه به كان في موقع الحادث" مقابل "المشتبه به لديه عذر غياب".
يحتوي ErgoAI على نظام قاعة محكمة مدمج.
- يسمح بـ الاستدلال القابل للنقض (Defeasible Reasoning): وهذا يعني أن القواعد يمكن الاعتراض عليها.
- القواعد: يمكنك إخبار النظام أن "القاعدة (أ) صحيحة عادةً، إلا إذا كانت القاعدة (ب) أقوى".
- الحكم: إذا تعارضت قاعدتان، ينظر النظام إلى من لديه "السلطة الأعلى" (الأولوية). إذا قالت قاعدة ذات أولوية أعلى أن "المشتبه به بريء"، فإنها تتجاوز القاعدة ذات الأولوية الأقل التي تقول "المشتبه به مذنب"، ويقوم النظام بتحديث اعتقاده فوراً.
5. البيئة الديناميكية: "موقع بناء حي" (منطق المعاملات - Transaction Logic)
تخيل موقع بناء حيث يعمل العمال باستمرار على إضافة أو إزالة الجدران بينما تحاول أنت المشي داخل المبنى.
- المشكلة: إذا خطوت خطوة، فقد تختفي الأرضية من تحتك.
- حل ErgoAI: يستخدم منطق المعاملات (Transaction Logic). فكر في هذا كـ شبكة أمان للسفر عبر الزمن.
- عندما تقوم بإجراء تغيير (مثل إضافة حقيقة جديدة)، يتحقق ErgoAI: "إذا قمت بهذا التغيير، هل سينهار المبنى بأكمله؟"
- إذا كانت الإجابة "نعم"، فإنه يتراجع (Roll back) عن التغيير فوراً، وكأنه لم يحدث أبداً.
- إذا كانت الإجابة "لا"، فإنه يعتمد التغيير.
- والأهم من ذلك، إذا تغير المبنى بالفعل، فإن ErgoAI يعيد حساب كل شيء آخر يعتمد على ذلك الجدار فوراً، لتبقى خريطتك محدثة دائماً.
6. شبكات الأمان: "الأسلاك الشائكة" (العقلانية المحدودة - Bounded Rationality)
أحياناً يكون السؤال معقداً جداً لدرجة أن الكمبيوتر قد يستمر في التفكير فيه للأبد (مثل محاولة عد كل حبة رمل على الشاطئ).
يستخدم ErgoAI الأسلاك الشكية (Tripwires).
- تخيل وجود سلك شائك في ممر. إذا مشيت لمسافة طويلة جداً دون العثور على إجابة، سيعمل السلك.
- بدلاً من ترك الكمبيوتر يتجمد، يقول السلك الشائك: "حسناً، لقد بحثنا بما فيه الكفاية. نحن لا نعرف الإجابة، لكننا نعرف أن الإجابة هي 'غير معروف'".
- هذا يمنع الكمبيوتر من الانهيار ويعطيك إجابة مفيدة و"جيدة بما يكفي" لتتمكن من مواصلة العمل.
7. المحرك: "القطار فائق السرعة" (XSB & Tabling)
تحت الغطاء، يعمل ErgoAI على محرك قوي يسمى XSB.
- الجدولة (Tabling): تخيل أنك تحل متاهة. الكمبيوتر العادي قد يسلك نفس الطريق المسدود 1,000 مرة. يستخدم ErgoAI الجدولة (Tabling)، وهي تشبه الخريطة السحرية. بمجرد أن يسلك مساراً ويكتشف أنه طريق مسدود، يضع علامة عليه في الخريطة. إذا واجه ذلك المسار مرة أخرى، ينظر إلى الخريطة ويقول: "لقد كنت هنا، إنه طريق مسدود"، ويتخطاه فوراً.
- هذا يجعل ErgoAI سريعاً للغاية في حل الألغاز المعقدة، حتى مع وجود ملايين نقاط البيانات.
لماذا يهم هذا؟
ErogAI ليس مجرد لعبة؛ إنه يُستخدم في أعمال جادة:
- الاستدلال القانوني: تحليل القوانين والعقود المعقدة.
- الامتثال المالي: التحقق مما إذا كانت المعاملة البنكية تكسر قاعدة ما.
- الذكاء الاصطناعي ومعالجة اللغات الطبيعية: تحويل الجمل الإنجليزية إلى قواعد منطقية (مثل: "إذا انتشر الفيروس، أغلق المدارس").
باختة القول: ErgoAI هو نظام منطقي يعمل كبشر عبقري ومتكيف. إنه يفهم شجر العائلة، ويدير الحجج، ويتحقق من السلامة قبل إجراء التغييرات، ولا يعلق أبداً في حلقة مفرغة. إنه يجلب قوة المنطق المتقدم إلى واقع العالم الحقيقي الفوضوي والمتغير.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.