Fact Engineering
Dari Claim ke Graph of Accepted Facts
Sebelum mesin dapat menilai dunia nyata secara deterministik, ia harus menutup dunia itu secara eksplisit: mengevaluasi Claim yang masih terbuka, memproyeksikan Accepted Facts ke dalam graf yang dapat ditelusuri, membekukan batasnya, dan menjaga jalan untuk banding.
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.
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.