A Normative Intermediate Representation for ASP-Based Compliance Reasoning
Signal
72
Hype
15
En 3 lignesMONIR est une représentation intermédiaire normative pour le raisonnement de conformité basé sur ASP. Le framework inclut une sémantique opérationnelle par étapes, une compilation exécutable (MONIR-ASP) et des extensions pour fonctions externes et règles temporelles. Validation sur réglementations ADAS chinoises avec pipeline assisté par LLM.Lire la source
Ton avis ?
Résumé généré par Claude — vérifié par l'humain