Compliance-by-Construction Argument Graphs: Using Generative AI to Produce Evidence-Linked Formal Arguments for Certification-Grade Accountability
基于构造的合规性论证图:利用生成式AI生成证据关联的正式论证以实现认证级问责
专题命中 图谱与结构化RAG :retrieval-augmented generation(abstract);RAG(abstract);分类 cs.AI
AI总结 本文提出一种结合生成式AI与结构化正式论证表示的合规性架构,通过类型化论证图、检索增强生成、推理验证内核和溯源账本,确保论证的可验证性和可追溯性,防止不支持的主张进入决策记录。
Comments Accepted at FACCT 2026, IoT CPS Week