T-Norm Operators for EU AI Act Compliance Classification: An Empirical Comparison of Lukasiewicz, Product, and G"odel Semantics in a Neuro-Symbolic Reasoning System
On the map: LLM reasoning → Reasoning benchmarks and evaluation
Abstract (arXiv)
We present a first comparative pilot study of three t-norm operators -- Lukasiewicz (TL), Product (TP), and G"odel (TG) - as logical conjunction mechanisms in a neuro-symbolic reasoning system for EU AI Act compliance classification. Using the LGGT+ (Logic-Guided Graph Transformers Plus) engine and a benchmark of 1035 annotated AI system descriptions spanning four risk categories (prohibited, highrisk, limitedrisk, minimalrisk), we evaluate classification accuracy, false positive and false negative rates, and operator behaviour on ambiguous cases. At n=1035, all three operators differ significantly (McNemar p<0.001). TG achieves highest accuracy (84.5%) and best borderline recall (85%), but introduces 8 false positives (0.8%) via min-semantics over-classification. TL and TP maintain zero false positives, with TP outperforming TL (81.2% vs. 78.5%). Our principal findings are: (1) operator choice is secondary to rule base completeness; (2) TL and TP maintain zero false positives but miss borderline cases; (3) TG's min-semantics achieves higher recall at cost of 0.8% false positive rate; (4) a mixed-semantics classifier is the productive next step. We release the LGGT+ core engine (201/201 tests passing) and benchmark dataset (n=1035) under Apache 2.0.
Key facts. No citing papers in the map yet (data through 7 Oct 2026). Placed in Reasoning benchmarks and evaluation, one of 17 directions in LLM reasoning. Builds on 7 of its 15 references that are in the map. First posted on arXiv 30 Mar 2026.
Builds on
7 of 15 references.
References · 7
- 2020Logic Tensor Networkscited by 197
- 2020Logical Neural Networkscited by 118
- 2022Deep Differentiable Logic Gate Networkscited by 67
- 2020From Statistical Relational to Neuro-Symbolic Artificial Intelligencecited by 63
- 2022Neural-Symbolic Models for Logical Queries on Knowledge Graphscited by 60
- 2022TFLEX: Temporal Feature-Logic Embedding Framework for Complex Reasoning over Temporal Knowledge Graphcited by 13
- 2023logLTN: Differentiable Fuzzy Logic in the Logarithm Spacecited by 4
Built on by
Not cited yet.
Similar, not cited
Close in wording, no citation either way
- 2025Logical Modalities within the European AI Act: An Analysis
- 2026The RAIL Principles for Neurosymbolic AI: Reasoning, Assurances, Interfacing and Learning
- 2026Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
- 2026Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
- 2025A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
- 2025Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models
- 2026Breaking Up with Normatively Monolithic Agency with GRACE: A Reason-Based Neuro-Symbolic Architecture for Safe and Ethical AI Alignment
- 2026Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning