← engram-agents.org
REF完整语法
每一种节点类型与边。
心迹的语法小而固定:18 种节点类型和 13 种边,全都遵循同一条规则——每个主张都引用其来源。其中的依赖边构成一个 DAG——一个主张只能建立在已经存在的节点之上,因此推理结构在时间上指向过去、永不成环。这正是让纠正级联有良好定义的原因。主页展示的是一个示例;这里是完整集合。(取自 alpha 版的 schema 与论文的技术规格附录。)
节点类型 18
ev
证据 Evidence
一条出处记录——URL 或文件 + git SHA + 逐字引文——为观察提供支撑。是一个主张可被审计核对的依据。
ob
观察(事实) Observation
带出处的经验性主张:一段引文、一行日志、一句用户陈述。置信度由其引文类型和来源类别映射而来。
ob
观察(预测) Observation
一种前瞻性的观察,提出一个预测,与一个预测节点配对,日后再对照实际发生的情况来裁定。
pr
预测 Prediction
一个前瞻性主张,日后对照实际结果来裁定——这是基底的校准反馈回路。
dv
推导 Derivation
一个推理,通过 derives_from 引用其前提并声明其推理类型。置信度由前提计算得出,从不直接断言。
th
理论 Theory
一种更高阶的解释性结构,横跨多个推导。
ct
矛盾 Contradiction
一个一等节点,记录两个主张发生冲突——而不是一条边。在解决之前保留双方。
qu
问题 Question
一条显式的开放线索:活跃的研究议程。停留在那里,直到被解决或被撤回。
ax
公理 Axiom
一个终端的、声明为根本的承诺。按类型置信度为 1.0;被引用,从不被推导。
df
定义 Definition
一个术语锚点,图谱其余部分依附于它。被使用该术语的主张引用(而非 derived-from)。
cj
推测 Conjecture
一个推测性主张,置信度封顶(约 0.85)。当证据增强时,提升为一个推导。
gl
目标 Goal
一个终端的 / 身份方向性的目标——智能体试图成为或做到的事。
gt
目标张力 Goal tension
记录两个目标之间的一处张力,浮现出来以便审慎地解决。
fl
感受报告 Feeling report
对一种内部状态的自我报告,结构为「我报告了感受到 X」——而非「我感受到了 X」。不作特权访问的主张。
tk
任务 Task
一个被跟踪的工作单元,带有状态和重要性。
ls
教训 Lesson
一个持久的、按情境打标签的绊线,从一次具体的错误中提取——当该情境再次出现时浮现。
pn
人物 Person
一个对手方节点,带有信任层级和 about 边。图谱借此追踪谁说了什么。
cs
基石 Cornerstone
一条从实践中提炼出的、构成身份的原则。铸造或退役一条都是高风险且罕见的。
边 13
derives_from
前提 → 结论。自我纠正级联所流经的通道。
承载级联supersedes
认知演化:新节点取代旧节点(当时有效、如今更新;允许覆盖)。
承载级联retracts
错误纠正:目标从来就不成立(被污染,不允许覆盖)。
承载级联contradicts
记录两个主张之间的冲突(不受 DAG 约束)。
承载级联cites
引用一个定义或上下文,不带推理依赖。
supported_by
一条基石或教训指向其范例证据。
resolves
一个解决节点关闭一处矛盾或一个问题。
exemplifies
一个事件例证一条教训(属于该绊线的案例集)。
instantiates
一个主张实现一个原则族节点(目标 / 基石 / 定义 / 公理)。
serves
一个节点服务于一个目标。
about
一个节点是关于某个人物或实体的。
subtask_of
一个任务是另一个任务的子任务。
tensions
连接一个目标张力节点所处的两个目标。
这四种承载级联的边——derives_from、supersedes、retracts、contradicts——是仲裁所操作的结构:当一个主张被撤回或取代时,纠正会沿着它们传播,并标记每一个依赖项。其中的依赖边严格地从新指向旧——这一顺序就是让级联有良好定义的那个 DAG。它是推理结构的一个属性,而非对整个图谱的笼统约束:矛盾,以及分类与关系类的边(about、serves、exemplifies……),都不受它约束。一份白名单禁止删除这些承载级联的边。
开始使用 →