https://www.bilibili.com/video/BV1RMzuBjEym
https://github.com/buyinakili/AIOS-PDDL-with-evolution-and-auditing
我认为，这是个很有前途的想法。项目本质是在大模型和自然语言之间增加一个领域语言的符号约束层，从而最大程度消除大模型的缺点，发挥它的优点。另外，还可以继续扩展思路：
1 、加入更多的领域语言；
2 、为配合大模型，设计专门的领域语言；
3 、设计如任务规划领域语言、逻辑推理领域语言、数学计算领域语言。
目前的 agent 其实存在一个很大的问题，就是没有考虑到计算机执行的现实环境。自然语言的不精确问题，无法和现有的计算机环境兼容，而通过增加一个领域语言约束层就可以极大的缓解这个问题。
