概念手记
会话里问过的几个「是什么」——收在这里，方便以后回看。和图谱结构无关的纯概念，也单独成页，避免和本体/桥接搅在一起。
概念 1
交互式网页是什么
页面不只「摆在那给你看」，你还能动手改变它显示的东西。
| 静态 | 交互式 | |
|---|---|---|
| 你做什么 | 主要滚动、点链接换页 | 缩放、拖拽、折叠、点按钮、填表 |
| 内容怎么变 | 往往要换另一个 HTML | 同一页里立刻变 |
| 比喻 | 印好的海报 | 能拧的仪表盘 |
两种常见交互：
- 只在前端浏览器里的 JS 改画面，不必问服务器。例：Markmap 缩放折叠、演示页计数换色。
- 前端 + API先请求服务器，再用返回结果改画面。例：桥接校验、新建决策写入库。
动手对照：/interactive-demo.html · Markmap：/mindmap-markmap.html
概念 2
马尔可夫链是什么
一种「下一步只看现在、不看更早历史」的随机过程模型。
可以想成三样东西：
- 状态例如：晴 / 阴 / 雨，或网页 A / B / C
- 转移概率从每个状态跳到别的状态的一张表
- 走路方式按表掷骰子：现在 → 下一步 → 再下一步……
例子：今天阴 → 明天晴 0.3、继续阴 0.5、雨 0.2。模型不用再问「昨天是不是也阴」。
一句话：带概率的状态机；记性很短，只记得现在。
常见出现处：简化天气模型、网页随机冲浪（和 PageRank 思想有关）、早期语音/文本序列模型等。
概念 3
元本体是什么
用来描述「本体本身」的那一层规矩：什么叫类、什么叫属性、能不能互斥、怎么继承。
| 层 | 例子 | 管什么 |
|---|---|---|
| 元（语言） | owl:Class、rdfs:subClassOf、owl:disjointWith | 怎么写本体 |
| 领域本体 | Decision、chooses、WebPage | AYXK 里有什么 |
| 实例 / 库 | 「主存储选型」、某条边 | 具体故事 |
Protégé、HermiT 用的已经是标准元层（OWL / RDFS）。你们写 ayxk-v1.owl 时，其实是站在现成元本体上填领域内容，并不是从零发明「什么叫类」。
我们需不需要？
- 网页说明：需要先写清三层，避免把「OWL 关键字」和「Decision」当成同一层东西。
- 再造一套元元文件：现在不需要不必手搓第二份 OWL 去定义「什么叫 Class」。沿用 W3C OWL 即可。
- 以后可能要惦记的时机多个领域本体要对齐、要做本体编辑器/交换标准、或自造非 OWL 的写法时，再考虑轻量元模型。
领域本体人读版：/ontology.html · 分层总览：/system.html · AST：/ontology-ast.html
概念 4
自我模型是什么
系统对自己的可更新描述：我是谁、能干什么、现在哪、有哪些边界。不是自我意识。
| 块 | 内容 |
|---|---|
| 身体 / 接口 | 感官、工具、页面、API |
| 能力与极限 | 会推理、会查库；不会脑补缺边 |
| 状态 | 当前任务、网络、库规模 |
| 偏好与禁令 | 只留本机、不 git push、不绑 0.0.0.0 |
| 身份边界 | 我是 AYXK / 助手，不是用户本人 |
开源对照清单（Letta、CoreMind、Nūr、Nous 等）：/self-model-projects.html
对照
和 AYXK 图谱怎么区分
马尔可夫是概率跳转；元本体是语言层；自我模型是「我」的户口；AYXK 本体是领域菜谱；库是故事。
| 马尔可夫链 | 元本体（OWL） | 自我模型 | AYXK 本体 / 图 | |
|---|---|---|---|---|
| 记什么 | 状态 + 跳转概率 | 类 / 属性怎么表达 | 能力、禁令、身份 | 决策种类、边、节点事实 |
| 对象 | 随机过程 | 写法语言 | 这个系统自己 | 领域世界 |
| 目的 | 接下来可能怎样 | 同一种写法说话 | 可查询的「我」 | 已经认定什么 |