Monitoring agents using declarative planning

Juergen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Y. Zhang

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Abstract

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.
Original languageEnglish
Title of host publicationKI 2003: Advances in Artificial Intelligence
Subtitle of host publication26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003. Proceedings
Place of PublicationBerlin
PublisherSpringer
Pages646 – 660
ISBN (Print)978-3-540-20059-8
DOIs
Publication statusPublished - 2003

Publication series

NameLNCS
Volume2821

Fingerprint

Multi agent systems
Planning
Monitoring
End effectors
Testing

Cite this

Dix, J., Eiter, T., Fink, M., Polleres, A., & Zhang, Y. (2003). Monitoring agents using declarative planning. In KI 2003: Advances in Artificial Intelligence : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003. Proceedings (pp. 646 – 660). (LNCS; Vol. 2821). Berlin: Springer. https://doi.org/10.1007/978-3-540-39451-8_47
Dix, Juergen ; Eiter, Thomas ; Fink, Michael ; Polleres, Axel ; Zhang, Y. / Monitoring agents using declarative planning. KI 2003: Advances in Artificial Intelligence : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003. Proceedings. Berlin : Springer, 2003. pp. 646 – 660 (LNCS).
@inbook{eb2dc5a754d445c789e511158082ff9c,
title = "Monitoring agents using declarative planning",
abstract = "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.",
author = "Juergen Dix and Thomas Eiter and Michael Fink and Axel Polleres and Y. Zhang",
year = "2003",
doi = "10.1007/978-3-540-39451-8_47",
language = "English",
isbn = "978-3-540-20059-8",
series = "LNCS",
publisher = "Springer",
pages = "646 – 660",
booktitle = "KI 2003: Advances in Artificial Intelligence",
address = "Germany",

}

Dix, J, Eiter, T, Fink, M, Polleres, A & Zhang, Y 2003, Monitoring agents using declarative planning. in KI 2003: Advances in Artificial Intelligence : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003. Proceedings. LNCS, vol. 2821, Springer, Berlin, pp. 646 – 660. https://doi.org/10.1007/978-3-540-39451-8_47

Monitoring agents using declarative planning. / Dix, Juergen; Eiter, Thomas; Fink, Michael; Polleres, Axel; Zhang, Y.

KI 2003: Advances in Artificial Intelligence : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003. Proceedings. Berlin : Springer, 2003. p. 646 – 660 (LNCS; Vol. 2821).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - Monitoring agents using declarative planning

AU - Dix, Juergen

AU - Eiter, Thomas

AU - Fink, Michael

AU - Polleres, Axel

AU - Zhang, Y.

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-39451-8_47

DO - 10.1007/978-3-540-39451-8_47

M3 - Chapter

SN - 978-3-540-20059-8

T3 - LNCS

SP - 646

EP - 660

BT - KI 2003: Advances in Artificial Intelligence

PB - Springer

CY - Berlin

ER -

Dix J, Eiter T, Fink M, Polleres A, Zhang Y. Monitoring agents using declarative planning. In KI 2003: Advances in Artificial Intelligence : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003. Proceedings. Berlin: Springer. 2003. p. 646 – 660. (LNCS). https://doi.org/10.1007/978-3-540-39451-8_47

Access to Document