Clearailhc/clearai-dsh

English · 中文

你的研究，长成一个本体。

ClearAI 是一个本体发现与探索平台，核心由两个概念支撑：

- 领域本体（你得到什么）——项目自己的词汇、经循环确立的知识条目、以及它们的图。研究结束时你拿到一个持续生长的知识结构，下一轮按概念检索。
- 认识论循环（你怎么得到它）——七个阶段的纪律化路径：界定、假设、规划、观测、验证、评估、记录。每条边都要经过证据与独立评估的检验。

别的知识图谱靠抽取与断言堆边；这里的每一条边都要通过循环挣得。

左：认识论循环——七阶段。绿点是它落定的事实，也是右侧领域本体的第一个节点。右：本体图——深墨是概念，浅墨是值形态，emerald 是实例；实例上挂着两条互相矛盾的断言——那两个取值染成 amber，就是「这两条读数对不上」。系统只报出冲突，撤回或维持由人决定。

你得到什么：领域本体

一个领域本体，它在你研究的过程中生长：

- 词汇——你的项目用什么语言说话：概念、谓词、值形态、单位。约定本身没有对错，有对错的是用这些词写下的句子。
- 已确立条目——通过了循环的知识：每条带边界、支持等级、证据链。每条都写明适用边界，否则无法安全引用。
- 本体图与实体图——你的领域长什么样（结构），你已经验证出了什么（战况）。
- 冲突读数——两条互相矛盾的结论自动亮出来；系统只报出冲突，撤回或维持由你决定。

你怎么得到它：认识论循环

多数 agent loop 只跟踪一件事：任务做完没有。认识论循环还跟踪一个结论凭什么被信任：

| | 任务循环 | 认识论循环 |
|---|---|---|
| 驱动问题 | 下一步做什么？ | 我们现在知道什么，依据是什么？ |
| 完成 | 模型宣布完成 | 系统按交付的证据算出来 |
| 裁决 | 谁做的谁说了算 | 分离——超过一定等级，做的人不能判自己 |
| 失败 | 删掉、重来、忘掉 | 留下：被推翻的命题是结果，不是噪声 |
| 沉淀 | 一段聊天记录 | 一个本体：本体中的每个关系都有来源和验证记录 |

环内是这台仪器的读数面：横轴是 L0–L4 七个等级，那条虚线是事先登记进判据的阈值；五个观测各带误差棒——被支持的填实、无法判定的画虚圈、被推翻的留在原位打一道斜杠（什么都不删）。开口处那颗 emerald 是唯一越过判据、落定成事实的读数。

运行时，七个阶段压缩为四拍——计划、执行、观察、反思。状态从会话记录派生，没有第二份存储；模型的工具里没有可以宣告某一步完成的字段。

ClearAI 不声称递归自我改进。它提供的是自我改进系统所需要的认识论底座。详见定位与OpenRSI 调研。

安装与使用

npx clearai-dsh install

安装侧的输出跟系统语言走（--lang zh|en 可覆盖；doctor / seed / unseed 同样认这个开关）。运行时依赖只有 zod——图谱那套栈在构建期就打进客户端半了。

装完重启 dsh web（npx @deepseek-ai/dsh web），然后新建会话，在顶部的模式选择器里切换到 ClearAI：

1. 打开 dsh web，点「新建会话」；
2. 点顶部当前的模式名（默认是「标准模式」），展开预设列表；
3. 选 ClearAI——卡片描述就一句:「利用认识论循环构建可信本体。Build a trustworthy ontology through the epistemic loop.」；
4. 像平常一样提问。普通问答照常走；一旦你立了目标并登记假设，系统自动进入知识模式：预检把已知送上来，缺口如实读出来，结论过证据才准入。

ClearAI 模式下的本体图——这场真实会话长出 21 个概念、9 条谓词；同一份账本永远得到同一张图。

如果 PATH 上没有 pnpm：npm install -g pnpm（别用 corepack enable——它装的是版本转发器，可能下载一个自己启动不了的 pnpm）。

从仓库开发：

npm test                       # 15 份套件
node tools/build-package.mjs   # 由源装配 dist/
node tools/verify-package.mjs  # 现场重建并逐字节比对
node docs/diagrams/build-hero.mjs   # 重画产品主图(需 google-chrome)

dist/ 是生成物，不进版本库。见 DSH 集成。

它长什么样

中栏两格可切：产物与本体。右栏：世界树与外脑。

本体——这一格是你的知识主场。顶部是图带：本体图（你的领域长什么样）与实体图（已经验证出了什么）一键切换；点节点或边打开知识 Inspector（定义 / 关系 / 断言 / 证据链 / 历史），「按此过滤」是详情里的显式动作。下面是本体货架：已确立的条目，每条带断言芯片（点开看这个词什么意思）、边界与等级；互相矛盾的自动亮出来。词汇维护区收在最底下——语言先于句子时它自动展开。

图带——本体图与实体图共用同一份确定性投影，同一份账本永远得到同一张图；素材来自一场真实会话（21 概念 · 9 谓词）。

点开任一节点或边：定义、关系、断言、证据链、登记与修订史，一处读完。

世界树——两条路线真的分歧时，各自独立跑、各自带读数；落选的那条留在记录里，采纳是人按的那一下。

产物——中栏把「计划声明交付的」与「盘上真有的」分开摆，不许混为一谈。

外脑——技能与记忆以 DSH 原生条目的形式出现在同一张合并目录里。

案例

- 物理世界工艺实验——传感器热漂移：从立词到冲突现形的完整链路
- AI for Science——WENO 重构的收敛阶，以及「分辨不出来」意味着什么
- 数学探索——把有限数值证据与形式证明严格分开

文档

- 定位 · 领域本体设计
- 认识论循环 · 验证本体 · 循环哲学
- 设计原则 · 灵魂映射 · 术语表
- 知识原生循环执行账本（本轮：分诊 / 预检 / 知识门 / 图 / Inspector）
- 开发计划（含亨通真跑读数）
- 已知缺口 · 权威归属 · 发布验收

它落在 DSH 的哪一层

ClearAI 把认识论层加在 DSH 的组合面上——一个宿主包、一个 agent 预设、一个客户端模块，DSH 引擎一行都没改。工作方式不设限，但它们写不进权威账本（权威边界由测试钉死）。

工作署名

本项目的工作署名单位为基点起源。

Star 曲线

Star History Chart

许可证

Apache-2.0，见 LICENSE。

状态

一个通过 DSH 交付的本地优先本体发现与探索平台。哪些还没实现、哪些还没在真浏览器里验过，都写在已知缺口里。