Skip to main content

SVO 3.0 语义矢量算子手册

修订原则：一切修补均服从极简哲学。不引入新符号，不增加算子数量。只修规则漏洞，只补结构地基。

一、核心哲学：语义物理学

SVO 3.0 将语言处理等同于物理能量传递：

  1. 引力 (Binding)：所有修饰信息向核心词坍缩。"不"、"很"、"被"、"可能"、"所有"——它们本身就是语义完备的词项，通过绑定算子挂载即可，无需额外标记。
  2. 动力 (Vector)：句子通过动作算子释放能量，将施事与受事连接。
  3. 场 (Premise)：任何命题都在一个预设的作用域内才具有真值。

二、四大算子定义

算子 名称 逻辑定义 涵盖语法成分
: 绑定 (Binding) 属性叠加。左侧为右侧的限定。 定语、状语、程度词、否定词、模态词、被动标记、量化词
> 驱动 (Vector) 能量传递。标记施事→受事、动作→目标的流向。 主谓关系、动宾关系、致使逻辑、认知指向
>> 前提 (Premise) 作用域界定。为右侧命题提供背景或先决条件。 条件句、让步背景、介词短语前置
& / | 合取 / 析取 并联与选择。 并列结构、选择关系

辅助符号：( ) 用于逻辑封装，将一组算式打包成一个原子化的域 (Domain)。

三、运算规则

3.1 绑定算子 : 的方向性

公理：: 一律左修饰右。A : B 意味着 A 是 B 的限定。

链式绑定从左到右逐级坍缩：

A : B : C  =  (A : B) : C

A 先修饰 B，形成复合概念 (A:B)，再整体修饰 C。

示例：

AI : 辅助 : 编程     →  (AI的辅助)的编程
不 : 适用            →  否定的适用
很 : 适用            →  高程度的适用
可能 : 涵盖          →  模态的涵盖
被 : 替换            →  被动的替换
所有 : 学生          →  全称的学生
某 : 学生            →  存在的学生

"不"、"被"、"可能"、"所有"等词本身就携带完整语义，不需要额外符号。

固定搭配规则：当两个词构成不可拆分的语义单元（如"十年之遥"、"与此同时"），视为原子词项，不强行用 :拆解。

3.2 前提算子 >> 的作用域

规则一：右辖域原则。>> 的作用域默认延伸到当前括号域的末尾。

A >> B > C > D  =  A >> (B > C > D)

A 是整个 B > C > D 的前提。

规则二：嵌套隔离原则。括号切断 >> 的作用域。

X > Y > (A >> B > C)

A 只是 B > C 的前提，不影响外层 X > Y。

规则三：禁止同一层级出现无括号的平行 >>。

❌  A >> B >> C         （歧义）
✅  (A & B) >> C        （A 和 B 共同作为前提）
✅  A >> (B >> C)       （A 是外层前提，B 是内层条件）

3.3 运算优先级

从高到低：

( )  >  :  >  >  >  >>  >  &  >  |

即括号最紧，绑定次之，驱动再次，前提更松，合取/析取最松。

示例：

A : B > C & D > E

解析为：

((A : B) > C) & (D > E)

3.4 条件句的处理

条件句（"如果…就…"）的前提必须是一个完整命题，不能压缩为名词短语。

❌  (不 : 公开) : 该计划 >> ...      （条件被压成了定语）
✅  (该计划 > 不 : 公开) >> ...       （条件保留为完整命题）

四、标准拓扑模型与示例

4.1 话题-核心模型 (Topic-Focus)

拓扑：(前提) >> 主体 > 动作 > 受事

原句：在AI辅助编程方面，Karpathy更偏向"协作式中间态"。

(AI : 辅助 : 编程 : 方面) >> Karpathy > (更 : 偏向) > (协作式 : 中间态)

4.2 身份属性嵌套模型 (Identity Nesting)

拓扑：(多重属性) : 实体 > 动作 > (命题)

原句：OpenAI的创始元老Karpathy表示AGI仍有十年之遥。

(OpenAI : 创始 : 元老) : Karpathy > 表示 > (AGI > 仍有 > 十年之遥)

"十年之遥"为原子词项，不拆解。

4.3 致使模型 (Causative)

拓扑：原因 > 致使动词 > 受事 > 结果动作 > (命题)

原句：论文促使Tishby认识到理论可能涵盖广泛的过程。

论文 > 促使 > Tishby > 认识到 > (理论 > (可能 : 涵盖) > (广泛 : 过程))

4.4 被动与否定复合模型 (Negative & Passive)

拓扑：主体 > (否定 : 动作) & (被动 : 动作)

原句：现有框架不仅不适用，而且必须被立刻替换。

现有 : 框架 > (不 : 适用) & (必须 : 被 : 立刻 : 替换)

"必须"、"被"、"立刻"依次从左到右绑定到"替换"。

4.5 条件句模型（修订新增）

拓扑：(条件命题) >> (结果命题)

原句：该计划如果不公开，就无法获得认可。

(该计划 > 不 : 公开) >> (该计划 > (无法 : 获得) > 认可)

前提是完整命题 该计划 > 不:公开，而非名词短语。

4.6 量化模型（修订新增）

原句：所有学生都通过了考试。

所有 : 学生 > 通过 > 考试

原句：没有学生通过考试。

没有 : 学生 > 通过 > 考试

"所有"和"没有"与"不"、"被"一样，直接作为词项绑定，无需额外机制。

五、实战解析（修订版）

挑战长难句

原句：作为前负责人，Karpathy今天明确向团队表示，该计划如果不公开，就无法获得认可。

SVO 3.0 表达式：

(前 : 负责人) : Karpathy >> (今天 & 明确 & (向 : 团队)) : 表示 > ((该计划 > 不 : 公开) >> (该计划 > (无法 : 获得) > 认可))

逐层解析：

层级 算式片段 说明
身份前提 (前:负责人) : Karpathy >> 身份作为话语权前提
言说行为 (今天 & 明确 & (向:团队)) : 表示 时间、方式、对象三状语合取后绑定到"表示"
宾语域 > (...) "表示"的内容是封装的命题域
条件前提 (该计划 > 不:公开) >> 完整条件命题
结果命题 (该计划 > (无法:获得) > 认可) 结论

六、书写步骤

  1. 识别核心词：找出施事和主动作。
  2. 引力坍缩：将所有修饰词（含"不"、"被"、"可能"、"所有"等）用 : 挂载到被修饰的核心词上。固定搭配视为原子词项。
  3. 确定前提：背景交代（"在…下"）或条件句（"如果…"）用 >> 分隔。条件前提必须保留为完整命题。
  4. 连接矢量：用 > 串联动作的始发与终点。
  5. 检查递归：宾语是完整句子时用 ( ) 封装。
  6. 处理并列：并列成分用 &（共存）或 |（选择）连接。
  7. 检查优先级：确认解析顺序符合 () > : > > > >> > & > |。

七、修订对照表

问题 原始版本 修订版本
: 方向性矛盾 定义左修饰右，但 十年:之遥 反向 严格左修饰右；固定搭配为原子词项
>> 作用域模糊 未定义多 >> 的嵌套规则 右辖域原则 + 嵌套隔离 + 禁止同级平行
&/| 无优先级 未定义 明确优先级链
缺量化机制 无法区分"所有"与"某个" "所有"、"某"、"没有"直接作为绑定词项
条件句处理错误 条件被压缩为名词短语 条件前提必须是完整命题

八、设计边界

当前版本有意不处理以下现象，留待未来扩展：

  1. 时态与体：不区分"正在做"、"已经做过"、"将要做"。同理可用词项绑定处理（如 已经 : 完成）。
  2. 语气：疑问、祈使、感叹未纳入。
  3. 共指与回指：代词指代消解未处理。
  4. 比较结构："A比B更大"缺乏专用拓扑。

九、终极理想

SVO 3.0 将自然语言降维为语义流。当你看到 A : B > C 时，你看到的不是三个词，而是一个带有 A 属性的 B，正在向 C 发射能量。四个算子，足够编码一切。

Back to top