Toulmin
الحقيقة لا تُكتشَف
لا توجد حقيقة تُكتشَف في العالم المفتوح — لأن كل رصد محكوم بسرعة الضوء فلا يبلغ الحدث أبدًا. لكن في العوالم المغلقة بالإعلان، كالرواية والرياضيات والقانون، توجد حقيقة. فالمحاكمة عملية إسقاط للواقع على العالم القانوني، والحُكم حسابٌ يجري فوقه. وما ينقص نماذج اللغة الكبيرة اليوم ليس نموذجًا أكبر، بل إجراء إغلاق صريح كسيادة القانون.
TANGEUL — قواعد مكتوبة بالماركداون، يراجعها البشر
يتيح لك TANGL كتابة رسوم قواعد toulmin كجُمل ماركداون بدلاً من كود Go، بحيث يستطيع غير المبرمج مراجعتها. وTANGEUL هو مصدر الحقيقة الثنائي الذي تُرمّز إليه تلك الأسطح الماركداونية الآن.
reins — لا يبقى من Quest CLI سوى النطاق، والـ ratchet يصير إطارًا
علّم how-make-quest كيف تبني Quest CLI بيديك العاريتين. لكنك حين تبني الـ CLI الثاني تعيد كتابة الـ ratchet نفسه، وscan/next/submit نفسها، والتجميع نفسه. يستخرج reins ذلك الثابت بوصفه إطارًا — يُورِّد reins الـ ratchet وهيكل الأوامر والتجميع وexport، وأنت لا تُنفّذ سوى بوابة النطاق (gate.Definition بأربع دوال). البوابة كتالوج قواعد صدّ الـ cheese، وdefeat graph في toulmin يعيد للوكيل دليل خطّة «لماذا خسرتَ، وبتغيير ماذا تربح».
الثلاثية ليست حقيقة، بل ادعاء
ثلاثيات ويكي بيانات ليست حقائق، بل ادعاءات. عند وضع نموذج Toulmin للحجاج فوق الثلاثيات، نحصل على رسم بياني معرفي ديناميكي يتغير حكمه وفقاً للسياق. التخزين هو بنية حجاجية، والحكم يحدث في وقت التشغيل.
toulmin — محرك قواعد يحسب العقود
على مدار 60 عامًا، تعاملت محركات القواعد مع موضوع التحقق باعتباره حقيقة (fact). أما toulmin فيتعامل معه باعتباره ادعاء (claim). تم تحويل نموذج تولمن للحجاج إلى محرك قواعد بلغة Go.