Timezone: »
Recently, there has been growing interest in lifting MAP inference algorithms for Markov logic networks (MLNs). A key advantage of these lifted algorithms is that they have much smaller computational complexity than propositional algorithms when symmetries are present in the MLN and these symmetries can be detected using lifted inference rules. Unfortunately, lifted inference rules are sound but not complete and can often miss many symmetries. This is problematic because when symmetries cannot be exploited, lifted inference algorithms ground the MLN, and search for solutions in the much larger propositional space. In this paper, we present a novel approach, which cleverly introduces new symmetries at the time of grounding. Our main idea is to partition the ground atoms and force the inference algorithm to treat all atoms in each part as indistinguishable. We show that by systematically and carefully refining (and growing) the partitions, we can build advanced any-time and any-space MAP inference algorithms. Our experiments on several real-world datasets clearly show that our new algorithm is superior to previous approaches and often finds useful symmetries in the search space that existing lifted inference rules are unable to detect.
Author Information
Somdeb Sarkhel (University of Texas at Dallas)
Parag Singla (Indian Institute of Technology Delhi)
Vibhav Gogate (UT Dallas)
More from the Same Authors
-
2022 : Learning Neuro-symbolic Programs for Language-Guided Robotic Manipulation »
Namasivayam Kalithasan · Himanshu Singh · Vishal Bindal · Arnav Tuli · Vishwajeet Agrawal · Rahul Jain · Parag Singla · Rohan Paul -
2022 : Image Manipulation via Neuro-Symbolic Networks »
Harman Singh · Poorva Garg · Mohit Gupta · Kevin Shah · Arnab Kumar Mondal · Dinesh Khandelwal · Parag Singla · Dinesh Garg -
2022 : Few Shot Generative Domain Adaptation Via Inference-Stage Latent Learning in GANs »
Arnab Kumar Mondal · Piyush Tiwary · Parag Singla · Prathosh AP -
2022 Poster: A Solver-free Framework for Scalable Learning in Neural ILP Architectures »
Yatin Nandwani · Rishabh Ranjan · - Mausam · Parag Singla -
2019 Poster: A Primal Dual Formulation For Deep Learning With Constraints »
Yatin Nandwani · Abhishek Pathak · Mausam · Parag Singla -
2018 : Spotlights 2 »
Mausam · Ankit Anand · Parag Singla · Tarik Koc · Tim Klinger · Habibeh Naderi · Sungwon Lyu · Saeed Amizadeh · Kshitij Dwivedi · Songpeng Zu · Wei Feng · Balaraman Ravindran · Edouard Pineau · Abdulkadir Celikkanat · Deepak Venugopal -
2015 Poster: Bounding the Cost of Search-Based Lifted Inference »
David B Smith · Vibhav Gogate -
2015 Poster: Lifted Inference Rules With Constraints »
Happy Mittal · Anuj Mahajan · Vibhav Gogate · Parag Singla -
2015 Poster: Lifted Symmetry Detection and Breaking for MAP Inference »
Timothy Kopp · Parag Singla · Henry Kautz -
2014 Poster: An Integer Polynomial Programming Based Framework for Lifted MAP Inference »
Somdeb Sarkhel · Deepak Venugopal · Parag Singla · Vibhav Gogate -
2014 Poster: New Rules for Domain Independent Lifted MAP Inference »
Happy Mittal · Prasoon Goyal · Vibhav Gogate · Parag Singla -
2014 Poster: Scaling-up Importance Sampling for Markov Logic Networks »
Deepak Venugopal · Vibhav Gogate -
2012 Poster: On Lifting the Gibbs Sampling Algorithm »
Deepak Venugopal · Vibhav Gogate -
2010 Poster: Learning Efficient Markov Networks »
Vibhav Gogate · William A Webb · Pedro Domingos -
2010 Poster: Lifted Inference Seen from the Other Side : The Tractable Features »
Abhay Jha · Vibhav Gogate · Alexandra Meliou · Dan Suciu