Strategic Planning through Model Checking of ATL Formulae

W.J. Jamroga

doi:10.1007/978-3-540-24844-6_136

Strategic Planning through Model Checking of ATL Formulae

W.J. Jamroga

University of Twente

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

11 Citations (Scopus)

Abstract

Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns a strategy to achieve given goal. We point out that the algorithm generalizes minimaxing, and that ATL models generalize traditional game trees. The paper ends with suggestions about other game theory concepts that can be transfered to ATL-based planning.

Original language	English
Title of host publication	Artificial Intelligence and Soft Computing - ICAISC 2004
Subtitle of host publication	7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings
Editors	L. Rutkowski, J. Siekmann, R. Tadeusiewicz, L.A. Zadeh
Place of Publication	Berlin
Publisher	Springer
Pages	879-884
ISBN (Print)	3-540-22123-9
DOIs	https://doi.org/10.1007/978-3-540-24844-6_136
Publication status	Published - 2004
Event	7th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2004 - Zakopane, Poland Duration: 7 Jun 2004 → 11 Jun 2004 Conference number: 7

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	3070
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Name	Lecture Notes in Artificial Intelligence
Publisher	Springer

Workshop

Workshop	7th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2004
Abbreviated title	ICAISC
Country/Territory	Poland
City	Zakopane
Period	7/06/04 → 11/06/04

Keywords

Multi-agent systems
Multi-agent planning
Model checking

Access to Document

10.1007/978-3-540-24844-6_136

Cite this

Jamroga, W. J. (2004). Strategic Planning through Model Checking of ATL Formulae. In L. Rutkowski, J. Siekmann, R. Tadeusiewicz, & L. A. Zadeh (Eds.), Artificial Intelligence and Soft Computing - ICAISC 2004: 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings (pp. 879-884). (Lecture Notes in Computer Science; Vol. 3070), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-540-24844-6_136

Jamroga, W.J. / Strategic Planning through Model Checking of ATL Formulae. Artificial Intelligence and Soft Computing - ICAISC 2004: 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings. editor / L. Rutkowski ; J. Siekmann ; R. Tadeusiewicz ; L.A. Zadeh. Berlin : Springer, 2004. pp. 879-884 (Lecture Notes in Computer Science). (Lecture Notes in Artificial Intelligence).

@inbook{eb7385ad9f374a718d3fbd4a1f01f8f7,

title = "Strategic Planning through Model Checking of ATL Formulae",

abstract = "Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns a strategy to achieve given goal. We point out that the algorithm generalizes minimaxing, and that ATL models generalize traditional game trees. The paper ends with suggestions about other game theory concepts that can be transfered to ATL-based planning.",

keywords = "Multi-agent systems, Multi-agent planning, Model checking",

author = "W.J. Jamroga",

year = "2004",

doi = "10.1007/978-3-540-24844-6_136",

language = "English",

isbn = "3-540-22123-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "879--884",

editor = "L. Rutkowski and J. Siekmann and R. Tadeusiewicz and L.A. Zadeh",

booktitle = "Artificial Intelligence and Soft Computing - ICAISC 2004",

address = "Netherlands",

note = "7th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2004, ICAISC ; Conference date: 07-06-2004 Through 11-06-2004",

}

Jamroga, WJ 2004, Strategic Planning through Model Checking of ATL Formulae. in L Rutkowski, J Siekmann, R Tadeusiewicz & LA Zadeh (eds), Artificial Intelligence and Soft Computing - ICAISC 2004: 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings. Lecture Notes in Computer Science, vol. 3070, Lecture Notes in Artificial Intelligence, Springer, Berlin, pp. 879-884, 7th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2004, Zakopane, Poland, 7/06/04. https://doi.org/10.1007/978-3-540-24844-6_136

Strategic Planning through Model Checking of ATL Formulae. / Jamroga, W.J.

Artificial Intelligence and Soft Computing - ICAISC 2004: 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings. ed. / L. Rutkowski; J. Siekmann; R. Tadeusiewicz; L.A. Zadeh. Berlin : Springer, 2004. p. 879-884 (Lecture Notes in Computer Science; Vol. 3070), (Lecture Notes in Artificial Intelligence).

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

TY - CHAP

T1 - Strategic Planning through Model Checking of ATL Formulae

AU - Jamroga, W.J.

N1 - Conference code: 7

PY - 2004

Y1 - 2004

N2 - Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns a strategy to achieve given goal. We point out that the algorithm generalizes minimaxing, and that ATL models generalize traditional game trees. The paper ends with suggestions about other game theory concepts that can be transfered to ATL-based planning.

AB - Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns a strategy to achieve given goal. We point out that the algorithm generalizes minimaxing, and that ATL models generalize traditional game trees. The paper ends with suggestions about other game theory concepts that can be transfered to ATL-based planning.

KW - Multi-agent systems

KW - Multi-agent planning

KW - Model checking

U2 - 10.1007/978-3-540-24844-6_136

DO - 10.1007/978-3-540-24844-6_136

M3 - Chapter

SN - 3-540-22123-9

T3 - Lecture Notes in Computer Science

SP - 879

EP - 884

BT - Artificial Intelligence and Soft Computing - ICAISC 2004

A2 - Rutkowski, L.

A2 - Siekmann, J.

A2 - Tadeusiewicz, R.

A2 - Zadeh, L.A.

PB - Springer

CY - Berlin

T2 - 7th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2004

Y2 - 7 June 2004 through 11 June 2004

ER -

Jamroga WJ. Strategic Planning through Model Checking of ATL Formulae. In Rutkowski L, Siekmann J, Tadeusiewicz R, Zadeh LA, editors, Artificial Intelligence and Soft Computing - ICAISC 2004: 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings. Berlin: Springer. 2004. p. 879-884. (Lecture Notes in Computer Science). (Lecture Notes in Artificial Intelligence). https://doi.org/10.1007/978-3-540-24844-6_136

Strategic Planning through Model Checking of ATL Formulae

Abstract

Publication series

Workshop

Keywords

Access to Document

Fingerprint

Cite this