A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty

Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds

Research output: Chapter in Book/Conference paperConference paper

64 Downloads (Pure)

Abstract

In timeline-based planning, domains are described as sets of independent, but interacting, components, whose behaviour over time (the set of timelines) is governed by a set of temporal constraints. A distinguishing feature of timeline-based planning systems is the ability to integrate planning with execution by synthesising control strategies for flexible plans. However, flexible plans can only represent temporal uncertainty, while more complex forms of nondeterminism are needed to deal with a wider range of realistic problems. In this paper, we propose a novel game-theoretic approach to timeline-based planning problems, generalising the state of the art while uniformly handling temporal uncertainty and nondeterminism. We define a general concept of timeline-based game and we show that the notion of winning strategy for these games is strictly more general than that of control strategy for dynamically controllable flexible plans. Moreover, we show that the problem of establishing the existence of such winning strategies is decidable using a doubly exponential amount of space.
Original languageEnglish
Title of host publication25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018
EditorsK. Norvag, W. Penczek, N. Alechina
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Chapter13
Pages1-17
ISBN (Print)9783959770897
DOIs
Publication statusPublished - Oct 2018
Event25th International Symposium on Temporal Representation and Reasoning - Institute of Computer Sciences PAS, Warsaw, Poland
Duration: 15 Oct 201817 Oct 2018
Conference number: 140167
https://easychair.org/cfp/TIME2018

Conference

Conference25th International Symposium on Temporal Representation and Reasoning
Abbreviated titleTIME 2018
CountryPoland
CityWarsaw
Period15/10/1817/10/18
Internet address

Fingerprint

Planning
Uncertainty

Cite this

Gigante, N., Montanari, A., Cialdea Mayer, M., Orlandini, A., & Reynolds, M. (2018). A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. In K. Norvag, W. Penczek, & N. Alechina (Eds.), 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018 (pp. 1-17). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.TIME.2018.13
Gigante, Nicola ; Montanari, Angelo ; Cialdea Mayer, Marta ; Orlandini, Andrea ; Reynolds, Mark. / A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018. editor / K. Norvag ; W. Penczek ; N. Alechina. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2018. pp. 1-17
@inproceedings{7c3f73547cac4c87a9680fe348ec9b0c,
title = "A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty",
abstract = "In timeline-based planning, domains are described as sets of independent, but interacting, components, whose behaviour over time (the set of timelines) is governed by a set of temporal constraints. A distinguishing feature of timeline-based planning systems is the ability to integrate planning with execution by synthesising control strategies for flexible plans. However, flexible plans can only represent temporal uncertainty, while more complex forms of nondeterminism are needed to deal with a wider range of realistic problems. In this paper, we propose a novel game-theoretic approach to timeline-based planning problems, generalising the state of the art while uniformly handling temporal uncertainty and nondeterminism. We define a general concept of timeline-based game and we show that the notion of winning strategy for these games is strictly more general than that of control strategy for dynamically controllable flexible plans. Moreover, we show that the problem of establishing the existence of such winning strategies is decidable using a doubly exponential amount of space.",
author = "Nicola Gigante and Angelo Montanari and {Cialdea Mayer}, Marta and Andrea Orlandini and Mark Reynolds",
year = "2018",
month = "10",
doi = "10.4230/LIPIcs.TIME.2018.13",
language = "English",
isbn = "9783959770897",
pages = "1--17",
editor = "K. Norvag and W. Penczek and N. Alechina",
booktitle = "25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

}

Gigante, N, Montanari, A, Cialdea Mayer, M, Orlandini, A & Reynolds, M 2018, A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. in K Norvag, W Penczek & N Alechina (eds), 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, pp. 1-17, 25th International Symposium on Temporal Representation and Reasoning, Warsaw, Poland, 15/10/18. https://doi.org/10.4230/LIPIcs.TIME.2018.13

A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. / Gigante, Nicola; Montanari, Angelo; Cialdea Mayer, Marta; Orlandini, Andrea; Reynolds, Mark.

25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018. ed. / K. Norvag; W. Penczek; N. Alechina. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2018. p. 1-17.

Research output: Chapter in Book/Conference paperConference paper

TY - GEN

T1 - A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty

AU - Gigante, Nicola

AU - Montanari, Angelo

AU - Cialdea Mayer, Marta

AU - Orlandini, Andrea

AU - Reynolds, Mark

PY - 2018/10

Y1 - 2018/10

N2 - In timeline-based planning, domains are described as sets of independent, but interacting, components, whose behaviour over time (the set of timelines) is governed by a set of temporal constraints. A distinguishing feature of timeline-based planning systems is the ability to integrate planning with execution by synthesising control strategies for flexible plans. However, flexible plans can only represent temporal uncertainty, while more complex forms of nondeterminism are needed to deal with a wider range of realistic problems. In this paper, we propose a novel game-theoretic approach to timeline-based planning problems, generalising the state of the art while uniformly handling temporal uncertainty and nondeterminism. We define a general concept of timeline-based game and we show that the notion of winning strategy for these games is strictly more general than that of control strategy for dynamically controllable flexible plans. Moreover, we show that the problem of establishing the existence of such winning strategies is decidable using a doubly exponential amount of space.

AB - In timeline-based planning, domains are described as sets of independent, but interacting, components, whose behaviour over time (the set of timelines) is governed by a set of temporal constraints. A distinguishing feature of timeline-based planning systems is the ability to integrate planning with execution by synthesising control strategies for flexible plans. However, flexible plans can only represent temporal uncertainty, while more complex forms of nondeterminism are needed to deal with a wider range of realistic problems. In this paper, we propose a novel game-theoretic approach to timeline-based planning problems, generalising the state of the art while uniformly handling temporal uncertainty and nondeterminism. We define a general concept of timeline-based game and we show that the notion of winning strategy for these games is strictly more general than that of control strategy for dynamically controllable flexible plans. Moreover, we show that the problem of establishing the existence of such winning strategies is decidable using a doubly exponential amount of space.

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-85055468920&origin=resultslist&sort=plf-f&src=s&st1=A+Game-Theoretic+Approach+to+Timeline-Based+Planning+with+Uncertainty&st2=&sid=bfb4ef41594786aad712c2537ede5e9a&sot=b&sdt=b&sl=84&s=TITLE-ABS-KEY%28A+Game-Theoretic+Approach+to+Timeline-Based+Planning+with+Uncertainty%29&relpos=0&citeCnt=0&searchTerm=

U2 - 10.4230/LIPIcs.TIME.2018.13

DO - 10.4230/LIPIcs.TIME.2018.13

M3 - Conference paper

SN - 9783959770897

SP - 1

EP - 17

BT - 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018

A2 - Norvag, K.

A2 - Penczek, W.

A2 - Alechina, N.

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

ER -

Gigante N, Montanari A, Cialdea Mayer M, Orlandini A, Reynolds M. A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. In Norvag K, Penczek W, Alechina N, editors, 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2018. p. 1-17 https://doi.org/10.4230/LIPIcs.TIME.2018.13