Haskell agents or functional languages?

Question

I am designing a Multi Agent System (MAS) framework to describe Beliefs-Desires-Intents (BDI) agents in Haskell (i.e., agents simultaneously report monadic actions).

I searched on the Internet, but I could not find links to similar jobs, besides the technical report on work in progress, Pointing and Managing Agents in Haskell .

Do you know of any existing implementation documents or studies regarding BDI agents that can be defined in Haskell or in any other functional language, please? My goal is to find possible related work, all that could manage a system of matching intelligent agents written in a functional language. I don’t need anything, I just want to find out if my work has something in common with existing approaches.

edit : I managed to find a link to Clojure , the lisp dialect that supports the agent programming form is very close to the actor model, but it is not intended to directly support BDI agents (in order to get the BDI part that I suppose, you need to implement another layer) .

Answer 1

To summarize, it does not seem that there are proposals for BDI-style communication agents described using functional languages, so together with my friend / colleague we collected information about related work, gathered some ideas, and we wrote a short position that I will present at the seminar DALT2012. This is really preliminary work, so do not expect too much from it, but I think that in the future it can develop in something interesting.

Alessandro Solimando, Riccardo Traverso. Design and implementation of a platform for communication agents such as BDI in Haskell. DALT 2012, workshop notes, pp. 108-112.

EDIT: Later I found this project on GitHub that uses free monads (no matter what it means, I don't know about them) to provide the foundation for multi-agent systems: https://github.com/fizruk/free-agent .