认知表示与问题求解的结构理论：上下文、不变性与知识空间

研究者提出一个最小结构框架，将上下文、不变性识别、代表选择、抽象与过程复用等表示操作显式化，上下文被形式化为状态空间子集的一种划分。该框架实现为由 Concept Graph 与 Procedure Graph 耦合构成的知识空间，为表示操作提供最小认知表示代数。通过示例与有限弱求解器演示，论文表明合适的表示组织能简化可容许规律的形式与范围，其贡献在于结构而非算法。