Monitoring agents using declarative planning

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

doi:10.1007/978-3-540-39451-8_47

Monitoring agents using declarative planning

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

Information Systems IE&IS

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 language	English
Title of host publication	KI 2003: Advances in Artificial Intelligence
Subtitle of host publication	26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003. Proceedings
Place of Publication	Berlin
Publisher	Springer
Pages	646 – 660
ISBN (Print)	978-3-540-20059-8
DOIs	https://doi.org/10.1007/978-3-540-39451-8_47
Publication status	Published - 2003

Publication series

Name	LNCS
Volume	2821

Access to Document

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

Fingerprint Dive into the research topics of 'Monitoring agents using declarative planning'. Together they form a unique fingerprint.

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

@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",

}

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 -