Fact Engineering
من Claims إلى Graph of Accepted Facts
قبل أن تستطيع آلة أن تحكم على العالم الواقعي بشكل حتمي، عليها أن تُغلق ذلك العالم صراحةً: أن تُقيّم الـ Claims المفتوحة، وتُسقط الـ Accepted Facts في graph قابل للتتبع، وتُجمّد الحدود، وتحافظ على مسار للاستئناف.
الحقيقة لا تُكتشَف
لا توجد حقيقة تُكتشَف في العالم المفتوح — لأن كل رصد محكوم بسرعة الضوء فلا يبلغ الحدث أبدًا. لكن في العوالم المغلقة بالإعلان، كالرواية والرياضيات والقانون، توجد حقيقة. فالمحاكمة عملية إسقاط للواقع على العالم القانوني، والحُكم حسابٌ يجري فوقه. وما ينقص نماذج اللغة الكبيرة اليوم ليس نموذجًا أكبر، بل إجراء إغلاق صريح كسيادة القانون.
الثلاثية ليست حقيقة، بل ادعاء
ثلاثيات ويكي بيانات ليست حقائق، بل ادعاءات. عند وضع نموذج Toulmin للحجاج فوق الثلاثيات، نحصل على رسم بياني معرفي ديناميكي يتغير حكمه وفقاً للسياق. التخزين هو بنية حجاجية، والحكم يحدث في وقت التشغيل.
toulmin — محرك قواعد يحسب العقود
على مدار 60 عامًا، تعاملت محركات القواعد مع موضوع التحقق باعتباره حقيقة (fact). أما toulmin فيتعامل معه باعتباره ادعاء (claim). تم تحويل نموذج تولمن للحجاج إلى محرك قواعد بلغة Go.