TRW: TRACE-RealWorld—Kontrak Konsistensi yang Dapat Diaudit untuk World Model sebagai Materialized View

World model memungkinkan agen untuk merencanakan berdasarkan prediksi keadaan fisik, tetapi keadaan tersebut mengalami pergeseran seiring waktu. Pengamatan ulang mahal dan tertunda, serta perbaikan dapat gagal. Pendekatan yang ada untuk menjaga konsistensi antara keadaan yang diprediksi dan keadaan aktual tidak memiliki kontrak formal yang menentukan kapan suatu prediksi cukup segar untuk mengotorisasi komitmen fisik. TRW mengatasi kesenjangan ini dengan memperkenalkan kontrak konsistensi tingkat komitmen. Gagasan intinya adalah memperlakukan keadaan yang diprediksi sebagai materialized view dan komitmen fisik sebagai pembacaan yang otorisasinya dapat kedaluwarsa. Kerangka ini memungkinkan sistem untuk menalar kesegaran, biaya verifikasi, dan perbaikan secara terpadu. Para penulis memotivasi penelitian ini dengan skenario pencarian dan penyelamatan di mana prediksi yang usang dapat menyebabkan tindakan yang tidak efektif atau berbahaya. TRW dipresentasikan sebagai kontrak konsistensi tingkat komitmen pertama untuk world model, dan makalah ini menyediakan jaminan teoretis sekaligus evaluasi empiris dalam simulator yang realistis.

TRW mendefinisikan klaim terketik dan terkalibrasi yang menetapkan kesegaran terkondisi konsekuensi dan verifikasi berharga. Suatu klaim mencakup prediksi, persyaratan kesegaran yang bergantung pada konsekuensi tindakan, dan biaya untuk memverifikasi prediksi terhadap dunia nyata. Penyegaran adaptif menggeneralisasi sinkronisasi dual-Kalman untuk berkonsultasi dengan dunia ketika bukti dapat mengubah keputusan. Ini berarti sistem hanya membayar biaya pengamatan ulang ketika manfaat yang diharapkan—menghindari keputusan buruk—melebihi biayanya. Kompensasi SagaLLM berskala dependensi memperbaiki komitmen yang dapat dibalik yang menjadi tidak valid setelah otorisasi. Ketika suatu komitmen ditemukan didasarkan pada keadaan usang, sistem dapat membatalkan atau menyesuaikannya, tetapi hanya dalam lingkup dependensinya. Para penulis membuktikan bahwa sinkronisasi dan kompensasi tidak memadai jika berdiri sendiri, tetapi komposisinya menghasilkan jaminan konsistensi bersyarat di bawah oracle risiko yang selaras peristiwa dan asumsi keaktifan pemulihan. Jika tidak, argumen tersebut menghasilkan dekomposisi pelanggaran yang dapat diaudit menjadi utang yang bernama. Sistem ini diimplementasikan dalam Flood-SAR, sebuah simulator pencarian dan penyelamatan pada geografi nyata. Enam pertanyaan yang telah diregistrasi sebelumnya diuji pada titik operasi yang dibekukan dengan seed yang disisihkan. Model formal dapat dinyatakan sebagai berikut: misalkan $S_t$ adalah keadaan yang diprediksi pada waktu $t$, $C$ suatu komitmen, dan $\varphi$ predikat kesegaran. Kontrak mensyaratkan bahwa jika $C$ diotorisasi berdasarkan $S_t$, maka salah satu $\varphi (S_t)$ berlaku atau tindakan verifikasi $V$ diambil sehingga keadaan yang diperbarui $S_{t^{\prime }}$ memenuhi $\varphi$. Jaminan konsistensi bersifat bersyarat pada oracle risiko yang memperkirakan secara benar probabilitas bahwa suatu keputusan berubah akibat keadaan usang. Diagram Mermaid arsitekturnya ditunjukkan di bawah ini.