34、数学知识多维度管理与应用架构

数学知识多维度管理与应用架构

1. 目录功能与STEX实现

目录具有处理创作过程中常见的格式错误源表示的能力，还能获取源文件中模块的行/列位置，以便在内容文件中添加内容到源的引用。在STEX中，一种简易的目录服务直接在TEX中实现：
- 通过文档前言中的 \defpath 语句指定GenCS知识集合的基本URI，可在 \importmodule 宏中使用。
- 模块环境会诱导TEX内部结构存储导入（ \importmodule ）结构和语义宏（ \symdef ）的信息，因此导入模块时需读取这三个STEX原语。
- 为解决TEX中选择性输入的难题，STEX构建过程从任何模块 ⟨⟨module⟩⟩.tex 中提取STEX签名模块 ⟨⟨module⟩⟩.sms ， \importmodule⟨⟨module⟩⟩.sms 只需读取 ⟨⟨module⟩⟩.sms 。

2. 作者视角的知识处理

从源到类内容表示的转换已有成熟理解，如LF语言通过解析和类型重构过程将外部语法转换为内部语法，再转换为基于OMDoc的内容表示概念上较为直接。但利用内容表示为作者提供当前编辑文档的反馈是个难题。若通过编译和构建过程生成所有知识维度，可更轻松实现通用服务。

2.1 IDE中的多维度知识

受软件工程项目隐喻启发，在Eclipse中引入数学项目概念。数学项目包含特定子文件夹，作者在源目录的源文