Towards Hardware-Aware Tractable Learning of Probabilistic Models

Smart portable applications increasingly rely on edge computing due to privacy and latency concerns. But guaranteeing always-on functionality comes with two major challenges: heavily resource-constrained hardware; and dynamic application conditions. Probabilistic models present an ideal solution to these challenges: they are robust to missing data, allow for joint predictions and have small data needs. In addition, ongoing efforts in field of tractable learning have resulted in probabilistic models with strict inference efficiency guarantees. However, the current notions of tractability are often limited to model complexity, disregarding the hardware's specifications and constraints. We propose a novel resource-aware cost metric that takes into consideration the hardware's properties in determining whether the inference task can be efficiently deployed. We use this metric to evaluate the performance versus resource trade-off relevant to the application of interest, and we propose a strategy that selects the device-settings that can optimally meet users' requirements. We showcase our framework on a mobile activity recognition scenario, and on a variety of benchmark datasets representative of the field of tractable learning and of the applications of interest.

[1]  Sherief Reda,et al.  Understanding the impact of precision quantization on the accuracy and energy of neural networks , 2016, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.

[2]  Marian Verhelst,et al.  PROBLP: A framework for Iow-precision probabilistic inference , 2019, 2019 56th ACM/IEEE Design Automation Conference (DAC).

[3]  Ryutaro Tateishi,et al.  A hybrid pansharpening approach and multiscale object-based image analysis for mapping diseased pine and oak trees , 2013 .

[4]  Luc De Raedt,et al.  TP-Compilation for inference in probabilistic logic programs , 2016, Int. J. Approx. Reason..

[5]  Bo Chen,et al.  MobileNets: Efficient Convolutional Neural Networks for Mobile Vision Applications , 2017, ArXiv.

[6]  Guy Van den Broeck,et al.  What to Expect of Classifiers? Reasoning about Logistic Regression with Missing Features , 2019, IJCAI.

[7]  Guy Van den Broeck,et al.  Learning Logistic Circuits , 2019, AAAI.

[8]  Bo Chen,et al.  MnasNet: Platform-Aware Neural Architecture Search for Mobile , 2018, 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).

[9]  Mark Horowitz,et al.  1.1 Computing's energy problem (and what we can do about it) , 2014, 2014 IEEE International Solid-State Circuits Conference Digest of Technical Papers (ISSCC).

[10]  David Buchfuhrer,et al.  The complexity of Boolean formula minimization , 2008, J. Comput. Syst. Sci..

[11]  Usama M. Fayyad,et al.  Multi-Interval Discretization of Continuous-Valued Attributes for Classification Learning , 1993, IJCAI.

[12]  Luc De Raedt,et al.  DeepProbLog: Neural Probabilistic Logic Programming , 2018, BNAIC/BENELEARN.

[13]  Daniel Lowd,et al.  Learning Sum-Product Networks with Direct and Indirect Variable Interactions , 2014, ICML.

[14]  Matti Siekkinen,et al.  Smartphone Energy Consumption: Modeling and Optimization , 2014 .

[15]  Guy Van den Broeck,et al.  On hardware-aware probabilistic frameworks for resource constrained embedded applications , 2019, NeurIPS 2019.

[16]  Pierre Marquis,et al.  A Knowledge Compilation Map , 2002, J. Artif. Intell. Res..

[17]  Boris Murmann,et al.  BinarEye: An always-on energy-accuracy-scalable binary CNN processor with all memory on chip in 28nm CMOS , 2018, 2018 IEEE Custom Integrated Circuits Conference (CICC).

[18]  V. S. Costa,et al.  Theory and Practice of Logic Programming , 2010 .

[19]  Pedro M. Domingos,et al.  Learning the Structure of Sum-Product Networks , 2013, ICML.

[20]  Jean-Philippe Diguet,et al.  Bayesian network-based framework for the design of reconfigurable health management monitors , 2015, 2015 NASA/ESA Conference on Adaptive Hardware and Systems (AHS).

[21]  Sebastian Tschiatschek,et al.  On Bayesian Network Classifiers with Reduced Precision Parameters , 2012, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[22]  Nir Friedman,et al.  Bayesian Network Classifiers , 1997, Machine Learning.

[23]  Katharina Morik,et al.  Integer undirected graphical models for resource-constrained systems , 2016, Neurocomputing.

[24]  Carsten Binnig,et al.  Automatic Mapping of the Sum-Product Network Inference Problem to FPGA-Based Accelerators , 2018, 2018 IEEE 36th International Conference on Computer Design (ICCD).

[25]  Guy Van den Broeck,et al.  On Robust Trimming of Bayesian Network Classifiers , 2018, IJCAI.

[26]  Pedro M. Domingos,et al.  Sum-product networks: A new deep architecture , 2011, 2011 IEEE International Conference on Computer Vision Workshops (ICCV Workshops).

[27]  Guy Van den Broeck,et al.  Symbolic Exact Inference for Discrete Probabilistic Programs , 2019, ArXiv.

[28]  Daniel Lowd,et al.  Learning Markov Networks With Arithmetic Circuits , 2013, AISTATS.

[29]  Michael I. Jordan,et al.  Thin Junction Trees , 2001, NIPS.

[30]  Marian Verhelst,et al.  Dynamic Sensor-Frontend Tuning for Resource Efficient Embedded Classification , 2018, IEEE Journal on Emerging and Selected Topics in Circuits and Systems.

[31]  Guy Van den Broeck,et al.  A Semantic Loss Function for Deep Learning with Symbolic Knowledge , 2017, ICML.

[32]  David Heckerman,et al.  Causal Independence for Knowledge Acquisition and Inference , 1993, UAI.

[33]  Luc De Raedt,et al.  Inference and learning in probabilistic logic programs using weighted Boolean formulas , 2013, Theory and Practice of Logic Programming.

[34]  Adnan Darwiche,et al.  On probabilistic inference by weighted model counting , 2008, Artif. Intell..

[35]  R. Pace,et al.  Sparse spatial autoregressions , 1997 .

[36]  James Demmel,et al.  IEEE Standard for Floating-Point Arithmetic , 2008 .

[37]  David D. Wentzloff,et al.  Hardware Accelerator for Probabilistic Inference in 65-nm CMOS , 2016, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[38]  Pedro M. Domingos,et al.  Learning Arithmetic Circuits , 2008, UAI.

[39]  Davide Anguita,et al.  A Public Domain Dataset for Human Activity Recognition using Smartphones , 2013, ESANN.

[40]  Adnan Darwiche,et al.  Modeling and Reasoning with Bayesian Networks , 2009 .

[41]  K. Asanović,et al.  Evaluation of RISC-V RTL with FPGA-Accelerated Simulation , 2017 .

[42]  Ole J. Mengshoel,et al.  Towards Real-Time, On-Board, Hardware-Supported Sensor and Software Health Management for Unmanned Aerial Systems , 2015 .

[43]  Jesse Davis,et al.  Learning Markov Network Structure with Decision Trees , 2010, 2010 IEEE International Conference on Data Mining.

[44]  Guy Van den Broeck,et al.  Learning the Structure of Probabilistic Sentential Decision Diagrams , 2017, UAI.