Scalable Probabilistic Routes

06/19/2023
by   Suwei Yang, et al.
0

Inference and prediction of routes have become of interest over the past decade owing to a dramatic increase in package delivery and ride-sharing services. Given the underlying combinatorial structure and the incorporation of probabilities, route prediction involves techniques from both formal methods and machine learning. One promising approach for predicting routes uses decision diagrams that are augmented with probability values. However, the effectiveness of this approach depends on the size of the compiled decision diagrams. The scalability of the approach is limited owing to its empirical runtime and space complexity. In this work, our contributions are two-fold: first, we introduce a relaxed encoding that uses a linear number of variables with respect to the number of vertices in a road network graph to significantly reduce the size of resultant decision diagrams. Secondly, instead of a stepwise sampling procedure, we propose a single pass sampling-based route prediction. In our evaluations arising from a real-world road network, we demonstrate that the resulting system achieves around twice the quality of suggested routes while being an order of magnitude faster compared to state-of-the-art.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/14/2012

Order-of-Magnitude Influence Diagrams

In this paper, we develop a qualitative theory of influence diagrams tha...
research
03/21/2022

Optimizing Binary Decision Diagrams with MaxSAT for classification

The growing interest in explainable artificial intelligence (XAI) for cr...
research
04/11/2018

Enumerating All Subgraphs without Forbidden Induced Subgraphs via Multivalued Decision Diagrams

We propose a general method performed over multivalued decision diagrams...
research
08/19/2020

Tractable Inference in Credal Sentential Decision Diagrams

Probabilistic sentential decision diagrams are logic circuits where the ...
research
10/18/2016

Weighted Positive Binary Decision Diagrams for Exact Probabilistic Inference

Recent work on weighted model counting has been very successfully applie...
research
04/06/2022

Mockingbird lattices

We study combinatorial and order theoretic structures arising from the f...
research
01/31/2018

TikZ-FeynHand: Basic User Guide

This is a userguide for the LaTex package Tikz-FeynHand at https://ctan....

Please sign up or login with your details

Forgot password? Click here to reset