H-Categoriser
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.