PulseAugur
中
实时 02:20:01
English(EN) A Normative Intermediate Representation for ASP-Based Compliance Reasoning

新表示借助ASP辅助AI合规推理

作者 PulseAugur 编辑部 · [2 个来源] ·

研究人员推出了一种名为MONIR的新型中间表示，专为使用Answer Set Programming (ASP) 进行合规推理而设计。该框架MONIR-ASP包含一个可执行的编译以及用于时间规则和外部函数等高级功能的扩展。该系统在中国先进驾驶辅助系统(ADAS)法规上进行了测试，利用了LLM辅助的管道来评估提取质量和求解效率。 AI

影响 该框架可以简化确保AI系统遵守复杂监管要求的流程。

排序理由 该集群包含一篇详细介绍AI合规推理新技术框架的研究论文。

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →

新表示借助ASP辅助AI合规推理

报道来源 [2]

  1. arXiv cs.AI TIER_1 English(EN) · Yangfan Wu, Huanyu Yang, Jianmin Ji ·

    一种基于ASP的合规性推理的规范性中间表示

    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…

  2. arXiv cs.AI TIER_1 English(EN) · Jianmin Ji ·

    一种基于ASP的合规性推理的规范性中间表示

    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…

相关实体

相关话题