This research proposes an Agentic Neuro-Symbolic Framework that decouples semantic interpretation from geometric verification and establishes a scalable foundation for autonomous compliance, demonstrating that AI reliability in engineering significantly improves when probabilistic models orchestrate deterministic tools rather than predicting physical realities.
Abstract
The transition toward fully autonomous Digital Building Permitting (DBP) requires Automated Compliance Checking (ACC) systems to verify Building Information Models (BIM) against natural-language regulations. While Large Language Models (LLMs) offer strong semantic comprehension, integrating them into ACC introduces “Spatial Hallucinations” and “Serialization Bottlenecks” when processing high-dimensional BIM graphs. This research proposes an Agentic Neuro-Symbolic Framework that decouples semantic interpretation from geometric verification. Instead of relying on generative text for spatial reasoning, an Agentic LLM acts as a dynamic logic synthesizer orchestrating a deterministic geometry kernel (IfcOpenShell). The artifact was evaluated against the Australian National Construction Code (NCC 2022) across three stratified tiers: Semantic-Geometric Alignment, Multi-Parametric Dependencies, and Relational Topology Reasoning. Results demonstrate the framework autonomously resolves ontological ambiguity and synthesizes execution logic dynamically. By implementing connectivity graph traversal, the system isolates structural sub-graphs, reducing computational complexity from O(N) to O(K) and bypassing context-window limits. Offloading calculations to a deterministic environment achieves a highly deterministic accuracy rate for spatial queries, yielding immutable BIM Collaboration Format (.bcfzip) audit trails. Ultimately, this research establishes a scalable foundation for autonomous compliance, demonstrating that AI reliability in engineering significantly improves when probabilistic models orchestrate deterministic tools rather than predicting physical realities.
A principled, verifiable semantic communication method is developed using a random-support Dirichlet--Categorical model of inductive logical probability, providing a modern statistical reinterpretation of Carnap's and Hintikka's systems.
A neuro-symbolic framework that cleanly decouples reasoning into two formal dimensions: Symbolic Validity and Semantic Groundedness is proposed, which significantly improves reasoning reliability without the sprawling heuristics of prior frameworks.
Yu-Xin Zi, Cong Xu, Suparna Bhattacharya et al.· 0 citations
The Abstraction and Reasoning Corpus (ARC) benchmarks cognitive generalization, the ability to infer and apply abstract rules from limited examples. This paper presents a multi-stage rule-chaining framework that performs compositional reasoning across symbolic, structural, and conceptual levels. The framework integrate...
Experiments reveal that models with similar end-to-end accuracy can exhibit markedly different agentic capability profiles, demonstrating that process-level evaluation is crucial for interpreting the true potential of LLMs and guiding the development of next-generation mathematical agents.
Jiayi Kuang, Ying-Hui Li, Yun-Ze Song et al.· 0 citations
A neuro-symbolic framework combining LLM-driven elicitation constrained by a rule-based reasoner fed by an ontology-compliant knowledge graph is proposed and results indicate that the framework reliably prevents hallucinations from propagating into formal specifications.
Diego Ferreira, Rakshit Mittal, Lucas Lima et al.· International Conference on...· 0 citations
A Neuro-Symbolic architecture that integrates a Logical Knowledge Graph (LKG) with dynamic solver routing, and introduces an ontology-based LKG that treats logical rules and constraints as first-class topological nodes, enabling explicit modeling of dependencies extracted from text.
Hai-Zhao Fan, Yu-Chi Xiong, Jize Wang et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.