摘要: 元序 WorldScript 面向复杂现实系统的声明式建模与推演 DSL。 不再让世界适配代码,而是让代码拥抱世界。 元序是什么 元序(WorldScript)是一门面向复杂现实系统的声明式建模与推演 DSL,其核心设计哲学源于「世界是连续、混沌、嵌套、容错、自演化的」五大公理。 它不是通用编程语言 阅读全文
posted @ 2026-09-03 16:35 新哲 阅读(10) 评论(0) 推荐(0)
摘要: 元序 WorldScript 与大模型结合的理论框架 定义元序作为大语言模型(LLM)推理中间语言的形式化理论,包括双向协同架构、自然语言到元序规则的转换语义、元序增强 LLM 因果推理的机制。 本文档将《15与大模型结合方案》从工程架构推进为形式化理论。 前置阅读:《15与大模型结合方案》《18干 阅读全文
posted @ 2026-09-03 16:34 新哲 阅读(9) 评论(0) 推荐(0)
摘要: 元序 WorldScript 哲学基础深化 将元序的五大公理置于系统论、控制论、复杂适应系统理论、耗散结构理论的学术脉络中,明确元序的哲学传承、原创贡献与局限。 本文档不是营销叙事,而是严肃的学术对话:元序的哪些思想来自前人,哪些是原创,哪些尚未解决。 前置阅读:《01构想》《02完整细化体系》。 阅读全文
posted @ 2026-09-03 16:33 新哲 阅读(8) 评论(0) 推荐(0)
摘要: 元序 WorldScript 量纲系统形式化 完整定义元序的量纲系统:量纲代数、跨量纲运算规则、量纲融合语义、量纲偏差的形式化。 本文档将《04元序规则》v1.1 中引入的「带量纲的连续量」从语法描述推进为完整的形式化理论。 前置阅读:《04元序规则》3.4.1 节、《14形式化语义》第二章。 一、 阅读全文
posted @ 2026-09-03 16:32 新哲 阅读(5) 评论(0) 推荐(0)
摘要: 元序 WorldScript 干预语义与反事实推演 将元序的因果机制从「观察性规则匹配」推进到「干预性因果建模」,完整定义 do-算子、因果图、反事实查询的形式化语义。 本文档是《14形式化语义》第八章的扩展与深化,将干预语义从「M3 规划占位」推进为完整理论。 前置阅读:《14形式化语义》《04元 阅读全文
posted @ 2026-09-03 16:32 新哲 阅读(8) 评论(0) 推荐(0)
摘要: 元序 WorldScript 可解释性设计 元序运行时的可解释性框架:回答「为什么触发这条规则」「哪些条件贡献最大」「偏差从哪条因果链扩散而来」。 本文档定义可解释性的输出格式、实现机制和使用方式。 前置阅读:《04元序规则》《05运行时架构》《16验证与确认体系》。 一、为什么可解释性是元序的生命 阅读全文
posted @ 2026-09-03 16:32 新哲 阅读(4) 评论(0) 推荐(0)
摘要: 元序 WorldScript 验证与确认体系(VVUQ) 元序模型可信度的系统性保障框架。回答一个核心问题:我怎么知道模拟的结果是对的? 本文档将 VVUQ(Verification, Validation, Uncertainty Quantification)写进元序语言规范,而非留在路线图待办 阅读全文
posted @ 2026-09-03 16:31 新哲 阅读(13) 评论(0) 推荐(0)
摘要: 元序 WorldScript 与大模型结合方案 元序与大语言模型(LLM)的双向协同架构:大模型辅助元序编程,元序增强大模型推理。 面向 AI 工程与复杂系统建模的交叉领域。 一、为什么元序与大模型天然互补 1.1 大模型的强项与弱项 大模型强项 大模型弱项 自然语言理解与生成 精确数值计算与因果推 阅读全文
posted @ 2026-09-03 16:31 新哲 阅读(4) 评论(0) 推荐(0)
摘要: 元序 WorldScript 形式化语义 用数学结构严格定义元序的操作语义、指称语义与关键性质。 本文档将元序从「构想语言」提升为「可形式化验证的语言」。 前置阅读:《04元序规则》《05运行时架构》。 一、语义框架总览 元序的形式化语义采用结构化操作语义(Structural Operationa 阅读全文
posted @ 2026-09-03 16:30 新哲 阅读(4) 评论(0) 推荐(0)
摘要: 元序 WorldScript 标准域模型库 元序预置的 5 个标准域模型,加载后可直接使用或在此基础上扩展。 每个域模型包含完整的 State/When/Track/Link/Evolve 定义,开箱即用。 用法:在程序中 导入域 "城市交通" 即可加载该模型的全部声明。 域模型总览 域模型 微域 阅读全文
posted @ 2026-09-03 16:30 新哲 阅读(4) 评论(0) 推荐(0)