Haskell或函数式语言的代理？

Question

我正在构建一个多代理系统（MAS）框架来描述Haskell中的Beliefs-Desires-Intents（BDI）代理（即代理是并发的，传达monadic动作）。

我在网上搜索过，但除了未完成作品的技术报告Specifying and Controlling Agents in Haskell之外，我无法找到类似作品的参考资料。

您知道有关可以在Haskell或任何其他功能语言中定义的BDI代理的任何现有实现或研究论文吗？ 我的目标是找到可能的相关工作，一切可以管理用功能语言编写的并发智能代理系统。我不需要任何具体的内容，我只是想知道我的工作是否与现有方法有一些共同之处。

编辑：我设法找到Clojure的引用，这是一种lisp方言，支持一种非常接近actor模型的代理编程形式，但并不意味着直接支持BDI代理（我应该在其上面实现另一层以完成BDI部分）。

Answer 1

总而言之，似乎并不存在通过功能语言描述的BDI式通信代理的提议，因此我与我的朋友/同事一起收集了有关相关工作的信息，汇总了一些想法，我们写了一篇简短的立场文件，我将在DALT2012研讨会上发表。这是一个非常初步的工作，所以不要期望太多，但我认为在未来它可能会发展成一些有趣的东西。

Alessandro Solimando, Riccardo Traverso. Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell. DALT 2012, Workshop notes, pages 108--112.

修改 我后来在GitHub上找到了这个项目，它使用免费monad（无论这意味着什么，我不知道它们）为多代理系统提供框架：https://github.com/fizruk/free-agent。