On the Testability of BDI Agent Systems

@article{Winikoff2014OnTT,
  title={On the Testability of BDI Agent Systems},
  author={Michael Winikoff and Stephen Cranefield},
  journal={J. Artif. Intell. Res.},
  year={2014},
  volume={51},
  pages={71-131}
}
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. We analyse the size of the behaviour space of BDI agents and show that… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 43 REFERENCES

generatingfunctionology, second edn

  • H. S. Wilf
  • Academic Press Inc., Boston, MA
  • 1994
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…