研究人员推出了一种名为MONIR的新型中间表示，专为使用Answer Set Programming (ASP) 进行合规推理而设计。该框架MONIR-ASP包含一个可执行的编译以及用于时间规则和外部函数等高级功能的扩展。该系统在中国先进驾驶辅助系统(ADAS)法规上进行了测试，利用了LLM辅助的管道来评估提取质量和求解效率。 AI
影响 该框架可以简化确保AI系统遵守复杂监管要求的流程。
排序理由 该集群包含一篇详细介绍AI合规推理新技术框架的研究论文。
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →
arXiv:2606.04619v1 Announce Type: new Abstract: We propose MONIR, a Modalized-Output Normative Intermediate Representation for ASP-based compliance reasoning. Its core fragment has a staged operational semantics, while MONIR-ASP provides an executable compilation and extensions f…
We propose MONIR, a Modalized-Output Normative Intermediate Representation for ASP-based compliance reasoning. Its core fragment has a staged operational semantics, while MONIR-ASP provides an executable compilation and extensions for external functions, temporal rules, and stabl…