絕對動態解：從答案到判定路徑

動態邏輯解與生成判斷系列・第二篇

英文題名： Absolute Dynamic Solution: From Answers to Judgment Paths
版本： v0.1
日期： 2026-08-16
作者： Neo.K（概念提出）／Aletheia（理論整理與形式化協作）

摘要

本文重新提取 Neo.K 於 2026 年 2 月提出的 Absolute Dynamic Logic（ADL）之核心思想，但不直接繼承舊版本全部強命題。舊 ADL 將靜態悖論轉向動態判斷，並以強制判斷、判斷序列、CRASH 與動詞性本體等概念嘗試重構「絕對判斷」。

本文把其中最可保留、亦最容易工程化的核心進一步抽象為「絕對動態解」（Absolute Dynamic Solution, ADS）：

\boxed{ \text{一個解，不只是一個結果； 它可以是一條滿足約束、保存來源並能被重播的狀態轉移路徑。} }

若傳統解表示為：

x^\ast,

則動態解表示為：

\gamma = ( S_0, F_0, S_1, F_1, \ldots, F_{n-1}, S_n ).

其中 $S_i$ 為狀態， $F_i$ 為合法變換。終點 $S_n$ 仍然重要，但「為何到達 $S_n$ 」不再被排除於解之外。

本文定義 admissibility、closure、reopenability、provenance 與 solution equivalence，並指出動態解不是以「一切永遠變化」取代靜態答案，而是在需要的問題域中增加一個更高階的解型別。此結構可用於科學判斷、AI 推理、因果審核、法律決策、可執行論文與可不可論。

一、從靜態解開始

傳統數學問題常寫：

F(x)=0

並尋找：

x^\ast

使：

F(x^\ast)=0.

這是一個極其有效的「終點型解」。

本文不否定它。

但有些問題真正關心的是：

如何到達；
使用哪些證據；
哪些步驟合法；
途中是否違反約束；
是否可重播；
是否可重新開啟；
是否存在不同但等價的路徑。

因此需要另一種解型別。

二、動態解的基本型別

定義狀態空間：

\mathcal S.

定義合法轉移集合：

\mathcal F = \{ F_i:\mathcal S\rightarrow\mathcal S \}.

一條有限動態解路徑為：

\gamma = ( S_0 \xrightarrow{F_0} S_1 \xrightarrow{F_1} \cdots \xrightarrow{F_{n-1}} S_n ).

若：

S_n\in\mathcal G

其中 $\mathcal G$ 為 goal / closure set，則 $\gamma$ 是候選解。

但候選不等於有效。

三、可接受動態解

令約束集合為：

\mathcal C = \{ C_1,\ldots,C_m \}.

若對每一步：

C_j(S_i,F_i,S_{i+1})=1

對所有必要 $i,j$ 成立，則稱：

\operatorname{Admissible}(\gamma)=1.

因此：

\boxed{ \text{ADS} = \{ \gamma \mid \operatorname{Goal}(\gamma)=1 \land \operatorname{Admissible}(\gamma)=1 \}. }

四、終點相同不代表解相同

考慮：

\gamma_1: S_0\rightarrow S_a\rightarrow S_n,

與：

\gamma_2: S_0\rightarrow S_b\rightarrow S_n.

雖然：

\operatorname{End}(\gamma_1) = \operatorname{End}(\gamma_2),

仍可能：

\gamma_1\not\equiv\gamma_2.

原因可能是：

證據來源不同；
中間狀態不同；
代價不同；
權限不同；
可逆性不同；
造成的外部效果不同；
責任分布不同。

因此定義多層 solution equivalence。

終點等價

\gamma_1 \equiv_E \gamma_2 \iff \operatorname{End}(\gamma_1) = \operatorname{End}(\gamma_2).

行為等價

\gamma_1 \equiv_B \gamma_2

表示對相關觀察域產生相同可見結果。

責任等價

\gamma_1 \equiv_R \gamma_2

表示其代價與責任分布在指定度量下等價。

五、絕對動態解中的「絕對」

本文對「絕對」採取比舊 ADL 更弱、更工程化的定義。

它不是宣稱：

此系統已知道所有宇宙中的絕對真理。

而是指：

\boxed{ \text{解物件本身不得靜默刪除其必要判定歷史。} }

對一個給定的運行而言，其 canonical record 至少應包含：

\mathcal R_\gamma = ( S_0, E, F, S_n, \mathcal C, \mathcal H, \mathcal P )

其中：

$S_0$ ：初始狀態；
$E$ ：輸入／證據；
$F$ ：轉移規則；
$S_n$ ：當前終態；
$\mathcal C$ ：約束；
$\mathcal H$ ：執行歷史；
$\mathcal P$ ：provenance。

「絕對」在此首先表示不可只拿終點替整個解冒名。

六、舊 ADL 的 CRASH 問題

舊 ADL 將：

J(P)\in\{\top,\bot,\mathrm{CRASH}\}.

其中 CRASH 包含無進展循環或矛盾振盪。

後續三態理論指出，其中至少一部分 CRASH 應重新理解為：

\Omega = \text{process not yet stably closed}.

因此本文不再將所有非閉合狀態統一壓成失敗。

定義：

\operatorname{Status}(\gamma_t) \in \{ \text{open}, \text{closed}, \text{blocked}, \text{conflicted}, \text{failed} \}.

這使：

\boxed{ \text{open} \neq \text{failed}. }

七、非閉合路徑

一條路徑可能在目前時間：

\gamma_{0:t}

尚未到達 closure。

這種情況不是「沒有解物件」。

它是一個：

\boxed{ \text{partial dynamic solution}. }

記為：

\gamma^{?}_{0:t}.

其後：

\gamma^{?}_{0:t} \rightarrow \gamma^{?}_{0:t+k}

可以持續生長。

這正是後續 $\Omega$ 的工程語義入口。

八、重新開啟已閉合解

假設：

\gamma_{0:n}

在 $t_n$ 已閉合。

若新事件：

e_{n+1}

使某核心約束：

C^\ast

不再滿足，則：

\operatorname{Reopen} ( \gamma_{0:n}, e_{n+1} ) = \gamma^{?}_{0:n+1}.

因此：

\boxed{ \text{closed} \neq \text{irreversible by definition}. }

但也不能讓任何微小資訊都無限重開。

因此需要 reopen threshold：

\Delta(e,S)>\rho.

九、解的歷史不可逆，判定可以逆轉

這是本理論極重要的非對稱。

如果：

J(P,t_1)=\top_p

之後：

J(P,t_2)=\bot_p,

則判定方向可逆轉。

但：

\boxed{ \operatorname{History}(t_1) \neq \varnothing }

不可被抹除。

所以：

\text{Judgment Direction} \quad \text{may reverse},

但：

\text{Historical Occurrence} \quad \text{does not reverse}.

這為責任論提供基礎。

十、動態解與生成

動態解不是單純 replay log。

若某一步推理本身產生新命題：

Q_{new},

則狀態空間可能擴張：

\mathcal S_t \subset \mathcal S_{t+1}.

甚至判定域：

\Gamma_t \neq \Gamma_{t+1}.

因此可以有：

\boxed{ \text{solving changes the space of solvable questions}. }

這是「生成邏輯」比一般 workflow history 更強的地方。

十一、生成大於解構

若解構算子：

\mathsf D(X_t)

拆除舊結構，

而生成算子：

\mathsf G( \mathsf D(X_t), \Gamma_{t+1} ) = X_{t+1},

則常有：

X_{t+1} - \mathsf D(X_t) \neq \varnothing.

差集可能包含：

新問題；
新變量；
新觀察位置；
新規則；
新假說；
新選擇空間。

因此解的執行不必只縮減 uncertainty，也可能增加問題維度。

十二、與程式執行的關係

PDL 將程式：

\alpha

視為狀態轉換，並可討論：

[\alpha]\phi

等命題。

ADS 與此親緣明顯，但不把自己等同 PDL。

ADS 將：

\gamma

視為帶證據、來源、判斷狀態與責任資料的運行解物件。

其可實作形式更接近：

initial state
→ event
→ transition
→ intermediate state
→ evidence
→ recomputation
→ closure
→ possible reopen

十三、動態解與 Bayesian Update

若 $H$ 是假說，可以在狀態中保存：

p_t = P_t(H).

新證據：

E_{t+1}

使：

p_{t+1} = P(H\mid E_{\leq t+1}).

但 ADS 保存的不只有 $p_t$ 。

它還保存：

( p_t, \text{source}, \text{model}, \text{counterevidence}, \text{closure policy}, \text{history} ).

因此對外可以渲染成「貝葉斯邏輯判斷器」，內部則保留更高維狀態。

十四、最小 ADS 物件

可定義：

\boxed{ \mathfrak D = ( \mathcal S, \mathcal E, \mathcal F, \mathcal C, \mathcal G, \mathcal H, \mathcal P ) }

其中：

$\mathcal S$ ：狀態空間；
$\mathcal E$ ：事件／證據；
$\mathcal F$ ：轉移；
$\mathcal C$ ：約束；
$\mathcal G$ ：閉合條件；
$\mathcal H$ ：歷史；
$\mathcal P$ ：來源與 provenance。

十五、動態解的五個必要性質

15.1 Traceability

任一終態皆可追溯其來源。

15.2 Replayability

給定相同 canonical input 與 runtime version，可重播。

15.3 Explicit Closure

不得把「目前停止運算」與「邏輯已終極完成」混同。

15.4 Reopenability

有明確條件可因新證據重開。

15.5 Non-erasure

舊判斷與舊行動不可被新版本靜默抹除。

十六、與可不可論的接口

此時「可」可以表示：

\mathsf{Can}_t \subseteq \mathcal F_t

即當前允許的生成／行動轉移。

「不可」可表示：

\mathsf{Cannot}_t = \mathcal F_t \setminus \mathsf{Can}_t

但在更完整版本中，不可不只是一個補集，還可能包含：

認識限制；
規範禁止；
權限禁止；
邏輯不可能；
代價上限；
不可僭位條件。

因此：

\boxed{ \text{可不可論} = \text{dynamic transition governance}. }

這比「可以／不可以」的普通語義更接近其真正結構。

十七、與負罪前行的接口

如果動態解在時間 $t$ 只能取得暫時閉合：

S_t^{\mathrm{closed}},

有限主體仍然可能必須行動。

所以：

\boxed{ \text{Uncertainty} \not\Rightarrow \text{No Action}. }

但行動後：

\boxed{ \text{Revision} \not\Rightarrow \text{No Responsibility}. }

這構成後續「負罪前行」的形式入口。

十八、從論文到 Runtime

若一篇論文中的公式：

y=f(x)

只是文字，則讀者看到的是：

\operatorname{Render}(f).

若公式可執行，則：

x_t \rightarrow f \rightarrow y_t.

若再加入證據、狀態與歷史：

E_t \rightarrow J_t \rightarrow \gamma_t.

此時論文不只「描述一個解」，而是在：

\boxed{ \text{運行一個解}. }

十九、本文的弱主張與強主張

弱主張

某些問題中，把完整判定歷史作為解物件的一部分，具有認識論與工程價值。

中等主張

AI 與科學研究系統若要維持可追溯修正，應把：

\text{state history}

視為 first-class data。

強主張

所有合理的「解」本質上都是動態路徑。

本文目前不證明此強主張。

二十、結論

本文把「絕對動態解」重新定義為：

\boxed{ \text{一條可接受、可追溯、可重播、 可暫時閉合且可在明確條件下重新開啟的狀態轉移歷史。} }

這不取代靜態答案。

它增加一種更適合研究：

知識變化；
AI 推理；
可不可生成；
責任；
因果審查；
可執行論文；

的解型別。

下一篇將處理最關鍵的中間態：

\boxed{ \Omega. }

它究竟是第三個真值，還是一個正在發生的判定？

參考文獻

Neo.K. 絕對動態邏輯理論：從靜態悖論到強制判斷. EveMissLab, 2026-02.
Neo.K & Theia. 三態邏輯學：從終極維到絕對維的永恆回歸. EveMissLab, 2026-02.
Fischer, M. J., & Ladner, R. E. (1979). Propositional Dynamic Logic of Regular Programs. Journal of Computer and System Sciences, 18(2), 194–211.
Alchourrón, C. E., Gärdenfors, P., & Makinson, D. (1985). On the Logic of Theory Change. Journal of Symbolic Logic, 50(2), 510–530.
Dynamic Epistemic Logic. Stanford Encyclopedia of Philosophy, Spring 2026 Edition.