我正在设计一个多智能体系统（MAS）框架，用于描述在Haskell中实现的信念-欲望-意图（BDI）智能体（即智能体是并发、通信的单子动作）。
我在网上进行了彻底的搜索，但除了一个未完成工作的技术报告《在Haskell中指定和控制智能体》外，我未能找到任何关于类似工作的参考资料。
您是否知道任何现有的实现或研究论文，讨论在Haskell或其他任何函数式语言中定义的BDI智能体？我希望找到可能相关的作品，任何能处理用函数式语言编写的并发智能体系统的内容都可以。我不需要任何特定的东西，我只是想了解我的工作与现有方法是否有相似之处。
编辑：我找到了一个关于Clojure的参考资料，这是一种Lisp方言，支持一种非常接近于actor模型的代理编程形式，但它并不直接支持BDI智能体（我想人们可能需要在其上实现另一层来完成BDI部分）。
回答：
总的来说，似乎没有通过函数式语言描述的BDI风格通信智能体的提案，因此我和一位朋友/同事一起收集了相关工作的信息，整理了一些想法，并撰写了一篇简短的立场论文，我将在DALT2012研讨会上展示。这是一项非常初步的工作，所以不要对它期望过高，但我认为未来它可能会发展成一些有趣的东西。
Alessandro Solimando, Riccardo Traverso. 在Haskell中设计和实现BDI风格通信智能体的框架。DALT 2012，研讨会记录，第108-112页。
编辑：后来我在GitHub上发现了这个项目，它使用自由单子（我不知道这是什么意思）来提供一个多智能体系统的框架：https://github.com/fizruk/free-agent。
