Strategic Planning through Model Checking of ATL Formulae

L. Rutkowski; W.J. Jamroga; J. Siekmann; R. Tadeusiewicz; L.A. Zadeh

doi:10.1007/b98109

Strategic Planning through Model Checking of ATL Formulae

L. Rutkowski (Editor), W.J. Jamroga, J. Siekmann (Editor), R. Tadeusiewicz (Editor), L.A. Zadeh (Editor)

Research output: Contribution to conference › Paper › peer-review

3 Downloads (Pure)

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.

Original language	English
Pages	879-884
Number of pages	6
DOIs	https://doi.org/10.1007/b98109
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

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

HMI-IA: Intelligent Agents
Multi-agent systems
Multi-agent planning
Model checking

Access to Document

10.1007/b98109

Cite this

@conference{7eaee97179e24d3291315e2ac6bdc7b6,

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

keywords = "HMI-IA: Intelligent Agents, Multi-agent systems, Multi-agent planning, Model checking",

author = "L. Rutkowski and W.J. Jamroga and J. Siekmann and R. Tadeusiewicz and L.A. Zadeh",

year = "2004",

doi = "10.1007/b98109",

language = "English",

pages = "879--884",

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

}

TY - CONF

T1 - Strategic Planning through Model Checking of ATL Formulae

AU - Jamroga, W.J.

A2 - Rutkowski, L.

A2 - Siekmann, J.

A2 - Tadeusiewicz, R.

A2 - Zadeh, L.A.

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. Keywords: Multi-agent systems, multi-agent planning, model checking.

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. Keywords: Multi-agent systems, multi-agent planning, model checking.

KW - HMI-IA: Intelligent Agents

KW - Multi-agent systems

KW - Multi-agent planning

KW - Model checking

U2 - 10.1007/b98109

DO - 10.1007/b98109

M3 - Paper

SP - 879

EP - 884

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

Y2 - 7 June 2004 through 11 June 2004

ER -

Strategic Planning through Model Checking of ATL Formulae

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Cite this