Time-based Dynamic Controllability of Disjunctive Temporal Networks with Uncertainty: A Tree Search Approach with Graph Neural Network Guidance

08/02/2021
by   Kevin Osanlou, et al.
0

Scheduling in the presence of uncertainty is an area of interest in artificial intelligence due to the large number of applications. We study the problem of dynamic controllability (DC) of disjunctive temporal networks with uncertainty (DTNU), which seeks a strategy to satisfy all constraints in response to uncontrollable action durations. We introduce a more restricted, stronger form of controllability than DC for DTNUs, time-based dynamic controllability (TDC), and present a tree search approach to determine whether or not a DTNU is TDC. Moreover, we leverage the learning capability of a message passing neural network (MPNN) as a heuristic for tree search guidance. Finally, we conduct experiments for which the tree search shows superior results to state-of-the-art timed-game automata (TGA) based approaches. We observe that using an MPNN for tree search guidance leads to a significant increase in solving performance and scalability to harder DTNU problems.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/13/2013

Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence (1993)

This is the Proceedings of the Ninth Conference on Uncertainty in Artifi...
research
05/31/2022

Automatic Relation-aware Graph Network Proliferation

Graph neural architecture search has sparked much attention as Graph Neu...
research
04/05/2019

Combining Offline Models and Online Monte-Carlo Tree Search for Planning from Scratch

Planning in stochastic and partially observable environments is a centra...
research
02/04/2019

Cooperative Driving at Unsignalized Intersections Using Tree Search

In this paper, we propose a new cooperative driving strategy for connect...
research
02/13/2020

ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)

We describe an implementation of gradient boosting and neural guidance o...
research
05/31/2021

The Role of Entropy in Guiding a Connection Prover

In this work we study how to learn good algorithms for selecting reasoni...

Please sign up or login with your details

Forgot password? Click here to reset