declarative-methodology

本文提出了一种基于AGO方法论的代理业务过程分析形式化框架，以形式化精度定义了代理、目标和对象，从而为代理人工智能构建可验证的知识库。