Agent Design Consistency Checking via Planning

Agent Design Consistency Checking via Planning

Nitin Yadav, John Thangarajah, Sebastian Sardina

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Main track. Pages 458-464. https://doi.org/10.24963/ijcai.2017/65

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.
Keywords:
Agent-based and Multi-agent Systems: Engineering methods, platforms, languages and tools
Agent-based and Multi-agent Systems: Formal verification, validation and synthesis
Planning and Scheduling: Applications of Planning