认知表征与问题求解的结构化理论:情境、不变性与知识空间
arXiv 论文提出一个关于认知表征与问题求解的最小结构化框架,将情境形成、不变性识别、代表选择、抽象与过程复用等表征操作显式化。情境被形式化为底层状态空间子集的一个划分,框架实现为由 Concept Graph 与 Procedure Graph 两个耦合图结构组成的 Knowledge Space。论文以简单示例和有限弱求解器演示说明:即使求解器固定且能力有限,恰当的表征组织也能简化可容许规律的形式与范围,其贡献是结构性的而非算法性的。