Agent Design Consistency Checking via Planning
IJCAI, pp. 458-464, 2017.
EI
Abstract:
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
Code:
Data:
Full Text
Tags
Comments