Haskell或函数式语言的代理？

Question

我正在构建一个多Agent系统(MAS)框架来描述Haskell中的信念-愿望-意图(BDI)代理(即Agent是并发的，通信一元行为)。

我在网上进行了彻底的搜索，但除了一份关于未完成工作的技术报告( 在Haskell中指定和控制代理 )之外，我找不到任何类似作品的参考资料。

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

编辑：我成功地找到了对克洛尔的引用，这是一种lisp方言，它支持一种非常接近于参与者模型的代理编程形式，但它并不意味着直接支持BDI代理(我想，应该在上面实现另一层以完成BDI部分)。

Answer 1

总之，似乎没有用功能语言来描述BDI风格的通信代理的建议，所以我们和我的一位朋友/同事一起收集了有关相关工作的信息，收集了一些想法，我们写了一篇简短的论文，我将在DALT2012研讨会上发表。这是一个非常初步的工作，所以不要期望太多，但我认为在未来它可能会演变为一些有趣的东西。

Alessandro Solimando，Riccardo TraversoHaskell中BDI式通信代理框架的设计与实现。DALT 2012，讲习班说明，第108至112页。

编辑：我后来在GitHub上找到了这个项目，它使用免费的monads (不管什么意思，我不知道它们)来为多agent系统提供一个框架：https://github.com/fizruk/free-agent。