Haskell或函數式語言的代理？

Question

我正在構建一個多代理系統（MAS）框架來描述Haskell中的Beliefs-Desires-Intents（BDI）代理（即代理是並發的，傳達monadic動作）。

我在網上搜索過，但除了未完成的工作， 在Haskell中指定和控制代理的技術報告外，我無法找到任何關於類似作品的參考。

您是否了解任何可以在Haskell或任何其他功能語言中定義的處理BDI代理的現有實現或研究論文？ 我的目標是找到可能的相關工作，一切可以管理用功能語言編寫的並發智能代理系統。 我不需要任何具體的內容，我只想知道我的工作是否與現有方法有共同之處。

編輯 ：我設法找到了對Clojure的引用，這是一種lisp方言，它支持一種非常接近actor模型的代理編程形式，但它並不意味着直接支持BDI代理（一個應該在它上面實現另一個層來獲得BDI部分完成我猜）。

Answer 1

總而言之，似乎沒有通過函數式語言描述的BDI式通信代理的提議，因此我和我的朋友/同事一起收集了相關工作的信息，匯總了一些想法，我們寫了我將在DALT2012研討會上發表的空頭職位論文。 這是一個非常初步的工作，所以不要期望太多，但我認為在未來它可能會發展成一些有趣的東西。

Alessandro Solimando，Riccardo Traverso。 在Haskell中為BDI風格的通信代理設計和實現框架。 DALT 2012，研討會說明，第108-112頁。

編輯：我后來在GitHub上發現了這個項目，它使用免費的monad（無論這意味着什么，我不知道它們）為多代理系統提供框架： https ： //github.com/fizruk/free-agent 。