論文の概要: TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory

• arxiv url: http://arxiv.org/abs/2606.06240v1
• Date: Thu, 04 Jun 2026 14:46:52 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-06-05 22:39:44.866308
• Title: TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory
• Title（参考訳）: TOKI: LLM-Agent Persistent Memoryにおけるコントラクションレゾリューションのためのバイテンポラル演算子代数
• Authors: Ziming Wang,
• Abstract要約: 矛盾の解決は書き込み時の制御であり、欠落した契約を明確にすることを示しています。 TOKIは、二重行スキーマ上での2時間演算子の1つのファミリとして、四重項をタイプする。 8つのシステムにまたがる判定行列はギャップをローカライズする: 書き込みパス上の言語モデル判断を保持するすべてのベースラインは、3つの書き込み時異常のうちの少なくとも1つを許容する。
• 参考スコア（独自算出の注目度）: 22.85129722207174
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Persistent memory for an LLM agent is a write-heavy substrate: every belief update is a versioned write, and a new claim may contradict a stored one. Production systems use four resolution heuristics (last-writer-wins, evidence-weighted merge, await-confirmation, per-rule policy), yet none declares the isolation level it assumes or the write-time anomalies it admits. We show that contradiction resolution is write-time concurrency control and make the missing contract explicit. TOKI types the four heuristics as one family of bitemporal operators over a dual-row schema, each with an isolation precondition and a provenance annotation that preserves the losing fact in an audit row. Four soundness theorems close the contract across isolation, schema, and provenance, lift the guarantees to operator pipelines, and extend the fold operators to n-ary conflict sets. A tightness companion proves that, within the relational schedule model, keyed logging of the adjudicating judge is necessary for replay consistency, which every audited baseline omits. A verdict matrix over eight systems localizes the gap: every baseline that keeps a language-model judge on the write path admits at least one of three write-time anomalies (replay inconsistency, belief-drift skew, audit erasure); a content-addressed engine-layer comparator avoids them only by removing the judge, and TOKI alone excludes all three while keeping it. On its one natural-workload slice the audit-row defence moves LoCoMo by 0.86, and ablating the typed memory layer removes 0.49 accuracy on 1,444 answerable LoCoMo questions; the cross-system comparison stays underpowered and claims no superiority. The contribution is the contract: a write-time correctness specification, proved sound across isolation, schema, and provenance, pinning the guarantee every production heuristic assumes but no deployed system makes explicit.
• Abstract（参考訳）: LLMエージェントの永続メモリは書き込みが重い基質であり、すべての信条更新はバージョン付き書き込みであり、新しいクレームは保存されたメモリと矛盾する可能性がある。 生産システムは4つの解像度ヒューリスティック(ラストライター・ウィン、エビデンス・ウェイト・マージ、待ち確認、ルールごとのポリシー)を使用するが、それらが想定する分離レベルや書き込み時の異常を宣言しない。 矛盾解決は書き込み時並行制御であり、欠落した契約を明確にする。 TOKIは、この4つのヒューリスティックを、二重ロースキーマ上のバイテンポラル演算子の1つのファミリとして、それぞれが分離前の条件と監査行で失った事実を保存する証明アノテーションを持つ。 4つの健全性定理は、分離、スキーマ、証明の間の契約を閉じ、演算子パイプラインへの保証を解除し、折りたたみ演算子をn-aryの競合集合に拡張する。 タイトネス・コンパニオンは、リレーショナルスケジュールモデルにおいて、監査されたベースラインが省略されるように、調整された審査員のキー付きロギングが必要であることを証明している。 8つのシステム上の判定行列はギャップをローカライズする: 書き込みパス上の言語モデルジャッジを保持するすべてのベースラインは、3つの書き込み時間異常のうち少なくとも1つを許容する(整合性、信念ドリフトスキュー、監査消去)。 1つの自然なワークロードスライスでは、監査ローディフェンスはLoCoMoを0.86倍にし、型付きメモリ層を非難することで、1,444の答え可能なLoCoMo質問に対して0.49の精度を除去する。 書き込み時の正確性仕様、分離、スキーマ、証明された音、すべてのプロダクションヒューリスティックな仮定の保証を固定するが、デプロイされたシステムは明示しない。

関連論文リスト

• A Universal Cliff and a Design Fingerprint: Cross-Section Defect Detection Under LLM Orchestration [0.0]
  生産言語モデルシステムは、労働者エージェントの目に見えないオーケストレーションにまたがってそれを拡大する要求に答える。 これは、単一のワーカーが見ることができない欠陥のクラスに何をもたらすか尋ねる。 1人の開発者から5世代にわたる10のシステムと、異なるアライメントパラダイムからの5つのプロバイダのみです。
  論文  参考訳（メタデータ） (2026-05-25T05:09:48Z)
• S-Bus: Automatic Read-Set Reconstruction for Multi-Agent LLM State Coordination [0.0]
  S-Busは、サーバサイドのDeliveryLogという中心的なメカニズムが、観察されたHTTP GETトラフィックからコミット時に各エージェントの読み取りセットを再構築するHTTP契約である。 Observable-Read isolation (ORI) が提供する一貫性プロパティは、専用のシャードトポロジにおける構造的競合条件を防止します。
  論文  参考訳（メタデータ） (2026-05-16T16:46:27Z)
• MemLineage: Lineage-Guided Enforcement for LLM Agent Memory [3.058164432275431]
  我々は,LLMエージェントメモリの防衛機能であるMemLineageを紹介した。 最近のコンカレントな作業は、信頼できないコンテンツを永続的なエージェントの状態に書き込むことができ、後続のセッションを命令として再入力できることを示している。 MemLineageは、これをフィルタリング問題ではなく、チェーンオブカストディ問題として扱う。
  論文  参考訳（メタデータ） (2026-05-14T06:07:54Z)
• EquiMem: Calibrating Shared Memory in Multi-Agent Debate via Game-Theoretic Equilibrium [10.71445877501096]
  マルチエージェント討論(MAD)システムは、長期の推論をサポートするために共有メモリに依存している。 単一の破損したエントリは、下流のメモリ拡張された推論を汚染し、議論だけではそのようなエラーをフィルタリングすることができない。 提案するEquiMemは,各更新を共有メモリ状態に対してアルゴリズム的に定量化する推論時キャリブレーション機構である。
  論文  参考訳（メタデータ） (2026-05-10T03:04:12Z)
• Belief Memory: Agent Memory Under Partial Observability [56.41506249481312]
  本稿では,メモリパラダイムを観測毎に1つの結論にシフトし,その確率で複数の結論を導出するBeliefMemを提案する。 BeliefMemは決定論的パラダイムが破棄されるという不確実性を保ち、エージェントが高い信頼を持って行動することを可能にする。 LoCoMoとALFWorldベンチマークの実証的な評価は、限られたデータであっても、BeliefMemが最高の平均パフォーマンスを達成することを示している。
  論文  参考訳（メタデータ） (2026-05-07T02:03:13Z)
• IMPACT-CYCLE: A Contract-Based Multi-Agent System for Claim-Level Supervisory Correction of Long-Video Semantic Memory [73.22944697933603]
  既存のパイプラインは不透明でエンドツーエンドの出力を生成し、検査の中間状態は公開しない。 IMPACT-Cycleは,マルチモーダル反復クレームレベルのメンテナンスとして,長時間ビデオ理解を再構築するマルチエージェントシステムである。
  論文  参考訳（メタデータ） (2026-04-22T03:03:33Z)
• To Throw a Stone with Six Birds: On Agents and Agenthood [0.0]
  Six Birds Theory (SBT)は、マクロな物体を原始体ではなく誘導的閉包として扱う。 SBT内では,タイプ正当性評価を行う。 我々はこの契約を4つのチェック可能なコンポーネントを用いて有限制御システムで運用する。
  論文  参考訳（メタデータ） (2026-02-03T10:46:23Z)
• Retrieval-Augmented Generation with Conflicting Evidence [57.66282463340297]
  大規模言語モデル (LLM) エージェントは、応答の事実性を改善するために、検索強化世代 (RAG) をますます採用している。 実際には、これらのシステムは曖昧なユーザクエリを処理し、複数のソースからの情報に衝突する可能性がある。 RAMDocs(Retrieval with Ambiguity and Misinformation in Documents)は,ユーザクエリのエビデンスを矛盾させるような,複雑で現実的なシナリオをシミュレートする新しいデータセットである。
  論文  参考訳（メタデータ） (2025-04-17T16:46:11Z)
• Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs [95.07757789781213]
  LLMの複雑な推論には2行のアプローチが採用されている。 1行の作業は様々な推論構造を持つLLMを誘導し、構造出力は自然に中間推論ステップと見なすことができる。 他方の行では、LCMのない宣言的解法を用いて推論処理を行い、推論精度は向上するが、解法のブラックボックスの性質により解釈性に欠ける。 具体的には,Prologインタプリタが生成した中間検索ログにアクセスし,人間可読推論に解釈可能であることを示す。
  論文  参考訳（メタデータ） (2023-11-16T11:26:21Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。