← Archive
lm-001936 · 2026-07

動態顯影與原生張量記憶系列_02_動態記憶顯影與逆向語義記憶重建_v0.1

下載 MD 檔 ⬇

動態記憶顯影與逆向語義記憶重建:從歷史痕跡到可延續工作狀態

Dynamic Memory Revealing and Reverse Semantic Memory Reconstruction: From Historical Traces to Continuable Working States

  • 系列:動態顯影與原生張量記憶系列
  • 篇次:第二篇
  • 版本:v0.1
  • 日期:2026-07-27
  • 文件性質:基礎理論與工程框架論文

摘要

現有人工智慧記憶系統多以對話紀錄、摘要壓縮、向量資料庫、檢索增強生成、長上下文重載與外部知識庫為主要手段。這些方法能協助模型找回與當前查詢相關的內容,卻未必能恢復一項長期任務先前所處的工作狀態。當人工智慧面臨對話中斷、版本演化、研究分支、錯誤回溯、多代理交接、摘要遺失與決策理由消失時,問題不再只是「哪些過去內容與現在相似」,而是「模型先前如何走到目前狀態、哪些中間關係已遺失、哪些結論仍有效,以及應從何處繼續」。

本文在系列第一篇「動態語義顯影」的基礎上,提出動態記憶顯影、逆向語義記憶重建與 AI 記憶回溯工程的統一框架。本文主張:人工智慧記憶不應僅被理解為已儲存的文本、向量或摘要,而應被理解為由歷史痕跡、來源標記、關係結構、狀態轉移、缺口推定、重建算子與驗證機制共同形成的可重建狀態場。動態記憶顯影負責依當前任務顯現必要歷史痕跡;記憶回溯負責沿時間、因果、版本、分支、引用與代理關係尋找狀態來源;逆向語義記憶重建負責由不完整證據形成一個可工作的局部過去狀態;正向重播與一致性驗證則用以限制敘事幻覺與錯誤連續性。

本文區分原始痕跡、直接推導、關係重建、缺口推定與當前工作態五個層級,並提出非唯一重建、替代解釋保留、推定不可冒充回憶、失敗路徑持久化、權限先於顯影、局部重建不覆寫原始歷史等治理原則。本文亦建立從語義顯影通往原生張量記憶的接口:向量檢索可以被視為歷史多模式關係態的局部投影,而未來記憶顯影則可被重新表述為對語義、時間、因果、任務、版本、來源、代理與權限等模式的條件收縮、局部解纏與工作態重組。

本文不試圖在第二篇中完成張量記憶本體論,而是建立其必要的記憶語義、重建層級、驗證閉環與工程邊界,為後續「原生張量記憶本體論」、「記憶糾纏與可分離性」以及「差合化張量操作論」提供可承接的理論地基。

關鍵詞: 動態記憶顯影、逆向語義記憶重建、AI 記憶回溯、工作狀態恢復、記憶連續性、RAG、記憶幻覺、長期代理、原生張量記憶


1. 導論:找回內容不等於恢復記憶

系列第一篇已將知識檢索重新表述為條件化語義顯影:系統不只依查詢找回相似文件,而是依查詢、任務、上下文、時間、觀測位置、權限與既有工作狀態,生成一個當前可用的局部知識場。

若總條件為:

ξ=(q,g,c,t,o,a,w)\xi=(q,g,c,t,o,a,w)

則語義顯影可表示為:

Πξ:HKξ\Pi_{\xi}:\mathcal H\rightarrow\mathcal K_{\xi}

其中 H\mathcal H 是可用知識痕跡, Kξ\mathcal K_{\xi} 是條件 ξ\xi 下被顯影出的局部知識狀態。

然而,當系統需要恢復一項中斷的長期任務時,只顯影相關內容仍不充分。模型可能找回十份高度相關的文件,卻仍無法回答:

  • 哪一份是目前有效版本;
  • 哪一個命題已被撤回;
  • 哪條路徑曾經失敗;
  • 哪項結論只是暫時推定;
  • 為何當時選擇某種方法;
  • 任務真正停在哪一個操作節點;
  • 下一步應延續哪一個未完成動作。

因此:

Relevant ContentRecovered Memory\text{Relevant Content} \neq \text{Recovered Memory}

更精確地說:

Retrieved EvidenceRecovered Working State\text{Retrieved Evidence} \neq \text{Recovered Working State}

本篇處理的核心問題,就是如何由顯影出的歷史痕跡,進一步完成回溯、重建、驗證與延續。


2. 從語義顯影到記憶顯影

2.1 語義顯影回答什麼

動態語義顯影主要回答:

在當前條件下,哪些知識應該被看見?

其輸出可表示為:

Kξ=(Cξ,Eξ,Rξ,Vξ)\mathcal K_{\xi} = \left( \mathcal C_{\xi}, \mathcal E_{\xi}, \mathcal R_{\xi}, \mathcal V_{\xi} \right)

其中包含候選內容、顯影理由、局部關係與可見狀態。

2.2 記憶顯影回答什麼

動態記憶顯影則進一步回答:

哪些歷史痕跡對恢復目前任務的工作狀態具有必要性?

因此,記憶顯影的輸出不只是內容候選,而是狀態恢復候選:

Mξ=(Hξ,Gξ,Dξ,Oξ)\mathcal M_{\xi} = \left( \mathcal H_{\xi}, \mathcal G_{\xi}, \mathcal D_{\xi}, \mathcal O_{\xi} \right)

其中:

  • Hξ\mathcal H_{\xi} :與當前任務相關的歷史痕跡;
  • Gξ\mathcal G_{\xi} :痕跡間的時間、因果、版本與分支子圖;
  • Dξ\mathcal D_{\xi} :已知決策、失敗與狀態轉移;
  • Oξ\mathcal O_{\xi} :仍未閉合的缺口與開放節點。

2.3 兩者的層級關係

可以寫成:

Dynamic Semantic RevealingDynamic Memory Revealing\text{Dynamic Semantic Revealing} \subset \text{Dynamic Memory Revealing}

但此處的「包含」不是指所有語義顯影都自動形成記憶,而是指記憶顯影必須使用語義顯影作為候選生成的一部分。

完整層級為:

RepresentationRetrievalSemantic RevealingMemory BacktrackingState ReconstructionContinuity\text{Representation} \rightarrow \text{Retrieval} \rightarrow \text{Semantic Revealing} \rightarrow \text{Memory Backtracking} \rightarrow \text{State Reconstruction} \rightarrow \text{Continuity}

3. 記憶的基本本體:痕跡、關係、狀態與條件

3.1 記憶不等於儲存文本

本文提出:

MemoryStored Text\text{Memory} \neq \text{Stored Text}

也不等於:

MemoryEmbedding Set\text{Memory} \neq \text{Embedding Set}

較完整的記憶結構可暫時表示為:

M=(T,R,S,C,P)M = \left( T, R, S, C, P \right)

其中:

  • TT :歷史痕跡集合;
  • RR :痕跡之間的關係結構;
  • SS :任務、決策與工作狀態;
  • CC :重建、驗證與顯影條件;
  • PP :來源、權限與可信度標記。

3.2 歷史痕跡

歷史痕跡不只包含文字,也可以包含:

  • 原始對話訊息;
  • 文件與版本;
  • 程式碼差異;
  • 工具呼叫與返回值;
  • 實驗輸入與結果;
  • 決策紀錄;
  • 錯誤訊息;
  • 任務狀態快照;
  • 多代理交接內容;
  • 權限與環境限制;
  • 使用者明確否決或接受的方案。

令痕跡集合為:

T={τ1,τ2,,τN}\mathcal T = \{\tau_1,\tau_2,\ldots,\tau_N\}

單一痕跡可表示為:

τi=(xi,ti,si,pi,vi,ai,γi)\tau_i = (x_i,t_i,s_i,p_i,v_i,a_i,\gamma_i)

其中:

  • xix_i :內容或事件;
  • tit_i :時間資訊;
  • sis_i :來源主體或系統;
  • pip_i :來源證據與位置;
  • viv_i :版本;
  • aia_i :權限;
  • γi\gamma_i :可信度與狀態標記。

3.3 關係結構

記憶痕跡並非孤立存在。令:

R=RtimeRcausalRversionRbranchRtaskRreferenceRagentR = R_{\mathrm{time}} \cup R_{\mathrm{causal}} \cup R_{\mathrm{version}} \cup R_{\mathrm{branch}} \cup R_{\mathrm{task}} \cup R_{\mathrm{reference}} \cup R_{\mathrm{agent}}

分別表示:

  • 時間前後;
  • 因果與解釋;
  • 版本替代;
  • 分支來源與合併;
  • 任務依賴;
  • 引用與證據;
  • 代理交接與責任來源。

因此,記憶更接近一個具來源約束的動態關係場,而不是一個片段倉庫。


4. 工作狀態:記憶真正需要恢復的對象

4.1 內容狀態與工作狀態

內容狀態回答:

系統知道哪些資料?

工作狀態回答:

系統目前正在做什麼、為何這樣做,以及接下來能做什麼?

令任務 qq 的工作狀態為:

Wq=(Gq,Aq,Dq,Fq,Oq,Nq,Eq)W_q = \left( G_q, A_q, D_q, F_q, O_q, N_q, E_q \right)

其中:

  • GqG_q :目標;
  • AqA_q :已接受假設;
  • DqD_q :已作決策;
  • FqF_q :失敗路徑與排除方案;
  • OqO_q :開放節點;
  • NqN_q :下一步操作;
  • EqE_q :支持上述狀態的證據。

4.2 工作狀態不是摘要

摘要通常追求壓縮:

Summary(T)z\operatorname{Summary}(\mathcal T) \rightarrow z

其中 zz 是較短的內容表示。

但工作狀態恢復追求可延續性:

Reconstruct(Tq)W^q\operatorname{Reconstruct}(\mathcal T\mid q) \rightarrow \widehat W_q

一份摘要即使語義上正確,也可能刪除:

  • 未完成節點;
  • 失敗嘗試;
  • 分支差異;
  • 限定條件;
  • 決策理由;
  • 當時工具限制;
  • 可信度與版本狀態。

因此:

Good Summary⇏Recoverable Working State\text{Good Summary} \not\Rightarrow \text{Recoverable Working State}

4.3 可延續性

工作狀態的核心評準不是「像不像原文」,而是:

Continuability(W^q)\operatorname{Continuability}(\widehat W_q)

也就是重建出的狀態是否足以讓系統在不重複重大錯誤、不誤用失效結論的前提下繼續任務。


5. 記憶形成與不可逆更新

5.1 狀態更新

MtM_t 為時間 tt 的記憶狀態, ItI_t 為新輸入, AtA_t 為行動, OtO_t 為觀測結果,則:

Mt+1=F(Mt,It,At,Ot)M_{t+1} = F(M_t,I_t,A_t,O_t)

其中 FF 可能包含:

  • 新增;
  • 摘要;
  • 合併;
  • 覆寫;
  • 降權;
  • 壓縮;
  • 刪除;
  • 外部化;
  • 版本替代;
  • 推定回寫。

5.2 為何通常不可逆

若兩個不同狀態 Mt(1)M_t^{(1)}Mt(2)M_t^{(2)} 經壓縮後得到相同結果:

F(Mt(1),It,At,Ot)=F(Mt(2),It,At,Ot)F(M_t^{(1)},I_t,A_t,O_t) = F(M_t^{(2)},I_t,A_t,O_t)

則單由 Mt+1M_{t+1} 無法唯一恢復先前狀態。

因此通常不存在穩定的:

F1F^{-1}

記憶恢復不是精確反函數,而是受證據與約束限制的逆問題。


6. 逆向語義記憶重建作為約束式逆問題

6.1 基本形式

若希望重建較早狀態,可寫成:

M^t=argmaxMConsistency(F(M,It,At,Ot),Mt+1)\widehat M_t = \arg\max_{M} \operatorname{Consistency} \left( F(M,I_t,A_t,O_t), M_{t+1} \right)

但此式仍不完整,因為重建不能只追求結果相似,也必須考慮證據、來源、複雜度與替代解釋。

較完整形式為:

M^t=argmaxM[λ1Cforward(M)+λ2Cevidence(M)+λ3Crelation(M)λ4Punsupported(M)λ5Pcomplexity(M)]\widehat M_t = \arg\max_M \left[ \lambda_1C_{\mathrm{forward}}(M) + \lambda_2C_{\mathrm{evidence}}(M) + \lambda_3C_{\mathrm{relation}}(M) - \lambda_4P_{\mathrm{unsupported}}(M) - \lambda_5P_{\mathrm{complexity}}(M) \right]

其中:

  • CforwardC_{\mathrm{forward}} :正向重播一致性;
  • CevidenceC_{\mathrm{evidence}} :證據支持度;
  • CrelationC_{\mathrm{relation}} :時間、版本與因果一致性;
  • PunsupportedP_{\mathrm{unsupported}} :無證據推定懲罰;
  • PcomplexityP_{\mathrm{complexity}} :不必要敘事複雜度懲罰。

6.2 重建不是回憶複製

重建結果:

M^t\widehat M_t

不應被自動表述為真實過去狀態本身。

它可能只是:

Best Supported Reconstruction Under Current Evidence\text{Best Supported Reconstruction Under Current Evidence}

所以系統必須保存:

  • 哪些部分是原始紀錄;
  • 哪些部分是直接推得;
  • 哪些部分是關係重建;
  • 哪些部分是缺口推定;
  • 是否存在其他同樣合理的解釋。

7. 非唯一重建與替代記憶狀態

7.1 多解性

當證據不完整時,可能存在:

M^t(1),M^t(2),,M^t(k)\widehat M_t^{(1)}, \widehat M_t^{(2)}, \ldots, \widehat M_t^{(k)}

它們都能在一定程度上解釋目前狀態。

因此:

Reconstruct(T)↛Unique State\operatorname{Reconstruct}(\mathcal T) \not\rightarrow \text{Unique State}

7.2 替代解釋集合

系統應保存:

At={(M^t(j),cj,ej)}j=1k\mathcal A_t = \left \{ (\widehat M_t^{(j)},c_j,e_j) \right\}_{j=1}^{k}

其中:

  • cjc_j :候選重建的可信度;
  • eje_j :支持證據與矛盾。

若最高可信候選與次高候選差距很小,系統不應假裝已確定唯一歷史。

7.3 記憶誠實

記憶誠實不是要求系統永不推定,而是要求:

Inference Allowed+Inference Must Remain Marked\text{Inference Allowed} + \text{Inference Must Remain Marked}

8. 記憶重建的五層結構

8.1 第一層:原始痕跡

記為:

Mtrace(0)M^{(0)}_{\mathrm{trace}}

包括原始訊息、文件、版本、日誌、工具結果與時間戳。此層不得由模型自由改寫。

8.2 第二層:直接推導

記為:

Mderived(1)M^{(1)}_{\mathrm{derived}}

由原始痕跡直接、短鏈且可檢查地推導。例如:某文件版本晚於另一文件;某工具呼叫明確失敗;某結論在後續訊息中被撤回。

8.3 第三層:關係重建

記為:

Mrelation(2)=G(Mtrace(0),Mderived(1))M^{(2)}_{\mathrm{relation}} = G \left( M^{(0)}_{\mathrm{trace}}, M^{(1)}_{\mathrm{derived}} \right)

負責形成:

  • 時間鏈;
  • 因果鏈;
  • 版本鏈;
  • 分支鏈;
  • 決策依賴;
  • 錯誤傳播路徑。

8.4 第四層:缺口推定

記為:

Minferred(3)=Infer(M(0),M(1),M(2))M^{(3)}_{\mathrm{inferred}} = \operatorname{Infer} \left( M^{(0)},M^{(1)},M^{(2)} \right)

此層用於補足完全缺失但對工作狀態必要的部分,必須附帶信心、證據與替代解釋。

8.5 第五層:局部工作態

記為:

W^q=Assembleq(M(0),M(1),M(2),M(3))\widehat W_q = \operatorname{Assemble}_q \left( M^{(0)},M^{(1)},M^{(2)},M^{(3)} \right)

它不是歷史資料庫的新永久版本,而是針對當前任務組成的暫時可操作狀態。

因此:

W^qT\widehat W_q \neq \mathcal T

以及:

W^qPermanent Rewrite of History\widehat W_q \neq \text{Permanent Rewrite of History}

9. 動態記憶顯影算子

9.1 顯影條件

令記憶顯影條件為:

ζ=(q,g,c,t,o,a,w,k)\zeta = (q,g,c,t,o,a,w,k)

其中除系列第一篇的條件外,再加入:

  • kk :當前記憶缺口或恢復目的。

例如 kk 可以是:

  • 恢復最後工作節點;
  • 找出某結論的來源;
  • 判斷哪一版本有效;
  • 追蹤錯誤首次出現位置;
  • 合併兩條研究分支;
  • 為新代理建立交接狀態。

9.2 顯影分數

記憶痕跡 τi\tau_i 的顯影分數可暫定為:

SM(τiζ)=αSsemantic+βStemporal+γScausal+δStask+ϵSversion+ηSgap+θSprovenanceS_M(\tau_i\mid\zeta) = \alpha S_{\mathrm{semantic}} + \beta S_{\mathrm{temporal}} + \gamma S_{\mathrm{causal}} + \delta S_{\mathrm{task}} + \epsilon S_{\mathrm{version}} + \eta S_{\mathrm{gap}} + \theta S_{\mathrm{provenance}}

其中 SgapS_{\mathrm{gap}} 衡量該痕跡對當前缺口的解釋力。

因此,一個語義相似度較低但位於關鍵決策轉折點的痕跡,仍可能具有較高記憶顯影權重。

9.3 顯影輸出

可表示為:

ΠζM(T)={(τi,SM(τiζ),Ei,Ri,Pi)}\Pi^M_{\zeta}(\mathcal T) = \left\{ \left( \tau_i, S_M(\tau_i\mid\zeta), E_i, R_i, P_i \right) \right\}

其中:

  • EiE_i :顯影理由;
  • RiR_i :與當前狀態的關係;
  • PiP_i :來源、權限與可信度標記。

10. 記憶回溯:沿多重關係尋找狀態來源

10.1 回溯不是時間倒序

若只按時間由新到舊排列,系統仍可能錯過:

  • 跨版本引用;
  • 遠距因果;
  • 分支共同祖先;
  • 被後續摘要省略的失敗路徑;
  • 多代理間的交接節點;
  • 舊文件中仍有效的基礎前提。

因此回溯必須在多關係圖上進行。

令記憶關係圖為:

GM=(T,R)\mathcal G_M = (\mathcal T,R)

回溯算子為:

Bζ:GMGζback\mathcal B_{\zeta} : \mathcal G_M \rightarrow \mathcal G_{\zeta}^{\mathrm{back}}

其中 Gζback\mathcal G_{\zeta}^{\mathrm{back}} 是對當前恢復目的具有解釋力的局部回溯子圖。

10.2 回溯邊類型

回溯至少應處理:

R={t,c,v,b,e,g,a}R = \{ \prec_t, \Rightarrow_c, \succ_v, \hookrightarrow_b, \vdash_e, \leadsto_g, \leftrightarrow_a \}

可分別理解為:

  • t\prec_t :時間先後;
  • c\Rightarrow_c :因果或推導;
  • v\succ_v :版本替代;
  • b\hookrightarrow_b :分支來源;
  • e\vdash_e :證據支持;
  • g\leadsto_g :任務依賴;
  • a\leftrightarrow_a :代理交接。

10.3 回溯停止條件

回溯不能無限制展開。可設定:

  • 最大時間距離;
  • 最大圖深度;
  • 最低證據權重;
  • 最大候選節點數;
  • 任務邊界;
  • 權限邊界;
  • 已找到穩定共同祖先;
  • 已達足夠可延續性。

11. 顯影—回溯—重建—驗證—延續閉環

完整流程為:

TΠζMTζBζGζbackCζW^qVW^qLWq,t+1\mathcal T \xrightarrow{\Pi^M_{\zeta}} \mathcal T_{\zeta} \xrightarrow{\mathcal B_{\zeta}} \mathcal G_{\zeta}^{\mathrm{back}} \xrightarrow{\mathcal C_{\zeta}} \widehat W_q \xrightarrow{\mathcal V} \widehat W_q^{*} \xrightarrow{\mathcal L} W_{q,t+1}

其中:

  • ΠζM\Pi^M_{\zeta} :動態記憶顯影;
  • Bζ\mathcal B_{\zeta} :多關係回溯;
  • Cζ\mathcal C_{\zeta} :局部工作態重建;
  • V\mathcal V :驗證;
  • L\mathcal L :載入並延續任務。

11.1 顯影

找出對當前缺口具有必要性的歷史痕跡。

11.2 回溯

沿時間、因果、版本、分支、證據與代理關係尋找來源。

11.3 重建

由原始痕跡、關係結構與標記推定形成局部工作狀態。

11.4 驗證

檢查重建狀態是否能解釋目前狀態,是否與原始證據矛盾。

11.5 延續

將經驗證的局部工作態載入當前任務,但不覆寫原始歷史。


12. 正向重播驗證

12.1 基本原則

若重建出較早狀態:

M^tk\widehat M_{t-k}

可將已知輸入、行動與觀測重新代入:

M~t=F(k)(M^tk,Itk:t,Atk:t,Otk:t)\widetilde M_t = F^{(k)} \left( \widehat M_{t-k}, I_{t-k:t}, A_{t-k:t}, O_{t-k:t} \right)

再比較:

Creplay=Consistency(M~t,Mt)C_{\mathrm{replay}} = \operatorname{Consistency} \left( \widetilde M_t, M_t \right)

12.2 驗證內容

一致性不應只比較文字相似度,而應比較:

  • 目標是否一致;
  • 版本是否一致;
  • 已接受假設是否一致;
  • 失敗路徑是否重現;
  • 決策是否能由當時證據支持;
  • 下一步是否合理;
  • 是否引入無來源的新歷史。

12.3 閉環修正

完整閉環為:

Reverse ReconstructionForward ReplayDifference DetectionReconstruction Revision\text{Reverse Reconstruction} \rightarrow \text{Forward Replay} \rightarrow \text{Difference Detection} \rightarrow \text{Reconstruction Revision}

因此,記憶重建不是一次性生成,而是可反覆修正的工程過程。


13. 差異驗證與反事實檢查

13.1 差異向量

令重播結果與當前狀態的差異為:

ΔMt=MtM~t\Delta M_t = M_t- \widetilde M_t

此處的減法不必理解為單純數值相減,而可分解為:

ΔMt=(ΔG,ΔA,ΔD,ΔF,ΔO,ΔN,ΔP)\Delta M_t = \left( \Delta_G, \Delta_A, \Delta_D, \Delta_F, \Delta_O, \Delta_N, \Delta_P \right)

分別表示目標、假設、決策、失敗、開放節點、下一步與來源標記的差異。

13.2 反事實檢查

若移除某一痕跡 τi\tau_i ,重建狀態明顯失去解釋力,則該痕跡具有較高必要性。

可定義:

N(τi)=C(W^q)C(W^qi)N(\tau_i) = C(\widehat W_q) - C(\widehat W_q^{-i})

其中 W^qi\widehat W_q^{-i} 表示排除 τi\tau_i 後的重建。

此方法可用來區分:

  • 真正的關鍵記憶;
  • 只是語義相似但不影響狀態恢復的內容。

14. 來源、可信度與記憶狀態標記

14.1 狀態分類

每個記憶單元至少應標記為:

  • observed:原始紀錄;
  • derived:由原始紀錄直接推得;
  • reconstructed:由多個關係節點重建;
  • inferred:由缺口推定;
  • speculative:低可信候選;
  • contradicted:已被證據否定;
  • superseded:已被新版本取代;
  • unresolved:仍存在衝突或多解。

14.2 證據序位

基本序位為:

Observed>Derived>Reconstructed>Inferred>Speculative\text{Observed} > \text{Derived} > \text{Reconstructed} > \text{Inferred} > \text{Speculative}

此序位不是絕對真值排序,而是表達來源距離與可撤銷性。

14.3 最小記憶物件

{
  "memory_id": "mem-001",
  "content": "某一工作狀態或歷史命題",
  "status": "reconstructed",
  "confidence": 0.82,
  "evidence": [
    "message-102",
    "file-version-8",
    "tool-result-31"
  ],
  "relations": [
    {
      "type": "supersedes",
      "target": "mem-000"
    }
  ],
  "alternatives": [],
  "contradictions": [],
  "permissions": ["project-agent"],
  "time_range": {
    "start": "2026-07-01",
    "end": "2026-07-03"
  }
}

14.4 語義表述規則

  • observed:可以表述為「紀錄顯示」;
  • derived:可以表述為「依現有紀錄可直接推得」;
  • reconstructed:應表述為「由現有痕跡重建出的狀態是」;
  • inferred:應表述為「目前較可能的缺口推定是」;
  • speculative:應表述為「存在一種低可信可能性」。

推定內容不得被語言風格偽裝成確定回憶。


15. 失敗記憶與負向路徑

15.1 為何成功摘要不夠

一般摘要容易只保留:

  • 最終結論;
  • 成功方案;
  • 可展示成果。

但長期代理若遺失失敗路徑,會重複:

  • 相同錯誤;
  • 已否定假設;
  • 無效工具配置;
  • 已證明不可行的分支;
  • 曾造成污染的推定。

因此:

Failure MemoryOperational Memory\text{Failure Memory} \subset \text{Operational Memory}

15.2 失敗記憶物件

可表示為:

Fi=(Hi,Ai,Ri,Ci,Bi)F_i = \left( H_i, A_i, R_i, C_i, B_i \right)

其中:

  • HiH_i :當時假設;
  • AiA_i :採取行動;
  • RiR_i :結果;
  • CiC_i :失敗原因;
  • BiB_i :適用邊界。

15.3 失敗不是永久禁止

某條路徑在條件 c1c_1 下失敗,不代表在條件 c2c_2 下仍失敗:

Fail(pc1)⇏Fail(pc2)\operatorname{Fail}(p\mid c_1) \not\Rightarrow \operatorname{Fail}(p\mid c_2)

所以失敗記憶必須保存條件,而不是只保存「不可行」標籤。


16. 分支記憶與版本合併

16.1 分支的基本問題

令兩個分支為:

B1=(A,C1)B_1=(A,C_1) B2=(A,C2)B_2=(A,C_2)

其中 AA 是共同祖先狀態, C1C_1C2C_2 是分歧後的變化。

分支合併不能只是:

B1B2B_1\cup B_2

因為兩個分支可能包含:

  • 相互衝突的結論;
  • 不同版本的同一文件;
  • 各自有效的局部假設;
  • 一方已否定、另一方仍使用的前提;
  • 不同工具與資料條件。

16.2 合併流程

分支記憶合併應至少包含:

Common Ancestor DetectionDivergence LocalizationState ComparisonConflict MarkingConditional Merge\text{Common Ancestor Detection} \rightarrow \text{Divergence Localization} \rightarrow \text{State Comparison} \rightarrow \text{Conflict Marking} \rightarrow \text{Conditional Merge}

16.3 非破壞合併

合併結果可表示為:

Wmerge=(Wshared,W12,W21,Wconflict,Wopen)W_{\mathrm{merge}} = \left( W_{\mathrm{shared}}, W_{1\setminus2}, W_{2\setminus1}, W_{\mathrm{conflict}}, W_{\mathrm{open}} \right)

而不是強迫將所有衝突立即解決成單一結論。


17. 多代理記憶交接

17.1 摘要式交接的不足

新代理若只收到一份摘要,可能不知道:

  • 哪些內容來自前代理推定;
  • 哪些結論未經驗證;
  • 哪些工具結果失敗;
  • 哪些分支仍開放;
  • 哪些內容受權限限制;
  • 何處可以安全地繼續。

17.2 交接狀態

多代理交接應傳遞:

HAB=(G,W,E,D,F,O,N,P)H_{A\rightarrow B} = \left( G, W, E, D, F, O, N, P \right)

其中:

  • GG :任務目標;
  • WW :當前工作態;
  • EE :證據;
  • DD :已作決策;
  • FF :失敗路徑;
  • OO :開放節點;
  • NN :下一步;
  • PP :來源、權限與可信度。

17.3 代理來源不可消失

由代理 AA 推定的內容轉交代理 BB 後,不應自動變成無來源事實:

Source(MinferredA)=A\operatorname{Source} \left( M^{A}_{\mathrm{inferred}} \right) =A

且在後續傳播中仍需保留。


18. 動態工作記憶:同一歷史的多種局部重建

18.1 任務相對性

對同一歷史痕跡庫 T\mathcal T ,不同任務可形成不同工作記憶:

Wq1=C(Πq1M(T))W_{q_1} = \mathcal C \left( \Pi^M_{q_1}(\mathcal T) \right) Wq2=C(Πq2M(T))W_{q_2} = \mathcal C \left( \Pi^M_{q_2}(\mathcal T) \right)

通常:

Wq1Wq2W_{q_1} \neq W_{q_2}

例如,同一專案可以分別重建:

  • 數學證明工作記憶;
  • 程式實驗工作記憶;
  • 論文寫作工作記憶;
  • 商業決策工作記憶;
  • 版本除錯工作記憶。

18.2 全部載入不是連續性的必要條件

有效記憶不要求:

Wq=TW_q=\mathcal T

而只要求:

WqT+W_q\subseteq\mathcal T^{+}

其中 T+\mathcal T^{+} 包含原始痕跡與明確標記的重建關係。

因此:

Can Reconstruct When Needed>Always Loaded\text{Can Reconstruct When Needed} > \text{Always Loaded}

19. 記憶連續性的工程定義

19.1 非永久持有式連續性

AI 記憶連續性不必定義為「模型永久持有全部過去」。較可工程化的定義是:

系統能否在需要時,從可信痕跡中重建足以延續任務的局部狀態。

形式上:

Continuity(q)=Usability(C(ΠqM(T)))\operatorname{Continuity}(q) = \operatorname{Usability} \left( \mathcal C \left( \Pi^M_q(\mathcal T) \right) \right)

19.2 連續性構成

可分解為:

Continuity=CG+CD+CE+CF+CO+CNCH\operatorname{Continuity} = C_G+C_D+C_E+C_F+C_O+C_N-C_H

其中:

  • CGC_G :目標恢復度;
  • CDC_D :決策恢復度;
  • CEC_E :證據完整度;
  • CFC_F :失敗路徑恢復度;
  • COC_O :開放節點恢復度;
  • CNC_N :下一步可執行度;
  • CHC_H :無來源歷史幻覺懲罰。

19.3 連續不等於完全相同

恢復後的代理或模型不必重現每一個先前內部狀態。工程目標是:

Operational Equivalence\text{Operational Equivalence}

而不是:

Exact Internal Identity\text{Exact Internal Identity}

20. 遺忘、壓縮與可恢復性

本篇不完整展開遺忘理論,但先建立必要區分。

20.1 刪除、壓縮與失聯

  • 刪除:原始痕跡消失;
  • 壓縮:痕跡被降維或摘要;
  • 失聯:痕跡仍存在,但與正確時間、因果、版本或任務關係斷裂。

因此:

CompressedIrrecoverable\text{Compressed} \neq \text{Irrecoverable}

以及:

Stored⇏Recoverable\text{Stored} \not\Rightarrow \text{Recoverable}

20.2 可恢復性

可以暫時定義:

Rc(τiq)=P(τi can be correctly rebound into Wq)R_c(\tau_i\mid q) = P \left( \tau_i \text{ can be correctly rebound into }W_q \right)

資料即使存在,若無法重新綁定正確關係,其記憶效用仍可能接近零。


21. 從向量記憶到原生張量記憶的接口

21.1 目前向量記憶的角色

一般外部記憶常將痕跡編碼為:

τiviRd\tau_i \mapsto \mathbf v_i\in\mathbb R^d

再依:

S(vi,vq)S(\mathbf v_i,\mathbf v_q)

進行召回。

這種方法適合生成語義候選,但無法原生保存:

  • 同一內容在不同時間的角色;
  • 版本替代關係;
  • 因果與反因果邊界;
  • 分支共同祖先;
  • 來源與權限耦合;
  • 任務依賴與失敗條件。

21.2 向量作為顯影投影

本系列將向量重新定位為:

vτ,ζ=πζ(Mτ)\mathbf v_{\tau,\zeta} = \pi_{\zeta} \left( \mathbb M_{\tau} \right)

其中:

  • Mτ\mathbb M_{\tau} :尚未完全展開的多模式記憶結構;
  • πζ\pi_{\zeta} :依當前任務與顯影條件形成的投影;
  • vτ,ζ\mathbf v_{\tau,\zeta} :當前條件下可用的向量表示。

因此,同一痕跡在不同任務下可以產生不同投影:

vτ,ζ1vτ,ζ2\mathbf v_{\tau,\zeta_1} \neq \mathbf v_{\tau,\zeta_2}

21.3 多模式記憶接口

未來可將記憶空間暫時寫成:

VM=VsemanticVtemporalVcausalVtaskVversionVsourceVagentVpermission\mathcal V_M = \mathcal V_{\mathrm{semantic}} \otimes \mathcal V_{\mathrm{temporal}} \otimes \mathcal V_{\mathrm{causal}} \otimes \mathcal V_{\mathrm{task}} \otimes \mathcal V_{\mathrm{version}} \otimes \mathcal V_{\mathrm{source}} \otimes \mathcal V_{\mathrm{agent}} \otimes \mathcal V_{\mathrm{permission}}

完整記憶態則記為:

MVM\mathbb M \in \mathcal V_M

但本篇只建立接口,不在此定義張量可分離性、糾纏度或分解算法。這些問題將在第三、四篇處理。


22. 記憶顯影作為條件收縮、局部解纏與工作態重組

在原生張量記憶框架中,未來的記憶顯影可以被重新理解為三個步驟。

22.1 條件收縮

令查詢與任務條件為:

Qζ\mathbb Q_{\zeta}

則候選工作域可以表示為:

Mζ=Contract(M,Qζ)\mathbb M_{\zeta} = \operatorname{Contract} \left( \mathbb M, \mathbb Q_{\zeta} \right)

22.2 局部解纏

顯影出的局部態仍可能混合多個來源、版本、因果與代理關係,因此需要:

Δ(Mζ)(Fζ,Eζ)\Delta \left( \mathbb M_{\zeta} \right) \rightarrow \left( \mathcal F_{\zeta}, \mathcal E_{\zeta} \right)

其中:

  • Fζ\mathcal F_{\zeta} :可辨識的來源與關係因子;
  • Eζ\mathcal E_{\zeta} :暫時不可分離的耦合殘差。

22.3 工作態重組

再依當前任務將必要因子重新組成:

W^ζ=Uζ(Fζ,Eζ)\widehat{\mathbb W}_{\zeta} = \mathcal U_{\zeta} \left( \mathcal F_{\zeta}, \mathcal E_{\zeta} \right)

所以未來更完整的核心命題是:

動態記憶顯影不是單純從記憶庫取回片段,而是從總記憶關係態中局部顯影、局部解纏,再依當前任務重新組成工作態。

本篇只給出此接口;差異、合成、演化與投影的完整算子結構,將由後續差合化張量操作論展開。


23. 初步系統架構

可將第一代動態記憶顯影系統表示為:

AMBE=(T,I,R,B,C,V,P,L)\operatorname{AMBE} = \left( \mathcal T, \mathcal I, \mathcal R, \mathcal B, \mathcal C, \mathcal V, \mathcal P, \mathcal L \right)

其中:

  • T\mathcal T :歷史痕跡庫;
  • I\mathcal I :索引與候選生成;
  • R\mathcal R :動態記憶顯影器;
  • B\mathcal B :回溯器;
  • C\mathcal C :重建器;
  • V\mathcal V :驗證器;
  • P\mathcal P :來源、可信度與權限標記;
  • L\mathcal L :工作態載入器。

23.1 分層儲存

第一代工程不必直接實作完整張量記憶,可先採:

Immutable Trace Store+Relation Graph+Vector and Lexical Index+Reconstruction Ledger+Working-State Cache\text{Immutable Trace Store} + \text{Relation Graph} + \text{Vector and Lexical Index} + \text{Reconstruction Ledger} + \text{Working-State Cache}

23.2 不可變痕跡庫

原始紀錄採附加式或版本化保存,避免模型重建結果覆蓋原始證據。

23.3 重建帳本

每次重建應保存:

  • 使用的痕跡;
  • 關係路徑;
  • 推定內容;
  • 替代解釋;
  • 驗證結果;
  • 最終載入狀態;
  • 後續是否被修正。

24. 最小工程流程

接收當前任務與記憶缺口
  ↓
建立權限內候選域
  ↓
執行精確、全文、向量、時間、版本與圖關係召回
  ↓
依缺口解釋力進行動態記憶顯影
  ↓
沿時間、因果、版本、分支與代理關係回溯
  ↓
區分原始痕跡、直接推導、關係重建與缺口推定
  ↓
組成一個或多個候選工作態
  ↓
正向重播與反事實檢查
  ↓
保留替代解釋與矛盾
  ↓
載入經驗證的局部工作態
  ↓
後續新證據可撤銷或修正重建

25. 評估指標

25.1 痕跡召回率

Rtrace=被顯影的必要痕跡數全部必要痕跡數R_{\mathrm{trace}} = \frac{ \text{被顯影的必要痕跡數} }{ \text{全部必要痕跡數} }

25.2 來源精確率

Psource=來源標記正確的重建單元數全部重建單元數P_{\mathrm{source}} = \frac{ \text{來源標記正確的重建單元數} }{ \text{全部重建單元數} }

25.3 狀態恢復率

令標準工作態為 WqW_q^{*} ,則:

Rstate=Match(W^q,Wq)R_{\mathrm{state}} = \operatorname{Match} \left( \widehat W_q, W_q^{*} \right)

可分別比較目標、假設、決策、失敗、開放節點與下一步。

25.4 幻覺污染率

Hmemory=無來源或錯誤來源的記憶命題數全部顯影與重建命題數H_{\mathrm{memory}} = \frac{ \text{無來源或錯誤來源的記憶命題數} }{ \text{全部顯影與重建命題數} }

25.5 重播一致性

Creplay=Consistency(F(k)(M^tk),Mt)C_{\mathrm{replay}} = \operatorname{Consistency} \left( F^{(k)}(\widehat M_{t-k}), M_t \right)

25.6 任務延續成功率

Scontinue=由重建狀態成功延續的任務數全部恢復任務數S_{\mathrm{continue}} = \frac{ \text{由重建狀態成功延續的任務數} }{ \text{全部恢復任務數} }

25.7 重複錯誤率

Erepeat=已記錄失敗仍被重複採用的次數全部後續決策次數E_{\mathrm{repeat}} = \frac{ \text{已記錄失敗仍被重複採用的次數} }{ \text{全部後續決策次數} }

26. 失敗模式

26.1 語義相似替代歷史必要性

系統優先取回語義相似內容,卻錯過真正決定狀態轉移的節點。

修正: 加入因果、版本、任務與缺口解釋力評分。

26.2 敘事過度連續

模型把中斷、矛盾與未決狀態整理成過度順暢的故事。

修正: 保留空缺、衝突與替代重建,不要求歷史必須單線閉合。

26.3 舊版本覆蓋新版本

舊文件因內容更完整或語義更相似而被誤認為有效版本。

修正: 版本關係先於語義排序,明確標記 superseded

26.4 推定污染

一次低可信推定在後續被反覆引用,逐漸失去推定標記。

修正: 來源標記不可在摘要、交接與再顯影中消失。

26.5 失敗路徑被成功摘要刪除

系統再次進入已知失敗路線。

修正: 將失敗記憶設為一等公民,納入工作態重建。

26.6 分支強制單一化

系統在證據不足時強迫選擇一個分支作為唯一真實狀態。

修正: 支援條件式合併、衝突保留與多候選工作態。

26.7 權限後置

系統先在全庫回溯,再於輸出層隱藏敏感內容,可能洩漏受限痕跡存在。

修正: 權限過濾必須先於候選生成與關係展開。

26.8 重建覆寫原始歷史

模型生成的重建被直接寫回原始記憶層。

修正: 原始痕跡庫不可變;重建只能進入獨立帳本與工作態層。


27. 治理原則

原則一:證據先於連續性

不能為了讓歷史看起來完整,而犧牲來源誠實。

Evidence Integrity>Narrative Smoothness\text{Evidence Integrity} > \text{Narrative Smoothness}

原則二:推定不得冒充回憶

MinferredMobservedM_{\mathrm{inferred}} \neq M_{\mathrm{observed}}

原則三:失敗記憶也是有效記憶

FailuresRecoverable Working State\text{Failures} \subset \text{Recoverable Working State}

原則四:重建必須可撤銷

任何重建與推定都應允許被新證據修正、降權或否定。

原則五:權限先於顯影

ΠζM(Tu)\Pi^M_{\zeta}(\mathcal T_u)

而不是先顯影全庫再隱藏。

原則六:局部工作態不得覆寫原始歷史

W^q↛Overwrite(T)\widehat W_q \not\rightarrow \operatorname{Overwrite}(\mathcal T)

原則七:替代解釋應被保留

在重建非唯一時,系統不得僅因輸出便利而刪除其他合理候選。

原則八:來源必須跨代理與跨版本持久化

推定的來源、時間與代理責任不得在轉交後消失。


28. 基礎命題

命題一:相關內容不充分命題

Relevant TextRecovered Working State\text{Relevant Text} \neq \text{Recovered Working State}

找回相關內容不足以恢復任務狀態。

命題二:記憶動態狀態命題

M=(T,R,S,C,P)M=(T,R,S,C,P)

有效記憶由痕跡、關係、狀態、條件與來源共同構成。

命題三:逆問題命題

M^tF1(Mt+1)\widehat M_t \neq F^{-1}(M_{t+1})

記憶重建通常不是精確反演,而是受約束的最優解釋。

命題四:非唯一重建命題

Reconstruct(T)1\left| \operatorname{Reconstruct}(\mathcal T) \right| \geq 1

在不完整證據下,可能同時存在多個合理重建。

命題五:工作態相對命題

Wq1Wq2W_{q_1} \neq W_{q_2}

同一歷史可依不同任務重建出不同局部工作記憶。

命題六:正向驗證命題

Reverse Reconstruction+Forward Replay\text{Reverse Reconstruction} + \text{Forward Replay}

重建必須接受正向重播與差異檢查。

命題七:記憶誠實命題

Observed>Derived>Reconstructed>Inferred>Speculative\text{Observed} > \text{Derived} > \text{Reconstructed} > \text{Inferred} > \text{Speculative}

不同記憶來源層級不得被無差別混同。

命題八:連續性重建命題

Continuity(q)=Usability(C(ΠqM(T)))\operatorname{Continuity}(q) = \operatorname{Usability} \left( \mathcal C \left( \Pi^M_q(\mathcal T) \right) \right)

記憶連續性可由可信痕跡的可用重建實現,而不必要求全部過去永久載入。

命題九:向量投影命題

vτ,ζ=πζ(Mτ)\mathbf v_{\tau,\zeta} = \pi_{\zeta} \left( \mathbb M_{\tau} \right)

記憶向量可被理解為多模式記憶態在特定條件下的局部投影。

命題十:局部解纏與重組命題

MΠζMζΔFζUζW^ζ\mathbb M \xrightarrow{\Pi_{\zeta}} \mathbb M_{\zeta} \xrightarrow{\Delta} \mathcal F_{\zeta} \xrightarrow{\mathcal U_{\zeta}} \widehat{\mathbb W}_{\zeta}

未來的動態記憶顯影可以被描述為條件顯影、局部解纏與工作態重組。


29. 與後續系列的接口

29.1 第三篇:原生張量記憶本體論

第三篇將回答:

  • 為何記憶不應只被表示為向量集合;
  • 多模式記憶空間如何定義;
  • 張量計算與張量原生記憶有何不同;
  • 記憶節點、關係與模式如何共同形成張量態。

29.2 第四篇:記憶糾纏、可分離性與關係原生性

第四篇將回答:

  • 何謂結構性記憶糾纏;
  • 糾纏為何相對於模式分割;
  • 哪些關係可分離,哪些內容只存在於關係項;
  • 如何定義可分離近似與不可分離殘差。

29.3 第五篇:差合化張量操作論

第五篇將建立:

DM=(M,{Δα},{Uβ},T,{Πq},V)\mathfrak D_M = \left( \mathbb M, \{\Delta_\alpha\}, \{\mathcal U_\beta\}, \mathfrak T, \{\Pi_q\}, \mathcal V \right)

用以處理:

  • 差異與解纏;
  • 合成與受控糾纏;
  • 張量結構演化;
  • 條件顯影;
  • 一致性驗證。

29.4 本篇的定位

本篇完成的是:

Semantic RevealingMemory Reconstruction SemanticsTensor-Native Interface\text{Semantic Revealing} \rightarrow \text{Memory Reconstruction Semantics} \rightarrow \text{Tensor-Native Interface}

它使後續張量理論不再只是抽象資料結構設計,而是有明確的記憶恢復任務、來源誠實要求與驗證閉環。


30. 結論

本文提出動態記憶顯影、逆向語義記憶重建與 AI 記憶回溯工程的統一框架,並將系列第一篇的動態語義顯影推進到歷史工作狀態恢復。

本文的核心區分是:

RAG retrieves evidence\text{RAG retrieves evidence}

而:

Memory reconstruction restores a usable state\text{Memory reconstruction restores a usable state}

人工智慧的有效記憶不只是文本、摘要或向量,而是:

M=Trace+Relation+State+Reconstruction+Verification+ProvenanceM = \text{Trace} + \text{Relation} + \text{State} + \text{Reconstruction} + \text{Verification} + \text{Provenance}

完整流程為:

顯影回溯重建驗證延續\text{顯影} \rightarrow \text{回溯} \rightarrow \text{重建} \rightarrow \text{驗證} \rightarrow \text{延續}

其工程目標不是重造一個看似完整的歷史故事,而是從可信痕跡中恢復一個能被檢查、能被修正、能標記不確定性並足以繼續任務的局部工作態。

本篇最終命題可濃縮為:

人工智慧記憶不是過去內容的靜態堆積,而是可信歷史痕跡在當前任務下被顯影、回溯、重建與驗證後形成的可延續狀態。\boxed{ \text{人工智慧記憶不是過去內容的靜態堆積,} \text{而是可信歷史痕跡在當前任務下被顯影、回溯、重建與驗證後形成的可延續狀態。} }

而通往下一階段的命題是:

若記憶的語義、時間、因果、任務、版本與來源本來就共同決定其意義,那麼向量只應是局部投影,記憶本體則應被提升為多模式原生關係態。\boxed{ \text{若記憶的語義、時間、因果、任務、版本與來源本來就共同決定其意義,} \text{那麼向量只應是局部投影,記憶本體則應被提升為多模式原生關係態。} }

附錄 A:最小工作態物件

{
  "task": "目前任務",
  "goal": "任務目標",
  "current_state": "目前進度",
  "accepted_assumptions": [],
  "decisions": [],
  "confirmed_memory": [],
  "derived_relations": [],
  "reconstructed_relations": [],
  "inferred_gaps": [],
  "failed_paths": [],
  "open_nodes": [],
  "next_actions": [],
  "alternatives": [],
  "contradictions": [],
  "evidence": [],
  "confidence": 0.81
}

附錄 B:最小回溯請求

{
  "query": "恢復某項研究任務",
  "recovery_goal": "找回最後有效工作節點",
  "time_scope": "project-lifetime",
  "relation_depth": 5,
  "include_failed_paths": true,
  "include_superseded_versions": true,
  "allow_inference": true,
  "minimum_confidence": 0.6,
  "permission_scope": ["project-agent"]
}

附錄 C:最小重建帳本

{
  "reconstruction_id": "recon-001",
  "task_id": "task-001",
  "trace_ids": ["trace-10", "trace-13", "trace-21"],
  "relation_paths": [
    ["trace-10", "supports", "trace-13"],
    ["trace-13", "superseded_by", "trace-21"]
  ],
  "observed": [],
  "derived": [],
  "reconstructed": [],
  "inferred": [],
  "alternatives": [],
  "contradictions": [],
  "forward_replay_score": 0.87,
  "continuability_score": 0.84,
  "status": "provisional"
}

附錄 D:後續研究問題

  1. 原生張量記憶的最小模式集合為何?
  2. 語義、時間、因果、任務、版本與來源應如何進入同一記憶態?
  3. 哪些記憶關係可被外積分離,哪些具有不可分離的關係原生性?
  4. 如何定義相對於模式分割的記憶糾纏度?
  5. 如何以差合化區分來源因子、耦合項與不可分離殘差?
  6. 如何防止局部解纏破壞由多痕跡共同生成的新知識?
  7. 如何以正向重播驗證解纏與再糾纏結果?
  8. 如何以稀疏張量、張量網路、超圖或動態因子圖實作第一代原型?
  9. 如何測量記憶重建的任務延續性,而非只測量文本相似度?
  10. 如何建立跨代理、跨版本但仍保留來源責任的共享記憶場?