PRACTIONIST: a New Framework for BDI Agents.
Vito Morreale, Susanna Bonura, Giuseppe Francaviglia, Massimo Cossentino, Salvatore Gaglio · European Workshop on Multi-Agent Systems · 2005
In this paper, we present PRACTIONIST (PRACTIcal reasONIng sySTem), a new framework built on the Bratman’s theory of practical reasoning to support the development of BDI agents in Java (using JADE) with a Prolog belief base. We aims at reducing the gap between the expressive power of the BDI model and the difficulty of efficiently implementing its features. In PRACTIONIST we adopt a goal-oriented approach and stress the separation between the deliberation process and the means-ends reasoning, with the abstraction of goal used to formally define both desires and intentions during the deliberation phase. Moreover, PRACTIONIST agents are able to reason about their beliefs and other agent’s beliefs, since beliefs are not simple grounded literals or data structures but modal logic formulas.