https://www.parkjunwoo.com/id/tags/fact-engineering/Recent content in Fact Engineering on Arsitek PARK JUN WOOHugoidSun, 26 Jul 2026 17:20:00 +0900https://www.parkjunwoo.com/id/tech/from-claims-to-gaf/Sun, 26 Jul 2026 16:45:00 +0900https://www.parkjunwoo.com/id/tech/from-claims-to-gaf/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.https://www.parkjunwoo.com/id/opinion/truth-is-not-discovered/Thu, 23 Jul 2026 10:00:00 +0900https://www.parkjunwoo.com/id/opinion/truth-is-not-discovered/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.https://www.parkjunwoo.com/id/opinion/toulmin-knowledge-graph/Fri, 22 May 2026 10:00:00 +0900https://www.parkjunwoo.com/id/opinion/toulmin-knowledge-graph/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.https://www.parkjunwoo.com/id/tech/toulmin/Sun, 22 Mar 2026 10:00:00 +0900https://www.parkjunwoo.com/id/tech/toulmin/Selama 60 tahun, mesin aturan memperlakukan objek validasi sebagai fakta (fact). toulmin memperlakukannya sebagai klaim (claim). Model argumentasi Toulmin diimplementasikan sebagai mesin aturan Go.