本文提出了一种基于范畴论概念的C-集合和双推出重写的计划表示的替代方法，可以有效处理关于世界状态的结构化知识，并提供了使用知识图谱和关系型数据库建模的形式语义。相较于经典规划表示，该方法在处理隐含前提和效果上更优越，提供了更有结构的框架来解决规划问题。