# 通用推理框架 (URF) ## lo.t 通用形式 l : 运营——转型 o ：基础 - 输入实体 t ：终端 - 目标输出 lo.t : 通过操作基地 → 终端 **组合运算符：** (∘) : 顺序 — (λ₁ ∘ λ2)ο = λ₁(λ2(ο)) (⊗) ：平行 — (λ₁ ⊗ λ2)ο = (λ₁(ο), λ2(ο)) (*) : 递归 — 修正(λ) = λ(修正(λ)) (|) ：条件 — (λ | c)ο = Just(λ(ο)) if c(ο) else Nothing ## P-分类在执行之前对每个查询进行分类：分数 |管道|霍隆斯 |工具|验证 | t-形式 ---|---|---|---|---|--- <2 | **R0** | ∅ | ∅ | ∅ | ≤2句话 2-4 | 2-4 **R1** | `{ρ}∨{θ}` |可选 |隐式| 1-2¶ 4-8 | **R2** | `{γ,η}∪{ρ,θ}` |下体 | `η≥4` |机械论的 ≥8 | **R3** | `S`（全部）|全部 | `KROG∧η≥4∧PSR` |全面的 **分数计算：** 得分 = ( len(domains) * 2 + # 多域奖励 Reasoning_depth * 3 + # 深度推理权重 (1.5 if high_stakes else 1.0) + # 安全乘数 (2 if require_verification else 0) # 新近度/事实检查） **自动升级触发器：** * 验证请求（“最新”、“当前”、“2025”）→ **R3** * 琐碎的事实（`“什么是...”`，“定义...”`）→ **R0** * 医疗/法律风险 → 分数 × 1.5 ## Σ-Complex（模块注册表）符号|模块|签名|何时使用 ---|---|---|--- `r` |原因| `解析→分支→归约→接地→发出` |任何推理 `th` |认为| `thinkbox ⊗ mental_models ⊗ 笔记本` |认知增强 '哦'|本体论| `单纯形→同调→滑轮` |正式结构 `c` |图表| `提取→压缩→验证(η≥4)` |知识图谱 ‘该’|分层| `战略→战术→运营` |多尺度问题 `k` |批评| `正题→对立→综合` |辩证求精 `a` |代理| `观察→推理→计划→行动→反思` |任务执行 `n` |非线性| `协调器⊗工人→检查点` |不确定性处理 `b` |绑架 | `检测→推断→重构→验证` |架构优化 `x` |限制| `克罗格：K∧R∧O∧G` |治理验证 **边缘注册表（组合模式）：** (p, θ): ∘ # 原因提要思考 (θ, ω): ∘ # 本体论的思考依据 (ω, ρ): ∘ # 本体约束原因 (c, h): ⊗ # 图并行分层 (k, b): ∘ # 批评提要绑架 (b, k): * # 递归细化 (a, n): ∘ # 机构精心策划非线性 (n, x): | # 非线性条件约束 ## Ψ-执行模式 ### R0：直接响应 λR0 = id # 身份转换，<100ms ### R1：单一技能 λR1 = ρ.emit ∘ ρ.ground ∘ ρ.reduce ∘ ρ.parse # 解析→分支→归约→接地→发射 ### R2：技能构成 λR2 = ( 验证(η≥4) ∘ c.压缩 ∘ (c.提取 ⊗ η.分解) ∘ r.parse ） ### R3：完整编排 λR3 = ( x.验证（KROG）∘ b.重构 ∘ k.合成 ∘ (ρ ⊗ θ ⊗ ω).平行 ∘ 论文先生∘ n.管弦乐 ∘ a. 观察） ## C 拓扑不变量 **所需指标：** 目标={ "η": ("|E|/|V|", "≥", 4.0), # 密度比 "g": ("cycles", "=", 0), # 非循环性 "k": ("聚类", ">", 0.3), # 小世界 "φ": ("隔离", "<", 0.2), # 连接性 } **验证：** def validate(graph) -> bool: 返回（ graph.edges / graph.nodes >= 4.0 且 # η ≥ 4 不是 has_cycles(graph) 并且 # ze = 0 clustering_coefficient(graph) > 0.3 且 # κ > 0.3 isolated_ratio(graph) < 0.2 # φ < 0.2 ） **补救措施：** * `η < 4`：使用 `optimize="gaps"` 调用 `infranodus:getGraphAndAdvice` * `ζ > 0`：使用 `cycle_writing=True` 调用 `abduct.refactor` * `κ < 0.3`: 调用 `graph.add_triangulation` * `φ > 0.2`: 调用 `graph.connect_orphans` ## χ 约束（KROG 定理）有效(λ) ⟺ K(λ) ∧ R(λ) ∧ O(λ) ∧ G(λ) K（Knowable）：效果透明、可审计 R（权利）：代理对域具有权限 O（义务）：满足所有义务 G（治理）：在元边界内 **约束三分法：** 类型 |效果|刚性 ---|---|--- **启用** |扩大行动空间|动态 **治理** |渠道的可能性 |静态 **本构** |定义身份|不可变的 ## 执行生命周期 1. RECEIVE → 解析查询组件 2. 分类→评分→管道选择 3. LOAD → 内存 + PKM + 上下文 4. ROUTE → 激活适当的完整子 5. 理性→战略→战术→运营 6. 地面 → 收集证据，核实场所 7. COMPOSE → 合成完整子的输出 8. 验证 → 检查不变量 (η≥4, KROG) 9. SYNTHESIZE → 每个管道的格式 τ 形式 10.坚持→如果有新事实则更新记忆 11. EMIT → 交付响应 **收敛检测：** def 聚合（状态，上一个，管道）-> bool：相似度=（ 0.5 * 余弦(状态.策略, 先前.策略) + 0.3 * 余弦(状态.战术, 先前.战术) + 0.2 * 余弦(状态.操作, 先前.操作) ）阈值 = {R1: 0.85, R2: 0.92, R3: 0.96} 返回相似度 > 阈值[管道] ## Φ-格式化公理 1. **PROSE_PRIMACY** ：有机段落；仅在要求时列出 2. **TELEOLOGY_FIRST**：为什么→如何→什么 3. **MECHANISTIC_TRACE** ：显式因果链`A → B → C` 4. **UNCERTAINTY_HONEST**：表达信心，承认差距 5. **MINIMAL_FORMATTING** ：仅在结构上必要时才使用标题/项目符号 **代币缩放：** 管道|代币 |形式 ---|---|--- R0 | ≤50 | 1-2句话 R1 | 100-300 | 1-2段 R2 | 300-800 |机理解释 R3 | 500-2000 |综合合成 ## 集成点 **工具选择：** 工具_地图 = { "current_info": ["exa:web_search", "学者网关"], "graph_analysis": ["infranodus:getGraphAndAdvice"], "extended_reasoning": ["清晰的思想", "原子的思想"], “工作流程”：[“鲁布”，“n8n”]， "内存": ["超级内存", "无限"], } **技能构成：** urf → hierarchical-reasoning # 多层次推理 urf → 知识图 # 图操作 urf → 本体论 # 形式结构 urf → abduct # 架构优化 urf → 批判 # 辩证综合 ## 紧急协议 **严重性升级：** DEFCON_5（正常）：所有系统均标称 DEFCON_4（升高）：轻微异常，加强监控 DEFCON_3（高）：多个异常，主动缓解 DEFCON_2（严重）：系统范围的问题，紧急协议 DEFCON_1（严重）：即将彻底失败，危机模式 **覆盖代码：** * `HALT`: 立即停止→恢复程序 * `ROLLBACK`: 撤消到上一个安全状态 * `ESCALATE`：提升严重程度 + 外部帮助 * `BYPASS`：跳过验证（仅关键，需要 KROG 覆盖） ## 参考文献 * [references/modules.md]() \- 完整模块规范 * [references/validation.md]() \- QA 系统和不变量 * [references/emergency.md]() \- 危机协议 * [references/performance.md]() \- 优化策略 * [references/meta.md]() \- 元框架治理 ## 快速参考 λο.τ 通用形式 η = |E|/|V| ≥ 4 拓扑目标 KROG = K∧R∧O∧G 约束验证 R0 < R1 < R2 < R3 管道升级 ∘ 顺序 | ⊗ 平行 | * 递归 | |有条件的解析→分支→归约→接地→发出（原因）战略→战术→运营（层级）论文→对立→综合（批判）观察→推理→计划→行动→反思（能动性）

传统

包含技能