Agent Design Consistency Checking via Planning
IJCAI, pp. 458-464, 2017.
In this work we present a novel approach to check the consistency of agent designs (prior to any implementation) with respect to the requirements specifications via automated planning. This checking is essentially a search problem which makes planning technology an appropriate solution. We focus our work on BDI agent systems and the Prome...More
PPT (Upload PPT)