Two-Player Game Structures for Generalized Planning and Agent Composition

Authors

  • Giuseppe De Giacomo University of Rome
  • Paolo Felli University of Rome
  • Fabio Patrizi University of Rome
  • Sebastian Sardina School of Computer Science and IT - RMIT University

DOI:

https://doi.org/10.1609/aaai.v24i1.7597

Keywords:

Reasoning About Actions, Synthesis, Agent Composition, Planning

Abstract

In this paper, we review a series of agent behavior synthesis problems under full observability and nondeterminism (partial controllability), ranging from conditional planning, to recently introduced agent planning programs, and to sophisticated forms of agent behavior compositions, and show that all of them can be solved by model checking two-player game structures. These structures are akin to transition systems/Kripke structures, usually adopted in model checking, except that they distinguish (and hence allow to separately quantify) between the actions/moves of two antagonistic players. We show that using them we can implement solvers for several agent behavior synthesis problems.

Downloads

Published

2010-07-03

How to Cite

De Giacomo, G., Felli, P., Patrizi, F., & Sardina, S. (2010). Two-Player Game Structures for Generalized Planning and Agent Composition. Proceedings of the AAAI Conference on Artificial Intelligence, 24(1), 297-302. https://doi.org/10.1609/aaai.v24i1.7597