IAL：版本化、多排序、效应受限、治理证明承载型结构调用演算与结构语言研究。
IAL 用于将结构观察、约束、治理和外部执行边界显式化。当前公开定位不把语言本身描述为直接改变外部现实的因果机制。
香港跨领域计算与智能基础设施公司：OPP、TINP、RCL、RNCS、UPDIA、BIGS-OS 与 51 款公开产品 / 产品方向。
技术架构 · 产品矩阵 · 证据中心 · 联系我们