资源论文On the Testability of BDI Agent Systems (Extended Abstract)

On the Testability of BDI Agent Systems (Extended Abstract)

2019-11-20 | |  55 |   32 |   0
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 goalplan 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.

上一篇:Norms as a Basis for Governing Sociotechnical Systems: Extended Abstract?

下一篇:Inapproximability of Treewidth and Related Problems (Extended Abstract)

用户评价
全部评价

热门资源

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...