We present an agent monitoring approach, which aims at refuting from (possibly incomplete) information at hand that a multi-agent system (MAS) is implemented properly. In this approach, agent collaboration is abstractly described in an action theory. Action sequences reaching the collaboration goal are determined by a planner, whose compliance with the actual MAS behavior allows to detect possible collaboration failures. The approach can be fruitfully applied to aid offline testing of a MAS implementation, as well as online monitoring.
CITATION STYLE
Dix, J., Eiter, T., Fink, M., Polleres, A., & Zhang, Y. (2003). Monitoring agents using declarative planning. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 2821, pp. 646–660). Springer Verlag. https://doi.org/10.1007/978-3-540-39451-8_47
Mendeley helps you to discover research relevant for your work.