Automated Hybrid Grounding Using Structural and Data-Driven Heuristics

• URL: http://arxiv.org/abs/2507.17493v1
• Date: Wed, 23 Jul 2025 13:19:02 GMT
• Title: Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
• Abstract summary: Hybrid Grounding combines the strength of standard bottom-up grounding with recently proposed techniques where rule bodies are decoupled during grounding.<n>It has remained unclear when hybrid grounding shall use body-decoupled grounding and when to use standard bottom-up grounding.<n>We introduce a splitting algorithm based on data-structurals that detects when to use body-decoupled grounding and when standard grounding is beneficial.
• Score: 68.08622864330296
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: The grounding bottleneck poses one of the key challenges that hinders the widespread adoption of Answer Set Programming in industry. Hybrid Grounding is a step in alleviating the bottleneck by combining the strength of standard bottom-up grounding with recently proposed techniques where rule bodies are decoupled during grounding. However, it has remained unclear when hybrid grounding shall use body-decoupled grounding and when to use standard bottom-up grounding. In this paper, we address this issue by developing automated hybrid grounding: we introduce a splitting algorithm based on data-structural heuristics that detects when to use body-decoupled grounding and when standard grounding is beneficial. We base our heuristics on the structure of rules and an estimation procedure that incorporates the data of the instance. The experiments conducted on our prototypical implementation demonstrate promising results, which show an improvement on hard-to-ground scenarios, whereas on hard-to-solve instances we approach state-of-the-art performance.

Related papers

• Extending Ground-Constraint LiDAR-IMU Calibration to Tilted Surfaces in a Continuous-Time Framework [5.115643891749577]
  This paper presents a novel method that extends targetless LiDAR-IMU calibration for ground vehicles to non- flat environments.<n> typically necessitates full exci- tation of the sensor rig, a requirement that is not fulfilled by ground vehicles in normal operation.<n>To address the degenerate planar motion, state-of-the-art methods propose residuals that assume the colinearity of the gravity and physical surface normal vectors.
  arXiv  Detail & Related papers  (2026-08-25T20:35:18Z)
• PTDL:Multi-Terrain Fall Recovery via Phase-Terrain Decoupled Learning [13.93626645001]
  Humanoid robots can fall on slopes, gravel, and uneven ground in unstructured environments.<n>We propose Phase--Terrain Decoupled Learning (PTDL), which decouples training supervision along phase and terrain axes.<n>We validate PTDL on a 29-DoF Unitree G1 across flat ground, gravel, and slopes up to 20 degrees in simulation and on hardware.
  arXiv  Detail & Related papers  (2026-06-08T02:01:08Z)
• FugSeg: Fast Uncertainty-aware Ground Segmentation for 3D Point Cloud [5.833408604400841]
  FugSeg is a fast uncertainty-aware ground segmentation method.<n>A polar grid map is adopted as the point cloud representation to ensure generalizability across LiDAR types.<n>A within- and cross-segment ground labeling strategy identifies not only directly visible ground cells but also those that are isolated or occluded.<n>A fine-grained ground elevation estimation method is introduced to achieve point-level ground segmentation.
  arXiv  Detail & Related papers  (2026-05-09T13:44:48Z)
• Spatio-temporal modelling of electric vehicle charging demand [0.41998444721319217]
  We introduce a novel-scale longitudinal dataset collected across Scotland (2022 2025)<n>We formulate EV charging demand as a latent latent latent Gaussian field perform approximate inference via Integrated Nested Laplace Approximation (INLA)<n>On station-level forecasting tasks, our approach achieves competitive predictive accuracy against machine learning baselines, while additionally providing principled uncertainty quan tification and interpretable spatial and temporal decompositions properties that are essential for risk-aware infrastructure planning.
  arXiv  Detail & Related papers  (2026-04-21T09:52:22Z)
• InteGround: On the Evaluation of Verification and Retrieval Planning in Integrative Grounding [51.80327078402434]
  We introduce "integrative grounding" -- the challenge of retrieving and verifying multiple inter-dependent pieces of evidence to support a hypothesis query.<n>Our investigation reveals two critical findings: First, in groundedness verification, while LLMs are robust to redundant evidence, they tend to rationalize using internal knowledge when information is incomplete.<n>We find that undirected planning can degrade performance through noise introduction, while premise abduction emerges as a promising approach due to its logical constraints.
  arXiv  Detail & Related papers  (2025-09-20T04:48:24Z)
• Context-Informed Grounding Supervision [102.11698329887226]
  Context-INformed Grounding Supervision (CINGS) is a post-training supervision in which the model is trained with relevant context prepended to the response.<n>Our experiments demonstrate that models trained with CINGS exhibit stronger grounding in both textual and visual domains.
  arXiv  Detail & Related papers  (2025-06-18T14:13:56Z)
• LiSu: A Dataset and Method for LiDAR Surface Normal Estimation [12.282805218676208]
  We present LiSu, the first large-scale, synthetic LiDAR point cloud dataset with ground truth surface normal annotations.<n>We also propose a novel annotated method that exploits the temporal characteristics of autonomous driving data to enhance surface normal estimation accuracy.<n>We demonstrate the effectiveness of our method on LiSu, achieving state-of-the-art performance in LiDAR surface normal estimation.
  arXiv  Detail & Related papers  (2025-03-11T16:35:22Z)
• Time-series Generation by Contrastive Imitation [87.51882102248395]
  We study a generative framework that seeks to combine the strengths of both: Motivated by a moment-matching objective to mitigate compounding error, we optimize a local (but forward-looking) transition policy. At inference, the learned policy serves as the generator for iterative sampling, and the learned energy serves as a trajectory-level measure for evaluating sample quality.
  arXiv  Detail & Related papers  (2023-11-02T16:45:25Z)
• Bottom-Up Grounding in the Probabilistic Logic Programming System Fusemate [0.21756081703275998]
  Fusemate's inference engine comprises a grounding component and a variable elimination method for probabilistic inference. We present our method in detail and demonstrate it with examples that involve "time", such as (hidden) Markov models.
  arXiv  Detail & Related papers  (2023-05-30T10:30:44Z)
• Computer Vision based inspection on post-earthquake with UAV synthetic dataset [0.0]
  This article presents an innovative approach to the problem of detecting damage after sudden events by using an interconnected set of deep machine learning models. Models in the pipeline were trained with a synthetic dataset and were adapted to be further evaluated and used with unmanned aerial vehicles (UAVs) in real-world conditions. It is possible to obtain high accuracy in detecting buildings defects, segmenting constructions into their components and estimating their technical condition based on a single drone flight.
  arXiv  Detail & Related papers  (2022-10-11T09:27:07Z)
• Probing Factually Grounded Content Transfer with Factual Ablation [68.78413677690321]
  Grounded generation draws on a reliable external document (grounding) for factual information. Measuring factuality is also simplified--to factual consistency, testing whether the generation agrees with the grounding, rather than all facts. We study this problem for content transfer, in which generations extend a prompt, using information from factual grounding.
  arXiv  Detail & Related papers  (2022-03-18T19:18:54Z)
• Embedding Earth: Self-supervised contrastive pre-training for dense land cover classification [61.44538721707377]
  We present Embedding Earth a self-supervised contrastive pre-training method for leveraging the large availability of satellite imagery. We observe significant improvements up to 25% absolute mIoU when pre-trained with our proposed method. We find that learnt features can generalize between disparate regions opening up the possibility of using the proposed pre-training scheme.
  arXiv  Detail & Related papers  (2022-03-11T16:14:14Z)
• Fast and Robust Ground Surface Estimation from LIDAR Measurements using Uniform B-Splines [3.337790639927531]
  We propose a fast and robust method to estimate the ground surface from LIDAR measurements on an automated vehicle. We model the estimation process as a robust LS optimization problem which can be reformulated as a linear problem. We validate the approach on our research vehicle in real-world scenarios.
  arXiv  Detail & Related papers  (2022-03-02T15:26:51Z)
• Patchwork: Concentric Zone-based Region-wise Ground Segmentation with Ground Likelihood Estimation Using a 3D LiDAR Sensor [0.1657441317977376]
  Ground segmentation is crucial for terrestrial mobile platforms to perform navigation or neighboring object recognition. This paper presents a novel ground segmentation method called textitPatchwork, which is robust for addressing the under-segmentation problem.
  arXiv  Detail & Related papers  (2021-08-12T06:52:10Z)
• Ground Roll Suppression using Convolutional Neural Networks [0.0]
  Ground roll noise is one of the most challenging and common noises observed in pre-stack seismic data. We take advantage of the highly non-linear features of convolutional neural networks to detect ground roll in shot gathers. We propose metrics to evaluate ground roll suppression, and report strong results compared to expert filtering.
  arXiv  Detail & Related papers  (2020-10-28T20:21:21Z)
• From Simulation to Real World Maneuver Execution using Deep Reinforcement Learning [69.23334811890919]
  Deep Reinforcement Learning has proved to be able to solve many control tasks in different fields, but the behavior of these systems is not always as expected when deployed in real-world scenarios. This is mainly due to the lack of domain adaptation between simulated and real-world data together with the absence of distinction between train and test datasets. We present a system based on multiple environments in which agents are trained simultaneously, evaluating the behavior of the model in different scenarios.
  arXiv  Detail & Related papers  (2020-05-13T14:22:20Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.