Symbolic AI：家族關係推理

以家族樹示範 symbolic AI：先定義事實與規則，再對兩位人物做逐步推導。

符號：父母 / 男性 / 女性 / 出生年
規則：父母、手足、祖輩、堂表親
查詢：A 相對於 B 的關係
結果：逐步顯示推導過程
操作方式 1. 選擇人物 A、人物 B。
2. 按「指定人物推導」或「重新抽題」。
3. 用「上一步 / 下一步 / 自動播放」查看推理。
畫面提示 1. 家族樹：高亮目前涉及人物與連線。
2. 知識庫：高亮目前使用的事實與規則。
3. 步驟區：顯示當前推導層級與證據。
查詢中的第一人（X）
查詢中的第二人（Y）
目前推理步驟正在使用的人物

1. 核心概念

Symbols
以符號表示人物與關係，例如 父母(X, Y)。
Facts
已知資料，例如 男性(王建國)、父母(王建國, 王小明)。
Rules
由事實推得新關係，例如 父親(X, Y) :- 父母(X, Y), 男性(X).
Query
查詢：父系年長叔伯(王建民, 王小明)?

2. 知識庫

事實：家族世界的已知資料
規則：如何從事實推出新關係

3. 互動推理

指定人物後，系統會逐步推導 A 相對於 B 的關係。
可直接點下方人物卡片，依序填入人物 A、人物 B。
目前查詢

載入中

尚未推出最後關係

4. 學習重點

先表示，再推理

先用符號建模，再用規則推導。

可檢查

每一步都有對應事實與規則。

可追溯

結果可回看完整推導軌跡。