# 絕對動態解：從答案到判定路徑
## 動態邏輯解與生成判斷系列・第二篇

**英文題名：** *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
$$

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

其可實作形式更接近：

```text
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.
}
$$

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

---

# 參考文獻

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