LLM Reasoning 相关度: 8/10

T-Norm Operators for EU AI Act Compliance Classification: An Empirical Comparison of Lukasiewicz, Product, and Gödel Semantics in a Neuro-Symbolic Reasoning System

Adam Laabs
arXiv: 2603.28558v1 发布: 2026-03-30 更新: 2026-03-30

AI 摘要

比较三种T-范数算子在欧盟AI法案合规分类神经符号推理系统中的性能。

主要贡献

  • 首次比较三种T-范数算子在AI法案合规分类中的应用
  • 分析算子选择、规则库完整性和分类性能的关系
  • 发布LGGT+引擎和AI系统描述基准数据集

方法论

使用LGGT+引擎和AI系统描述数据集,评估Lukasiewicz、Product和Gödel算子在分类准确率、假阳性和假阴性率方面的表现。

原文摘要

We present a first comparative pilot study of three t-norm operators -- Lukasiewicz (T_L), Product (T_P), and Gödel (T_G) - 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, high_risk, limited_risk, minimal_risk), 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). T_G achieves highest accuracy (84.5%) and best borderline recall (85%), but introduces 8 false positives (0.8%) via min-semantics over-classification. T_L and T_P maintain zero false positives, with T_P outperforming T_L (81.2% vs. 78.5%). Our principal findings are: (1) operator choice is secondary to rule base completeness; (2) T_L and T_P maintain zero false positives but miss borderline cases; (3) T_G'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.

标签

神经符号推理 EU AI Act T-范数算子 合规分类

arXiv 分类

cs.AI