On the Testability of BDI Agent Systems (Extended Abstract)
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Journal Track. Pages 4217-4220.
Abstract
Before deploying a software system we need to assure ourselves (and stakeholders) that the system will behave correctly. This assurance is usually done by testing the system. However, it is intuitively obvious that adaptive systems, including agent-based systems, can exhibit complex behaviour, and are thus harder to test. In this paper we examine this obvious intuition in the case of Belief-Desire-Intention (BDI) agents, by analysing the number of paths through BDI goal-plan trees. Our analysis confirms quantitatively that BDI agents are hard to test, sheds light on the role of different parameters, and highlights the enormous difference made by failure handling.
@inproceedings{ijcai2015p599,
title = {On the Testability of BDI Agent Systems (Extended Abstract)},
author = {Winikoff, Michael and Cranefield, Stephen},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI-15}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Qiang Yang and Michael Wooldridge},
pages = {4217--4220},
year = {2015},
month = {7},
note = {Journal Track},
url = {https://ijcai.org/proceedings/2015/599},
}
TY - CPAPER TI - On the Testability of BDI Agent Systems (Extended Abstract) AU - Winikoff, Michael AU - Cranefield, Stephen T2 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15 PB - International Joint Conferences on Artificial Intelligence PY - 2015 SP - 4217 EP - 4220 UR - https://ijcai.org/proceedings/2015/599 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
