Projection Engineering memproyeksikan Claims yang tidak pasti ke dalam graf yang dapat diaudit

Gambar: dibuat dengan Google Gemini.

Sebuah sistem otomatis menyatakan bahwa sewa bulan Juli belum dibayar.

Menghasilkan kalimat itu murah. Memverifikasinya tidak. Seseorang harus memeriksa perjanjian sewa, mengidentifikasi rekening yang terdaftar, memeriksa periode yang relevan, membedakan transfer yang telah diselesaikan dari yang masih tertunda, menanyakan apakah pembayaran mungkin dialokasikan untuk utang lain, dan menentukan kebijakan mana yang mengizinkan hasil tersebut memicu pemberitahuan atau penggusuran.

Jawabannya hanya satu kalimat. Batas verifikasinya menjangkau seluruh dunia.

Inilah masalah struktural AI generatif. Persoalannya bukan semata-mata bahwa sebuah model dapat salah. Claim yang tampak masuk akal kini dapat dihasilkan hampir seketika, sementara pemeriksaannya mungkin mengharuskan kita merekonstruksi catatan, asumsi, transformasi, kebijakan, dan penghilangan yang melandasinya.

Verifikasi menjadi lebih mahal daripada generasi.

Membuat model lebih fasih tidak memperbaiki pembalikan itu. Menambahkan kutipan juga tidak cukup jika tak seorang pun dapat mengetahui bagian mana dari sumber yang mendukung proposisi tertentu, versi mana yang digunakan, atau apa yang harus dibuka kembali ketika sumber berubah.

Institusi yang matang memecahkan masalah serupa dengan menyisipkan lapisan tanggung jawab di antara observasi dan perhitungan. Fisika membangun metrologi. Hukum membangun penetapan fakta hukum. AI memiliki fragmen dari keduanya, tetapi belum memiliki disiplin yang diakui dan bertanggung jawab mengubah Claims dari dunia terbuka menjadi premis yang dapat digunakan secara aman oleh suatu keputusan.

Saya menyebut tanggung jawab yang hilang itu Projection Engineering.

Lapisan yang Hilang di Antara Catatan dan Keputusan

Metrologi Tidak Memercayai Jarum Penunjuk

Sensor yang menampilkan angka belum menghasilkan pengukuran yang dapat dipercaya. Sebuah pengukuran juga memerlukan satuan, riwayat kalibrasi, rantai ketertelusuran, ketidakpastian, dan rentang validitas yang dinyatakan. NIST menegaskan bahwa ketertelusuran metrologis melekat pada hasil pengukuran, bukan semata-mata pada instrumen yang memiliki stiker kalibrasi (Ketertelusuran Metrologis: Pertanyaan yang Sering Diajukan dan Kebijakan NIST).

Perangkat di sekelilingnya membuat kegagalan dapat didiagnosis. Jika sebuah struktur gagal, penyelidik dapat menelusuri nilai yang dilaporkan melalui transformasi dan kalibrasi hingga ke observasi asal. Aritmetika saja tidak menyediakan jalur itu. Metrologi membuat sebuah angka mampu memikul bobot institusional.

Jawaban LLM biasanya datang tanpa rantai yang setara. Jawaban itu jarang mengidentifikasi observasi tempat setiap Claim bermula, apa yang hilang dalam transformasi, di mana Claim tetap valid, atau keputusan turunan mana yang harus dibuka kembali setelah koreksi. Ia adalah jarum yang bergerak tanpa skala atau sertifikat kalibrasi.

Hukum Tidak Memercayai Dalil

Pengadilan tidak berhadapan langsung dengan masa lalu. Ia berhadapan dengan dalil, kesaksian, catatan, barang bukti, dan laporan ahli. Melalui aturan pembuktian, beban pembuktian, standar pembuktian, dan prosedur yang berwenang, penetapan fakta hukum menentukan Claims mana yang saling bersaing yang boleh menjadi premis dalam suatu perkara tertentu. Perbedaan antara realitas substantif dan kebenaran hukum formal merupakan persoalan lama dalam penetapan fakta yudisial (Kebenaran Hukum Formal dan Kebenaran Substantif dalam Penetapan Fakta Yudisial).

Memisahkan penetapan fakta dari penerapan aturan juga memisahkan kesalahan. Sebuah catatan dapat dikumpulkan secara keliru. Sebuah proposisi dapat diterima berdasarkan standar yang salah. Premis yang benar dapat dipertemukan dengan aturan yang diimplementasikan secara keliru. Kesimpulan yang benar dapat dieksekusi terhadap orang yang salah. Setiap kegagalan berada pada lapisan berbeda dan membutuhkan perbaikan berbeda.

Metrologi mengubah observasi menjadi nilai yang dapat ditelusuri. Hukum mengubah catatan yang disengketakan menjadi temuan yang dapat digunakan untuk satu putusan. Keduanya menolak membiarkan masukan mentah mengalir diam-diam ke dalam perhitungan yang berdampak serius. Itulah lapisan yang hilang dalam sistem keputusan AI.

Fact Berarti Accepted Fact

Nama Projection Engineering memerlukan batas yang ketat. Ia tidak menjanjikan pembuatan kebenaran absolut.

Dalam Projection Engineering, Fact berarti Accepted Fact.

Accepted Fact adalah Claim yang diizinkan untuk digunakan sebagai premis dalam keputusan tertentu berdasarkan tujuan, cakupan, waktu acuan, standar pembuktian, dan kebijakan yang eksplisit.

Tiga objek harus tetap dibedakan:

  • Claim: pernyataan atau observasi yang diajukan oleh sumber yang teridentifikasi.
  • Accepted Fact: Claim yang diterima sebagai premis melalui prosedur yang berwenang.
  • Conclusion: hasil yang dihitung dari Accepted Facts dan aturan.

Accepted Fact adalah Claim dengan status institusional yang terdokumentasi, bukan realitas yang ditangkap dalam sebuah kolom. Kebenaran tetap menjadi tujuan: proposisi seharusnya bersesuaian dengan realitas. Yang dapat dipertahankan sistem lebih sempit dan operasional—siapa menyatakan apa, dari catatan mana, pada waktu apa, melalui transformasi apa; siapa menerima atau menolaknya, di bawah kewenangan apa; dan apa yang mengikuti dari himpunan premis terbatas tersebut.

Projection Engineering tidak memiliki kebenaran. Ia merekayasa batas di sekitar sebuah keputusan agar orang lain dapat memeriksa dan menggugatnya.

AI Sudah Tertutup—Atas Token

Transformer yang dibekukan bersifat tertutup dalam pengertian komputasional yang berguna. Tetapkan bobot, masukan, runtime, dan kondisi decoding-nya, lalu forward pass-nya dapat diputar ulang. Arsitektur tersebut menghitung token apa yang seharusnya muncul berikutnya (Attention Is All You Need). Ia tertutup atas probabilitas token, bukan atas realitas.

Perbedaan itu menjelaskan ketangguhan sekaligus keterbatasannya. Korpus pelatihan dapat memuat X dan not-X. Deduksi klasik harus menangani kontradiksi semacam itu karena ledakan tanpa batas dapat membuat apa pun menjadi kesimpulan. Model bahasa tidak meledak: bagian-bagian yang bertentangan mengubah suatu distribusi alih-alih membatalkan pembuktian, karena entailment bukan operasi primitif yang sedang dijalankan.

Untuk alasan yang sama, attention dan softmax tidak mengandung aturan yang menjamin bahwa premis benar mempertahankan kebenaran sepanjang generasi. Sistem modern dapat mengurangi kesalahan yang disampaikan dengan yakin, tetapi halusinasi tetap bertahan sebagian karena pelatihan dan evaluasi dapat menghargai tebakan ketimbang pengakuan atas ketidakpastian (Mengapa Model Bahasa Berhalusinasi).

Kita mengambil perhitungan tentang bahasa dan menggunakannya sebagai penilaian tentang dunia. Penutupan itu ada, tetapi satu lapisan di bawah tempat tanggung jawab dibutuhkan. Projection Engineering menyediakan penutupan yang berbeda: ia menyatakan Claims, kebijakan, kewenangan, dan waktu mana yang mendefinisikan dunia keputusan ini. Aturan yang dapat direproduksi kemudian dapat menghitung di dalamnya.

Metre Menunjukkan Apa yang Dapat Dilakukan Penutupan

Pada 1983, Konferensi Umum untuk Ukuran dan Timbangan ke-17 mendefinisikan metre sebagai jarak yang ditempuh cahaya dalam ruang hampa selama 1/299,792,458 detik, dengan menetapkan kecepatan cahaya tepat sebesar 299,792,458 m/s dalam definisi SI (Resolusi 1 CGPM ke-17 (1983)).

Nilai tersebut tidak menjadi eksak karena manusia akhirnya mengukur alam tanpa ketidakpastian. Sebuah komunitas yang berwenang memindahkannya melintasi batas: dari besaran yang perlu terus disempurnakan menjadi bagian dari definisi sistem. Pengukuran di bawah batas itu menjadi lebih presisi karena batasnya eksplisit.

Ini bukan klaim untuk memiliki realitas. Ini adalah konvensi bertanggal yang diadopsi oleh otoritas yang dapat diidentifikasi melalui prosedur yang ditetapkan dan dapat direvisi melalui prosedur lain. Projection Engineering menutup keputusan dalam pengertian terbatas yang sama. Ia tidak menutup realitas. Ia membekukan Claims mana yang boleh menjadi premis di sini dan saat ini, di bawah kebijakan dan kewenangan yang disebutkan.

Batas Analogi Ini

Metrologi adalah panduan, bukan penyamaran bagi masalah yang belum terselesaikan.

Pertama, pengukuran biasa sering memperoleh manfaat dari pengulangan. Pembayaran, persetujuan, inspeksi, pemecatan, atau kecelakaan mungkin merupakan peristiwa satu kali. Model yang lebih dekat adalah metrologi forensik: satu observasi harus bertahan dalam proses adversarial melalui artefak yang dipertahankan, rantai penguasaan, prosedur terdokumentasi, dan batas instrumen yang diketahui.

Kedua, ketidakpastian numerik sering dapat diteruskan melalui persamaan. Proposisi yang belum terselesaikan belum memiliki aritmetika yang sama umumnya. Mempertahankan supported, defeated, dan unknown sepanjang derivasi panjang tanpa mencucinya menjadi presisi palsu tetap merupakan masalah penelitian terbuka.

Ketiga, menyatakan sebuah sumber lengkap atau kebijakan mengikat adalah pelaksanaan kewenangan. Ketertelusuran dapat mengungkap pilihan itu, tetapi tidak dapat membuatnya bebas bias. Projection Engineering harus memperlihatkan siapa yang meletakkan ibu jari di atas timbangan; ia tidak dapat berjanji menghapus setiap ibu jari.

GAF Bukan Sebuah Daftar

Menyimpan Accepted Fact saja menghancurkan informasi yang membuatnya dapat diterima. Kita kehilangan siapa yang mengajukannya, apa yang menentangnya, kebijakan mana yang menerimanya, dan kewenangan apa yang membuat kebijakan itu berlaku.

Karena itu, keluaran Projection Engineering adalah Graph of Accepted Facts (GAF).

Records / Observations
          │
          ▼
        Claims ◀──── Evidence / Counterevidence
          │
          ▼
  Evaluation + Projection Policy
          │
          ▼
   Accepted Facts ─────┐
          │             │
          ▼             │
 Rules / Derivations    │
          │             │
          ▼             │
      Conclusions       │
                        │
 Provenance ────────────┘

GAF menghubungkan catatan asli, Claims yang diekstraksi, bukti pendukung dan penyangkal, evaluasi, kebijakan dan kewenangan, Accepted Facts, derivasi, kesimpulan, versi, stempel waktu, dan dependensi. Standar yang ada telah memodelkan entitas, aktivitas, agen, dan relasi provenance; PROV-O: Ontologi PROV menunjukkan bahwa kosakata ini tidak harus menjadi milik satu produk basis data.

GAF juga tidak harus berada dalam basis data graf. Basis data relasional atau log append-only sudah memadai jika mempertahankan hubungan dan lineage dua arah.

  • Dari sebuah kesimpulan, auditor harus dapat menelusuri mundur melalui Accepted Facts dan Claims hingga ke catatan asli.
  • Dari catatan yang dibatalkan keabsahannya, sistem harus dapat menelusuri maju ke setiap Accepted Fact, kesimpulan, dan tindakan berwenang yang mungkin perlu dibuka kembali.

Jalur pertama membuat keputusan dapat diaudit. Jalur kedua membuat koreksi dapat dihitung.

Satu Pembayaran Sewa, Tiga Masalah Rekayasa

Kembali ke sengketa sewa. Penyewa mengatakan sewa telah dibayar. Pemilik mengatakan uang itu tidak diterima sebagai sewa. Buku besar bank menunjukkan bahwa uang berpindah di antara rekening terdaftar mereka selama periode yang disepakati, tetapi kolom memo kosong.

Tugas pertama adalah dekomposisi proposisi:

A payment moved from the tenant's account to the landlord.  [accepted]
That payment discharged this month's rent obligation.       [undetermined]

Transfer dan alokasi hukum adalah Claims yang berbeda. Jika utang lain mungkin ada, Claim pertama tidak mengimplikasikan yang kedua. Memilih untuk memisahkannya bukan pekerjaan administratif. Dalam perkara pemecatan, pertanyaan apakah alasan yang dinyatakan benar-benar ada, apakah prosedur diikuti, apakah alasan tersebut membenarkan pemecatan, dan apakah pelakunya memiliki kewenangan menghasilkan graf keputusan yang berbeda dari catatan yang sama.

Inilah pembentukan isu, keahlian inti Projection Engineering. Siapa pun yang membingkai proposisi menentukan apa yang dapat diterima, dikalahkan, atau dibiarkan tidak diketahui. Sistem harus mempertahankan siapa yang membuat dekomposisi itu, untuk tujuan apa, di bawah kewenangan apa, dan alternatif mana yang dikesampingkan. Provenance sempurna setelah pembingkaian yang bias hanya mendokumentasikan bias dengan anggun.

Masalah kedua adalah ketiadaan. Kegagalan menemukan pembayaran tidak membuktikan bahwa pembayaran tidak dilakukan. Periodenya mungkin salah, pencariannya tidak lengkap, transfernya masih tertunda, atau institusi lain mungkin menyimpan catatannya. Ketiadaan menjadi bukti hanya setelah kontrak kelengkapan mendefinisikan apa yang dijanjikan sumber untuk dimuat.

Completeness contract C-04

Declarant: operator of ledger L
Scope: all settled transactions for account A during period P
Excludes: pending transactions and records held by other institutions
Authority: signed policy version V

Baru setelah itu ketiadaan boleh mendukung negasi dalam cakupan tersebut. Menyebut sumber yang mudah digunakan sebagai lengkap dapat mengubah perkara yang tidak diketahui menjadi perkara yang dapat diputuskan, sehingga pernyataan itu harus memuat identitas, tanda tangan, tanggal, versi, dan kewenangan.

Masalah ketiga adalah penilaian manusia yang berulang. Seseorang mungkin memutuskan bahwa transfer dari rekening terdaftar, dalam periode yang disepakati, dengan jumlah tepat, dan tanpa utang yang bersaing, dihitung sebagai sewa meskipun memo kosong. Aset yang dapat digunakan kembali bukanlah satu jawaban itu. Asetnya adalah penilaian umum di baliknya.

Inilah preservasi keputusan, tetapi sebuah contoh tidak boleh diam-diam menjadi preseden. Penilaian tersebut tetap menjadi kandidat kebijakan sampai orang yang berwenang menetapkan cakupan, pengecualian, waktu berlaku, retroaktivitas, dan kondisi pencabutannya. Baru kemudian ia menjadi kebijakan yang diratifikasi.

Dari Claim ke Tindakan yang Berwenang

Projection Engineering bukan model atau produk penyimpanan. Ia adalah proses yang memproyeksikan catatan dunia terbuka ke dalam dunia keputusan tertutup dan membuka kembali dunia itu ketika bukti atau kebijakan berubah.

Reality
   │
   ▼
Records / Observations
   │  preservation · calibration · transformation history
   ▼
Claims
   │  proposition decomposition · source evaluation · conflicts and gaps
   ▼
Projection
   │  purpose · scope · reference time · proof standard · authority · policy version
   ▼
GAF
   │  Accepted Facts · provenance · dependencies
   ▼
Closed Decision World
   │
   ▼
Deterministic Conclusion
   │
   ▼
Authorized Action

Setiap transisi dapat menghasilkan kesalahan yang berbeda:

  • Hilangnya catatan asli adalah kesalahan pengumpulan.
  • OCR atau ekstraksi yang buruk adalah kesalahan transformasi.
  • Pembingkaian isu yang salah atau penerimaan Claim yang salah adalah kesalahan proyeksi.
  • Penghitungan kesimpulan yang salah dari Accepted Facts yang benar adalah kesalahan aturan.
  • Penerapan kesimpulan yang benar kepada sasaran yang salah adalah kesalahan eksekusi.

Setiap kesalahan menuntut perbaikan berbeda. Bukti baru memperbaiki pengumpulan. Evaluasi ulang memperbaiki proyeksi. Mesin aturan yang telah dikoreksi dapat memutar ulang GAF yang dibekukan. Kegagalan eksekusi memerlukan pembatalan, koreksi, atau kompensasi—bukan fakta yang ditulis ulang. Menyebut setiap kegagalan sebagai “AI salah” membuat tidak satu pun dapat diperbaiki.

Bayar Biaya Pemahaman Hanya Sekali

Lapisan yang hilang bukan hanya sebuah risiko. Ia juga merupakan sumber pemborosan. Sebuah model membaca kontrak, mengidentifikasi para pihak, mengekstraksi kewajiban, dan menjawab satu pertanyaan. Pertanyaan berikutnya sering kembali membayar sebagian besar biaya interpretasi yang sama. Retrieval mengurangi teks yang dimuat, tetapi tetap memindahkan potongan prosa karena unit yang dapat digunakan kembali masih berupa fragmen dokumen.

Kompilasi semantik mengubah unit itu. Sebuah dokumen ditafsirkan sekali menjadi proposisi stabil yang memiliki pengenal, sumber, cakupan temporal, dan dependensi. Pertanyaan berikutnya menggunakan kembali proposisi tersebut lintas prompt, pengguna, dan dokumen. Kita membayar biaya pemahaman hanya sekali, ketika Claim memasuki sistem, bukan setiap kali seseorang menanyakannya.

Prompt caching tidak dapat menggantikan lapisan ini. Cache mempertahankan byte dan urutan. GAF mempertahankan makna dan provenance. Prefix cache dapat rusak ketika urutan berubah; sebuah proposisi dapat digabungkan dengan Claims yang diekstraksi di tempat lain dan melayani setiap keputusan yang bergantung padanya.

Penggunaan kembali yang bermakna menciptakan masalah invalidasi yang lebih sulit. Jika sebuah sumber dikoreksi, digantikan, atau terbukti curang, kesimpulan mana yang harus dibuka kembali? Cache fakta tanpa provenance adalah cache halusinasi: ia mengulangi kesalahan yang sama lebih cepat dan dengan keyakinan lebih tinggi.

Lineage adalah invalidasi cache.

Struktur yang memungkinkan seseorang menggugat keputusan adalah struktur yang sama yang memungkinkan mesin menghitung ulang hanya kesimpulan yang terdampak. Akuntabilitas dan efisiensi bukan fitur yang saling bersaing di sini. Keduanya adalah dua penggunaan dari graf dependensi yang sama.

Batas dengan Disiplin-Disiplin Tetangga

Projection Engineering bukan pengganti Data, Knowledge, Rule, Prompt, atau Context Engineering. Ia memiliki batas tanggung jawab yang saat ini dilintasi disiplin-disiplin tersebut tanpa satu pengampu yang akuntabel.

Data Engineering memindahkan catatan melalui source → ingest → transform → store → serve. Projection Engineering menanyakan apakah suatu catatan memenuhi syarat sebagai informasi yang dapat digunakan sebagai premis melalui record → claim → evaluate → project → GAF. Skema yang valid dapat memuat catatan palsu.

Knowledge Engineering merepresentasikan konsep dan hubungan untuk penggunaan oleh mesin. Projection Engineering terlebih dahulu memperlakukan setiap hubungan sebagai Claim dan mencatat siapa yang mengizinkan penggunaannya sebagai pengetahuan dalam keputusan yang terbatas.

Rule Engineering menghitung kesimpulan dari premis yang diberikan. Projection Engineering membangun dan membekukan graf premis tempat aturan tersebut dijalankan.

Prompt Engineering membentuk instruksi. Context Engineering memilih informasi untuk komputasi. Projection Engineering mengajukan pertanyaan yang lebih dahulu: Claim apakah informasi ini, dan mengapa ia boleh menjadi premis di sini?

Prompt yang lebih baik tidak dapat menyelamatkan premis yang diterima secara keliru.

LLM Adalah Pekerja, Bukan Otoritas

Sebuah LLM adalah pekerja di dalam proses ini. Ia dapat mengekstraksi kandidat Claims dari catatan tidak terstruktur, memisahkan pernyataan majemuk, mengidentifikasi konflik, meminta bukti yang hilang, dan menerjemahkan lineage ke dalam bahasa yang mudah dibaca.

Ia bukan otoritas. Keluarannya adalah Claim lain. Penelitian atribusi membedakan generasi yang fasih dari pernyataan yang dapat didukung oleh sumber teridentifikasi (Mengukur Atribusi dalam Model Generasi Bahasa Alami). Penelitian tentang kesetiaan penalaran juga menunjukkan bahwa chain of thought yang dihasilkan tidak secara andal berfungsi sebagai jejak eksekusi kausal dari sebuah jawaban (Membuat Penalaran Berarti: Mengukur dan Meningkatkan Kesetiaan Penalaran Chain-of-Thought).

Jika model yang sama mengekstraksi Claim, menerimanya, memilih aturan, menjelaskan hasil, dan mengizinkan tindakan, pipeline itu runtuh menjadi satu generasi yang buram. Narasi post-hoc bukan catatan provenance.

Generasi boleh bersifat probabilistik. Penerimaan Fact, penetapan kelengkapan, dan kewenangan untuk bertindak harus diatur secara terpisah.

Jaminan Statistik Tidak Dapat Menjelaskan Perkara Saya

Sanggahan terkuat bersifat praktis. Organisasi tidak menuntut jejak derivasi lengkap dari setiap pengambil keputusan manusia. Mereka memantau hasil agregat, pengendalian mutu, dan audit sampel. Mengapa model tidak diatur dengan cara yang sama?

Jaminan statistik berguna dan sering memadai untuk memperbaiki sebuah sistem. Namun, ia tetap tidak dapat menjawab pertanyaan yang diajukan seseorang di dalam hasil yang disengketakan:

Apa premis dalam perkara saya?

Akurasi agregat tidak mengungkap catatan mana yang salah, Claim mana yang diterima, kebijakan mana yang diterapkan, atau bukti baru apa yang dapat mendukung banding. Jaminan tingkat populasi dan keterbantahan tingkat kasus menyelesaikan masalah yang berbeda.

Perbedaan itu menentukan cakupan. Projection Engineering bukan untuk setiap sistem AI. Ia diperuntukkan bagi sistem yang membuat keputusan yang dapat digugat—kredit, upah, kelayakan, penggusuran, asuransi, otorisasi medis, dan tindakan serupa ketika seseorang harus dapat memeriksa serta menantang himpunan premisnya. Kerangka Kerja Manajemen Risiko AI NIST memperlakukan akuntabilitas dan transparansi sebagai properti sepanjang siklus hidup, sementara Regulasi (EU) 2024/1689 mewajibkan pencatatan peristiwa untuk sistem berisiko tinggi.

Untuk generasi berisiko rendah yang tidak perlu digugat siapa pun, perangkat ini mungkin berlebihan. Cakupan adalah bagian dari rekayasa.

Kontrak Minimum

Sistem yang mengaku mempraktikkan Projection Engineering harus menjawab ya untuk semua pertanyaan berikut:

  1. Apakah sistem membedakan catatan asli dari Claims turunan dan melampirkan sumber, waktu, serta riwayat transformasi pada setiap Claim?
  2. Apakah sistem menguraikan Claims majemuk menjadi proposisi yang dapat digugat secara independen dan mencatat siapa yang membingkai isu serta alasannya?
  3. Apakah sistem mempertahankan Claims yang bertentangan dan alternatif yang ditolak alih-alih menghapusnya?
  4. Apakah sistem membedakan false, unknown, dan not found, serta mensyaratkan kontrak kelengkapan sebelum mengubah ketiadaan menjadi negasi?
  5. Dapatkah sistem menelusuri Accepted Fact ke belakang hingga bukti, kebijakan, kewenangan, dan versi—serta menelusuri sumber yang dibatalkan keabsahannya ke depan hingga kesimpulan yang terdampak?
  6. Dapatkah sistem mereproduksi GAF dan snapshot aturan yang tepat yang digunakan untuk sebuah keputusan serta memperoleh kesimpulan yang sama di bawah penutupan yang sama?
  7. Dapatkah sistem mempertahankan penilaian manusia yang berulang sebagai kebijakan teratifikasi dengan cakupan, pengecualian, dan waktu berlaku?
  8. Apakah penerimaan Claim, penilaian aturan, dan kewenangan untuk bertindak dipisahkan, dengan prosedur untuk membuka kembali alih-alih menghapus keputusan masa lalu?

Jika satu saja jawabannya tidak, sistem tersebut diam-diam sedang menaikkan sebuah Claim menjadi Fact di suatu tempat.

Mengapa Ini Merupakan Disiplin Rekayasa Baru

Komponen-komponennya sudah ada: provenance, manajemen bukti, graf argumentasi, sistem pemeliharaan kebenaran, event sourcing, mesin aturan, log audit, penetapan fakta hukum, metrologi, dan penalaran dunia tertutup.

Komponen bukanlah batas tanggung jawab. Basis data dan ETL telah ada sebelum Data Engineering terbentuk sebagai sebuah bidang. Server dan skrip deployment telah ada sebelum DevOps. Sebuah bidang terbentuk ketika kegagalan berulang yang tersebar di berbagai organisasi dihimpun di bawah satu peran yang akuntabel, satu kelas keluaran, dan metode verifikasi yang dapat diulang.

Saat ini tidak ada peran yang memiliki pertanyaan ini secara menyeluruh:

Pada saat apa, oleh kewenangan siapa, dan berdasarkan kebijakan mana sebuah catatan dari realitas menjadi Accepted Fact yang dapat digunakan dalam keputusan?

Data engineer memiliki pipeline. Knowledge engineer memiliki representasi. ML engineer memiliki model. Pakar domain menjelaskan aturan. Operator menangani pengecualian. Di antara mereka, penerimaan fakta larut ke dalam kode pembersihan, prompt, logika aplikasi, inferensi model, dan kebiasaan yang tidak terdokumentasi.

Projection Engineering tidak mengklaim bahwa setiap komponennya baru. Ia mengusulkan disiplin rekayasa baru karena batas itu sendiri memerlukan pemilik, keluaran, dan cara deterministik untuk menguji apakah janjinya ditepati.

Membuat Verifikasi Murah Kembali

Dunia terbuka tidak pernah berhenti. Catatan baru datang, kesaksian berubah, sensor dikalibrasi ulang, dan kebijakan diamendemen. Sistem yang menunggu realitas lengkap tidak akan pernah bertindak. Sistem yang menyembunyikan ketidakpastian akan bertindak tanpa akuntabilitas.

Projection Engineering memilih kontrak yang lebih sempit:

  • Pertahankan Claims alih-alih menghapus ketidaksepakatan.
  • Gunakan istilah Accepted Fact setiap kali Fact berarti premis yang diizinkan.
  • Hubungkan setiap penerimaan dengan bukti, kebijakan, kewenangan, waktu, dan cakupan.
  • Jangan pernah mengubah unknown menjadi false tanpa kontrak kelengkapan.
  • Bekukan dunia keputusan dan aturan yang benar-benar digunakan.
  • Reproduksi kesimpulan dari masukan tertutup yang sama.
  • Pertahankan penilaian berulang sebagai kebijakan eksplisit yang diratifikasi.
  • Buka kembali keputusan ketika bukti berubah alih-alih menulis ulang masa lalu.

Ia tidak memiliki kebenaran, menghapus bias, atau membuat mesin tak mungkin salah. Ia membuat dunia terbatas yang digunakan untuk keputusan cukup terlihat untuk diperiksa, digugat, diputar ulang, dan diperbaiki.

Matematika menjadi kuat secara sosial bukan karena menjawab setiap pertanyaan, melainkan karena orang yang tidak hadir dalam suatu derivasi dapat memeriksa apa yang mengikuti dari premis yang dinyatakan. Metrologi membuat pengukuran memiliki bobot dengan mengelilingi angka dengan ketertelusuran. Hukum memungkinkan penilaian tanpa memutar ulang masa lalu dengan memisahkan dalil dari premis yang diterima.

AI sudah memiliki aritmetika. Yang belum dimilikinya adalah institusi di sekitar aritmetika itu.

Tujuan Projection Engineering sederhana:

Membuat verifikasi murah kembali.

Realitas memberi kita Claims.

Keputusan memerlukan Accepted Facts.

Projection Engineering memproyeksikan Claims ke dalam Graph of Accepted Facts yang dapat diaudit.

Artikel Terkait

  • Kebenaran Tidak Ditemukan — mengapa realitas terbuka memberi kita Claims, sementara dunia institusional yang terbatas dapat menghasilkan fakta operatif
  • Dari Claims ke GAF — arsitektur teknis untuk memproyeksikan Claims ke dalam graf yang dapat diaudit
  • Kefasihan Bukan Kebenaran — mengapa bahasa persuasif harus digantikan oleh bukti yang dapat diamati dan pemeriksaan

Referensi