Toulmin
Kebenaran Tidak Ditemukan
Di dunia terbuka tidak ada kebenaran untuk ditemukan — karena setiap observasi tersandung kecepatan cahaya dan tak pernah menyentuh peristiwanya. Namun di dunia yang ditutup oleh deklarasi seperti fiksi, matematika, dan hukum, kebenaran itu ada. Persidangan adalah proses memproyeksikan realitas ke dalam dunia hukum, dan putusan adalah komputasi di atasnya. Yang hilang dari LLM saat ini bukanlah model yang lebih besar, melainkan prosedur penutupan yang eksplisit seperti supremasi hukum.
TANGEUL — Aturan yang Ditulis dalam Markdown, Diaudit oleh Manusia
TANGL memungkinkan Anda menulis graf aturan toulmin sebagai kalimat markdown alih-alih kode Go, sehingga seorang non-programmer dapat mengauditnya. TANGEUL adalah sumber kebenaran biner yang kini dikodekan oleh permukaan-permukaan markdown tersebut.
reins — Sisakan Hanya Domain dari Quest CLI, Jadikan Ratchet sebagai Framework
how-make-quest mengajari cara membangun quest CLI dengan tangan kosong. Tetapi begitu Anda membangun CLI kedua, Anda menulis ulang ratchet yang sama, scan/next/submit yang sama, agregasi yang sama. reins mengekstrak invarian itu menjadi framework — ratchet·kerangka perintah·agregasi·export dipasok oleh reins, dan Anda hanya mengimplementasikan gate domain (4 metode gate.Definition). Gate adalah katalog aturan pertahanan cheese, dan defeat graph toulmin mengembalikan kepada agen panduan 'mengapa kalah dan apa yang harus diubah untuk menang'.
Triple bukan fakta, melainkan klaim
Triple di Wikidata bukan fakta, melainkan klaim. Dengan menempatkan model argumentasi Toulmin di atas triple, kita mendapatkan knowledge graph dinamis yang verdictnya berubah sesuai konteks. Penyimpanan adalah struktur argumentasi; penilaian terjadi saat runtime.
toulmin — Mesin Aturan yang Menghitung Kontrak
Selama 60 tahun, mesin aturan memperlakukan objek validasi sebagai fakta (fact). toulmin memperlakukannya sebagai klaim (claim). Model argumentasi Toulmin diimplementasikan sebagai mesin aturan Go.