Multiagent Disjunctive Temporal Networks

Temporal network formalisms allow us to encode a set of constraints relating distinct events in time, and by deploying algorithms over these networks, we can determine whether schedules for these networks exist that satisfy all constraints. By augmenting simple temporal networks, we can consider the effects that disjunctive constraints, temporal uncertainty, and coordinating agents have on modeling fidelity and the algorithmic efficiency of schedule construction. In this paper, we introduce Partially Observable Disjunctive Temporal Networks with Uncertainty (PODTNUs) and Multiagent Disjunctive Temporal Networks with Uncertainty (MaDTNUs), generalizing previously studied multi-agent variants of temporal networks. We provide the first theoretical completeness results for the controllability of multiagent temporal network structures and discuss the importance of these results for modelers.

[1]  Malik Ghallab,et al.  Which Contingent Events to Observe for the Dynamic Controllability of a Plan , 2016, IJCAI.

[2]  Neil Immerman,et al.  The Complexity of Decentralized Control of Markov Decision Processes , 2000, UAI.

[3]  N. Yorke-Smith,et al.  Weak and Dynamic Controllability of Temporal Problems with Disjunctions and Uncertainty , 2010 .

[4]  Neil Yorke-Smith,et al.  Disjunctive Temporal Planning with Uncertainty , 2005, IJCAI.

[5]  Thierry Vidal,et al.  Handling contingency in temporal constraint networks: from consistency to controllabilities , 1999, J. Exp. Theor. Artif. Intell..

[6]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[7]  Nicola Muscettola,et al.  Temporal Dynamic Controllability Revisited , 2005, AAAI.

[8]  T. Sunaga.  Theory of an interval algebra and its application to numerical analysis , 2009 .

[9]  Cédric Pralet,et al.  Solving Dynamic Controllability Problem of Multi-Agent Plans with Uncertainty Using Mixed Integer Linear Programming , 2016, ECAI.

[10]  Brian C. Williams,et al.  Complexity Bounds for the Controllability of Temporal Networks with Conditions, Disjunctions, and Uncertainty , 2019, Artif. Intell..

[11]  Marco Roveri,et al.  Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies , 2016, AAAI.

[12]  Michael D. Moffitt.  On the Partial Observability of Temporal Uncertainty , 2007, AAAI.

[13]  Manolis Koubarakis,et al.  Backtracking algorithms for disjunctions of temporal constraints , 1998, Artif. Intell..

[14]  Paul Morris,et al.  Dynamic Controllability and Dispatchability Relationships , 2014, CPAIOR.