While the belief, Desire, Intention (BDI) framework is one of the most influential and appealing approaches to rational agent architectures, a gulf often exists between the high-levle BDI model and its practical realisation. In contrast, the Concurrent MetateM language, being based upon executable formal specifications, presents a close link between the theory and implementation, yet lacks some of the features considered central to the representation of rational agents. In this paper, we introduce a hybrid approach combining the direct execution of Concurrent MetateM with elements of rationality fro mthe BDi framework. We shwo how this system can capture a range of agnet behaviours, while retaining many of the advantages of executable specifications.
展开▼