World2Rules: A Neuro-Symbolic Framework for Learning World-Governing Safety Rules for Aviation

• URL: http://arxiv.org/abs/2603.28952v1
• Date: Mon, 30 Mar 2026 19:48:03 GMT
• Title: World2Rules: A Neuro-Symbolic Framework for Learning World-Governing Safety Rules for Aviation
• Abstract summary: We present World2Rules, a neuro-symbolic framework for learning world-governing safety rules from real-world aviation data.<n>World2Rules learns from both nominal operational data and aviation crash and incident reports.<n>We show that it learns rules that achieve 23.6% higher F1 score than purely neural and 43.2% higher F1 score than single-pass neuro-symbolic baseline.
• Score: 3.73214005593672
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Many real-world safety-critical systems are governed by explicit rules that define unsafe world configurations and constrain agent interactions. In practice, these rules are complex and context-dependent, making manual specification incomplete and error-prone. Learning such rules from real-world multimodal data is further challenged by noise, inconsistency, and sparse failure cases. Neural models can extract structure from text and visual data but lack formal guarantees, while symbolic methods provide verifiability yet are brittle when applied directly to imperfect observations. We present World2Rules, a neuro-symbolic framework for learning world-governing safety rules from real-world multimodal aviation data. World2Rules learns from both nominal operational data and aviation crash and incident reports, treating neural models as proposal mechanisms for candidate symbolic facts and inductive logic programming as a verification layer. The framework employs hierarchical reflective reasoning, enforcing consistency across examples, subsets, and rules to filter unreliable evidence, aggregate only mutually consistent components, and prune unsupported hypotheses. This design limits error propagation from noisy neural extractions and yields compact, interpretable first-order logic rules that characterize unsafe world configurations. We evaluate World2Rules on real-world aviation safety data and show that it learns rules that achieve 23.6% higher F1 score than purely neural and 43.2% higher F1 score than single-pass neuro-symbolic baseline, while remaining suitable for safety-critical reasoning and formal analysis.

Related papers

• Learning from World Feedback: Why Model Uncertainty Fails as a Risk Signal in Model-Based RL [3.556355987197792]
  We instantiate this position in safe model-based control and distil it into three concrete design principles.<n> replacing the model-internal proxy with three world-feedback signals reduces collisions to 1-14% without retraining the world model or the planner.
  arXiv  Detail & Related papers  (2026-07-18T02:17:45Z)
• World Engine: Towards the Era of Post-Training for Autonomous Driving [63.61277741443647]
  We introduce World Engine, a generative framework that reconstructs high-fidelity interactive environments from real-world logs.<n>World Engine substantially reduces failures in rare safety-critical scenarios and yields significantly larger gains than scaling pre-training data alone.<n>When deployed on a production-scale autonomous driving system, the resulting policy reduces simulated collisions.
  arXiv  Detail & Related papers  (2026-06-18T06:28:33Z)
• Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles [0.28582274879786684]
  Rule-based systems struggle with scalability, brittleness, and goal misspecification.<n>This paper introduces a meta-level layer designed to mitigate goal misspecification and support scalable rule maintenance.<n>We evaluate our approach with a proof-of-concept implementation in two autonomous driving scenarios.
  arXiv  Detail & Related papers  (2026-04-30T16:34:02Z)
• Agentic World Modeling: Foundations, Capabilities, Laws, and Beyond [209.35045331678043]
  We introduce a "levels x laws" taxonomy organized along two axes.<n>The first defines three capability levels: L1 Predictor, which learns one-step local transition operators; L2 Simulator, which composes them into multi-step, action-conditioned rollouts that respect domain laws; and L3 Evolver, which autonomously revises its own model when predictions fail against new evidence.<n>We synthesize over 400 works and summarize more than 100 representative systems spanning model-based reinforcement learning, video generation, web and GUI agents, multi-agent social simulation, and AI-driven scientific discovery.
  arXiv  Detail & Related papers  (2026-04-24T17:48:47Z)
• ManipArena: Comprehensive Real-world Evaluation of Reasoning-Oriented Generalist Robot Manipulation [66.02142169323521]
  Vision-Language-Action models and world models have recently emerged as promising paradigms for general-purpose robotic intelligence.<n>Existing benchmarks are largely simulator-centric, which provide controllability but fail to capture the reality gap caused by perception noise.<n>We introduce ManipArena, a standardized evaluation framework designed to bridge simulation and real-world execution.
  arXiv  Detail & Related papers  (2026-03-30T15:06:41Z)
• Right in Time: Reactive Reasoning in Regulated Traffic Spaces [35.58961985804191]
  We propose a reactive mission design framework that jointly considers uncertain environmental data and declarative, logical traffic regulations.<n>We demonstrate that our approach provides orders of magnitude in speedup over ProMis without reactive paradigms.
  arXiv  Detail & Related papers  (2026-03-04T12:18:36Z)
• Unsupervised Learning for Detection of Rare Driving Scenarios [1.5399429731150376]
  This research explores an unsupervised learning framework for detecting rare and extreme driving scenarios.<n>We leverage the recently proposed Deep Isolation Forest (DIF) to identify non-linear and complex anomalies.<n>Our results demonstrate that the proposed approach effectively identifies rare and hazardous driving scenarios.
  arXiv  Detail & Related papers  (2025-12-29T16:35:20Z)
• Bridging Perception and Reasoning: Dual-Pipeline Neuro-Symbolic Landing for UAVs in Cluttered Environments [3.2786408034656858]
  NeuroSymLand is a neuro-symbolic framework for autonomous landing in unstructured environments.<n>It combines the perceptual strengths of lightweight foundation models with the interpretability and verifiability of symbolic reasoning.<n>NeuroSymLand achieves higher accuracy, stronger robustness to covariate shift, and superior efficiency compared with state-of-the-art baselines.
  arXiv  Detail & Related papers  (2025-10-25T08:08:04Z)
• NASP-T: A Fuzzy Neuro-Symbolic Transformer for Logic-Constrained Aviation Safety Report Classification [0.0]
  We propose a hybrid neuro-symbolic framework that integrates Answer Set Programming (ASP) with transformer-based learning on the Aviation Safety Reporting System (ASRS) corpus.<n>Our approach improves micro- and macro-F1 scores and achieves up to an 86% reduction in rule violations on the ASRS test set.
  arXiv  Detail & Related papers  (2025-10-06T23:33:09Z)
• Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation [52.626086874715284]
  We introduce a novel problem formulation called Abstract DNN-Verification, which verifies a hierarchical structure of unsafe outputs.<n>By leveraging abstract interpretation and reasoning about output reachable sets, our approach enables assessing multiple safety levels during the formal verification process.<n>Our contributions include a theoretical exploration of the relationship between our novel abstract safety formulation and existing approaches.
  arXiv  Detail & Related papers  (2025-05-08T13:29:46Z)
• CrashSage: A Large Language Model-Centered Framework for Contextual and Interpretable Traffic Crash Analysis [0.46040036610482665]
  Road crashes claim over 1.3 million lives annually worldwide and incur global economic losses exceeding $1.8 trillion.<n>This study presents CrashSage, a novel Large Language Model (LLM)-centered framework designed to advance crash analysis and modeling through four key innovations.
  arXiv  Detail & Related papers  (2025-05-08T00:23:18Z)
• SafeAuto: Knowledge-Enhanced Safe Autonomous Driving with Multimodal Foundation Models [63.71984266104757]
  We propose SafeAuto, a framework that enhances MLLM-based autonomous driving by incorporating both unstructured and structured knowledge.<n>To explicitly integrate safety knowledge, we develop a reasoning component that translates traffic rules into first-order logic.<n>Our Multimodal Retrieval-Augmented Generation model leverages video, control signals, and environmental attributes to learn from past driving experiences.
  arXiv  Detail & Related papers  (2025-02-28T21:53:47Z)
• From Objects to Events: Unlocking Complex Visual Understanding in Object Detectors via LLM-guided Symbolic Reasoning [71.41062111470414]
  Current object detectors excel at entity localization and classification, yet exhibit inherent limitations in event recognition capabilities.<n>We present a novel framework that expands the capability of standard object detectors beyond mere object recognition to complex event understanding.<n>Our key innovation lies in bridging the semantic gap between object detection and event understanding without requiring expensive task-specific training.
  arXiv  Detail & Related papers  (2025-02-09T10:30:54Z)
• Learning Traffic Crashes as Language: Datasets, Benchmarks, and What-if Causal Analyses [76.59021017301127]
  We propose a large-scale traffic crash language dataset, named CrashEvent, summarizing 19,340 real-world crash reports. We further formulate the crash event feature learning as a novel text reasoning problem and further fine-tune various large language models (LLMs) to predict detailed accident outcomes. Our experiments results show that our LLM-based approach not only predicts the severity of accidents but also classifies different types of accidents and predicts injury outcomes.
  arXiv  Detail & Related papers  (2024-06-16T03:10:16Z)

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.