intlekt.io 是什么网站?IEML 又是什么语言?
intlekt.io 是哲学家、科学家 Pierre Lévy 用来介绍和发布 IEML（Information Economy MetaLanguage，信息经济元语言）的官方网站。IEML 是一种人工构造的语言，目标是让“意义”本身可以被计算机处理：它既有自然语言那样的表达力，又具备代数式的规则性，因此语义变得可计算。如果你关心知识图谱、本体（ontology）、语义元数据或“让 AI 更可解释”，这个网站值得了解；但如果你只是想找一个日常写作或编程用的语言，IEML 并不是那个东西。
IEML 到底是什么
根据网站首页的说明，IEML 是一种为“语义元数据”设计的语言，用来结构化和归类数字信息。它的核心主张是：
- 表达力对标自然语言：能描述具体情境，也能描述不同知识领域。
- 规则性对标代数：语义有规律可循，因而可以被机器计算。
- 编码的是“含义”，不是“呈现”或“算法结构”：这一点把它和 HTML 这类标记语言、以及传统编程语言区分开来。
网站还指出，自然语言之所以难以被 AI 直接当作通用语义系统使用，是因为机器的局限；IEML 正是为填补这一空缺而设计的。
它想解决什么问题
网站给出了两个层面的用途，可以理解为“小范围”和“大范围”：
| 层面 | 用途 | 说明 |
|---|---|---|
| 小规模 | 设计本体、知识图谱、数据模型 | 用来改进由统计式 AI 驱动的信息系统，带来更好的机器学习、透明度和可解释性 |
| 大规模 | 成为互联网的“语义坐标系” | 作为通用语义系统，跨越语言和文化障碍 |
作者 Pierre Lévy 的愿景写得很直接：
- 对 AI：在神经元模型与符号模型之间实现由 IEML 支持的流畅沟通。
- 对集体智能：在本体、知识图谱和语义元数据系统之间实现概念层面的语义互操作。
IEML 和自然语言、编程语言有什么不同
这是最容易混淆的地方，网站也专门做了区分：
- 不同于自然语言：自然语言的语义只被部分形式化，句法维度可以用正则语言数学化，但“paradigmatic（聚合/纵向）”维度长期没有被形式化。网站称，借助 IEML，语言语义终于可以被完整编码。
- 不同于编程语言或 HTML 等标记语言：IEML 关注的是编码信息的含义，而不是它的呈现方式或算法结构。
- 定位是通用语义系统：通过给概念和关系分配唯一代码，实现更精确、可互操作的索引、搜索和数据分析。
网站上能找到什么
首页明确介绍的内容包括：
- IEML 词典：约 3000 词的词典。
- IEML 语法：形式化的语法说明。
- 相关工具：用于处理 IEML 的工具。
- 学术论文：《Semantic Computing with IEML》，发表于 Collective Intelligence Journal，2023 年，共 40 页。
- 作者博客：Pierre Lévy 的法语博客 pierrelevyblog.com。
- 订阅入口：网站提供“直接在收件箱接收新内容”的订阅方式。
适合谁看
- 做知识图谱、本体建模、语义元数据的人，可以把它当作一种候选的语义编码方案来评估。
- 研究语义网、AI 可解释性、集体智能的人，可以顺着那篇 2023 年的论文深入。
- 对构造语言、语义形式化本身感兴趣的人，词典和语法是直接入口。
需要提醒的是：IEML 目前更像一个研究与愿景驱动的项目，网站把它描述为“可能”成为互联网语义坐标系，而不是已经在全网落地的标准。是否采用，取决于你的场景是否真的需要跨系统、跨语言的语义互操作，以及你是否愿意接受一套需要专门学习的构造语言。