研究人员推出了一种名为MONIR的新型中间表示，专为使用Answer Set Programming (ASP) 进行合规推理而设计。该框架在最近的一篇论文中有所介绍，包含用于执行的ASP编译以及对时间规则和外部函数的扩展。该系统在中国ADAS法规上进行了测试，实验评估了提取质量和ASP求解的效率。 AI
影响 引入了一种将AI应用于法规合规的新颖方法，有望简化对复杂法律和技术标准的分析。
排序理由 该集群包含一篇详细介绍合规推理新框架的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →