Quipu: A Governed Bitemporal Knowledge Graph Store
تقدم هذه الورقة "كيبو" (Quipu)، وهو مستودع لرسوم المعرفة البيانية ثنائية الزمن القابلة للتضمين، والذي يفرض حوكمة صارمة من خلال عمليات الكتابة المقيدة، وتكوين الثقة القائم على الشبكة (lattice-based)، وآثار التدقيق الذاتي، مما يظهر تفوقاً في كشف العيوب وموثوقية أدلة اتخاذ القرار مقارنة بالأنظمة التقليدية غير المقيدة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في العالم الرقمي الحديث، ظهر نوع جديد من الكتاب: الوكلاء البرمجيون. هؤلاء هم برامج تقرأ المستندات، وتحلل الأكواد، وتبني تلقائياً خرائط ضخمة من الحقائق تُعرف باسم "رسوم المعرفة البيانية" (knowledge graphs). لعقود من الزمن، كان البشر هم من يديرون هذه الخرائط، حيث يمكنهم رصد الأخطاء، والتحقق من المصادر، وتقرير ما يجب الاحتفاظ به. ولكن عندما يكتب الوكلاء البرمجيون هذه الخرائط، فإنهم يفعلون ذلك بسرعة وحجم لا يمكن للمراجعين البشريين ملاحقتهما. إنهم ينتجون حقائق تبدو مثالية ولكنها قد تكون خاطئة، ويفعلون ذلك بسرعة تفوق قدرة أي فريق تنظيف على الإصلاح. الأنظمة التقليدية المصممة لتخزين هذه المعلومات بُنيت لتناسب صبر البشر؛ فهي تقبل كل شيء أولاً وتأمل في تنظيفه لاحقاً. هذا النهج، الذي نجح عندما كان الإنسان هو من يجلس خلف المقود، يخلق اختناقاً خطيراً عندما تكون الآلة هي من تكتب القصة.
اقترح الباحثون الآن طريقة مختلفة للتعامل مع هذا الفيض من الكتابة المؤتمتة. إنهم يجادلون بأنه بدلاً من قبول كل شيء والأمل في الأفضل، يجب أن يكون نظام التخزين صارماً منذ البداية. يجب أن يعمل كحارس بوابة يرفض إدخال أي شيء لا يستوفي قواعد محددة، ويجب أن يحتفظ بسجل دائم وغير قابل للتغيير لكل قرار يتخذه، بما في ذلك عمليات الرفض. هذا النهج الجديد يعامل القواعد نفسها كجزء من البيانات، مما يسمح للنظام بالنظر إلى الماضي ورؤية ما كان مطلوباً في لحظة زمنية محددة بدقة. ومن خلال نقل عبء الصرامة إلى الوكلاء البرمجيين، الذين يمكنهم المحاولة مرة أخرى وتصحيح أخطائهم فوراً، يضمن النظام أن تظل الخريطة النهائية للحقائق موثوقة، حتى عندما تُكتب بواسطة الآلات.
قام ستيف براون وفريقه ببناء نظام يسمى "كويبو" (Quipu) لاختبار هذه الفكرة. لقد أنشأوا محرك تخزين متخصص يعكس العادات القياسية لإدارة قواعد البيانات. فبدلاً من السماح للبيانات بالدخول ثم تنظيفها لاحقاً، يرفض "كويبو" قبول أي حقيقة ما لم تجتز مجموعة صارمة من الفحوصات مقابل حالة العالم التي ستنشئها تلك الحقيقة. إذا انتهكت معلومة ما قاعدةً، يرفضها النظام فوراً. والأهم من ذلك، أن النظام لا يكتفي بقول "لا" فحسب؛ بل يدون سجلاً موقعاً ومختوماً بالوقت لعملية الرفض تلك، مما يثبت بالضبط سبب رفض الحقيقة. هذا السجل يظل قائماً حتى لو تم التراجع عن محاولة كتابة تلك الحقيقة، مما يضمن أن تاريخ ما تمت محاولته ولماذا فشل لن يضيع أبداً.
كما أعاد الباحثون تصميم كيفية تعامل النظام مع الوقت والثقة. في العديد من قواعد البيانات، يكون الوقت خطاً بسيطاً، وتكون الثقة تسمية مسطحة تُطبق على كل شيء بالتساوي. أما "كويبو" فيعامل الوقت كمسارين منفصلين: مسار لما تعلمه النظام، ومسول آخر للوقت الذي تكون فيه تلك الحقيقة صحيحة فعلياً في العالم الحقيقي. كما يطبق هذا الجدول الزمني المزدوج على القواعد وتسميات الثقة نفسها. وهذا يعني أن النظام يمكنه الإجابة على أسئلة مثل: "ما الذي كان يُعتبر موثوقاً في هذه اللحظة المحددة في الماضي؟" أو "ما هي القاعدة التي كانت سارية المفعول عند اتخاذ هذا القرار؟". كما ينظم الثقة في مجموعات منفصلة وغير متداخلة. وعند دمج هذه المجموعات، يضمن النظام أن مستوى الثقة الناتج لن يصبح أبداً أقوى من الجزء الأضعف في المجموعة، مما يمنع مصدراً ضعيفاً أو غير موثق من رفع مصداقية المجموعة بأكملها.
لإثبات أن هذا النهج الصارم فعال، أجرى الفريق تجربة مضبوطة تسمى "سينسوس" (Census). لقد أنشأوا سيناريو تحاول فيه عدة كتابات برمجية إضافة حقائق إلى النظام، مع زرع ستة أنواع محددة من الأخطاء عمداً، مثل نقص المعلومات، أو الوصول غير المصرح به، أو التفاصيل المختلقة. قاموا بتشغيل نفس النص البرمجي مرتين: مرة مع تفعيل حارس البوابة الصارم، ومرة أخرى مع إيقافه. كانت النتائج واضحة؛ فالنظام بدون حارس البوابة قبل جميع الأخطاء الستة المزروعة. أما النظام الصارم، فقد رفض كل واحدة منها. لقد كشف الكتابات غير المصرح بها، والنقص في التفاصيل، والحقائق التي كانت صالحة فقط عند النظر إليها بمعزل عن غيرها ولكنها فشلت عند دمجها مع حقائق أخرى. فعل النظام ذلك دون إبطاء عملية معالجة الحقائق الصحيحة بالفعل، مما أثبت أن الصرامة لا تعني عدم الكفاءة.
أظهرت الدراسة أيضاً أن النظام يمكنه إعادة تشغيل التاريخ بشكل مثالي. ولأن القواعد والبيانات تُخزن كلاهما بجدول زمني مزدوج، استطاع الباحثون العودة إلى أي نقطة في التجربة والسؤال: "ماذا كان النظام سيقرر لو تم تقديم هذه الحقيقة في ذلك الوقت تحديداً؟". أجاب النظام بشكل صحيح في كل مرة، حتى عندما تغيرت القواعد في غضون ذلك الوقت. هذا شيء لا تستطيع قواعد البيانات القياسية القيام به؛ فهي عادةً لا تتذكر سوى القواعد الحالية، مما يجعل من المستحيل معرفة ما كان مطلوباً في الماضي. في هذا النظام الجديد، ليس سجل التدقيق مجرد سجل منفصل يتعين على شخص ما البحث فيه؛ بل هو استعلام يمكن للنظام تشغيله على بياناته الخاصة للتحقق من تاريخه.
وعندما اختبر الباحثون النظام مقابل أثر واقعي من مشروع مختلف، وجدوا أن القواعد الصارمة كشفت عن فجوة في الإنفاذ كانت قد أُغفلت من قبل. حدد النظام أن قاعدة ما كانت تُنفذ محلياً ولكن لم يتم تدوينها في السياسة الرسمية، وأشار إلى هذا التباين. أدى ذلك بالفريق إلى تحديث النظام بحيث يسجل الآن بالضبط من الذي رُفض ولماذا، مما أغلق ثغرة صغيرة ولكنها مهمة في سجل التدقيق. لقد أثبتت التجربة أنه عندما يكون الوكلاء البرمجيون هم الكتاب، فإن تكلفة الصرامة تكون مقبولة لأن الوكلاء يمكنهم التعلم فوراً من الرفض والمحاولة مرة أخرى. لا يحتاج النظام إلى إنسان لتنظيف الفوضى؛ فحارس البوابة يمنع حدوث الفوضى من الأساس، والسجل الدائم لكل قرار يضمن أن يظل تاريخ رسم المعرفة البيانية دقيقاً وموثوقاً.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.