Koog集成了Spring AI，增强了代理的编排能力，提供多步骤策略、持久性检查点和历史管理，优化成本和执行。用户可以在现有Spring AI基础上轻松添加Koog，提升代理的可靠性和复杂性，支持更精确的控制和自动化规划。
本研究扩展了Unified-Planning库，针对PDDL语言的局限性，增加了数组类型、布尔计数表达式和整数参数，从而提升了高层次建模能力，显著增强了自动化规划系统的表达能力和应用潜力。
完成下面两步后，将自动完成登录并继续当前操作。
