Conference Proceedings

Agent design consistency checking via planning

N Yadav, J Thangarajah, S Sardina

IJCAI International Joint Conference on Artificial Intelligence | Published : 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 Prometheus design methodology in order to directly compare our approach to previous work. Our experiments in more than 16K random instances prove that the approach is more effective than previous ones proposed: it achieves higher coverage, lower run-time, and importantly, can handle loops in the agent detailed design and unbounded subgoal reasoning.

University of Melbourne Researchers

Citation metrics