编辑推荐：
本文提出人工智能方法论（AIM），通过业务流程管理技术确保欧盟AI法案合规。该方法结合法律与计算机科学，适用于司法等各领域，支持AI系统开发与流程优化，助力企业过渡并满足监管要求。
伊拉里亚·安杰拉·阿曼泰亚（Ilaria Angela Amantea）|吉多·戈维纳托里（Guido Governatori）|玛丽内拉·夸兰塔（Marinella Quaranta）|玛丽安娜·莫利纳里（Marianna Molinari）
都灵大学计算机科学系，意大利都灵10149，科索斯瑞士拉185（Corso Svizzera 185）
摘要
《人工智能法案》（AI Act）是一个监管框架，旨在推动欧洲范围内人工智能系统的应用。该法案为在欧盟境内使用的人工智能系统设定了相关要求，不合规的系统将面临罚款或被排除在欧盟市场之外的风险。在本文中，我们提出了一种通过业务流程管理（BPM）技术确保人工智能系统合规性的理论方法。我们的方法论包含两个关键方面：一是说明如何将BPM整合到涉及人工智能系统的流程中；二是确定开发符合《人工智能法案》标准的人工智能系统所需的BPM方法。为了说明每个步骤的应用，我们使用了一个司法案例研究，尽管该方法论本身并不局限于任何特定领域。人工智能方法论（AIM）旨在具备灵活性，可应用于各种领域，支持人工智能系统的开发与使用，以优化业务流程或执行这些流程中的各个组成部分或任务。该方法论是为法律从业者设计的，便于他们无需具备先前的技术知识即可使用。
引言
人工智能（AI）系统已成为几乎所有行业不可或缺的一部分，其广泛应用不仅是不可避免的，也是至关重要的。最近颁布的《人工智能法案》（AI Act）为各行业的人工智能应用提供了指导方针，并要求所有进入欧盟市场的人工智能系统都必须经过合规性认证。
该法案通过明确规定要求、限制和义务来规范人工智能系统。与其关注单一的人工智能技术，它采取了一种基于风险的方法，评估不同领域中人工智能可能带来的风险。人工智能系统带来的风险越大，其监管要求就越严格。这意味着那些有可能对社会造成重大伤害的系统必须遵守更严格的规则。
与其他欧洲法规一样，《人工智能法案》采用了一个广泛而全面的框架。为了澄清某些方面，欧盟还发布了额外的软法律，包括一般性指导方针、建议和最佳实践。虽然这一框架允许成员国根据本国情况调整相关规定，但也延缓了整个欧盟在立法上的清晰度和一致性。由于《人工智能法案》的定义仍较为模糊，因此在未来两年内需要实施多个系统以确保合规性，尽管这些指导方针仍然较为笼统。
这引出了一个关键问题：
•如何验证一个IT系统是否符合《人工智能法案》的要求？
一个重要的挑战是，人工智能系统通常需要处理大量数据，这超出了人类的处理能力。因此有人认为，只有人工智能系统本身才能有效地评估其他人工智能系统的合规性。
本文旨在通过提出一种方法论来解决这一挑战。具体来说，它将探讨以下问题：
•业务流程管理系统（BPM）如何利用人工智能来确保符合《人工智能法案》的要求？
•考虑到（a）人工智能系统不遵循传统的工作流程结构，以及（b）人工智能系统最适合处理大量数据的特点，BPM方法论如何应用于人工智能系统？
本文介绍了人工智能方法论（AIM），这是一个旨在确保符合不断发展的《人工智能法案》要求的框架。通过关注法律遵从性的关键要素，AIM使人工智能能够融入工作流程，同时保持运营竞争力。该方法论旨在让法律从业者无需具备技术背景即可使用。它是由法律专业人士与计算机科学家合作开发的，旨在确保合规性的同时，使法律专业人士能够轻松运用。
由于AIM的通用性，一些先前的研究通过医疗保健领域的案例研究了该框架[1]，而本文则展示了其在司法领域的应用。
通过一个司法领域的案例研究，本文展示了该方法论的实际应用，提供了在高风险人工智能场景下验证合规性的逐步指导。虽然本文主要关注开发阶段的合规性，但也为未来持续监控解决方案的整合奠定了基础。
本文分为三个部分。首先，我们概述了《人工智能法案》及其与业务流程管理领域的相关性；接着介绍了我们的方法论，并通过一个案例研究展示了AIM如何支持法院法官的决策过程；最后，我们提出了若干评论、结论和未来研究的方向。
背景
背景
在深入探讨主题之前，我们简要介绍了一些法律和技术方面的内容。本节介绍了方法论中使用的核心法律和技术要素。在法律层面，我们简要介绍了《人工智能法案》的结构、其在欧洲立法框架中的位置及其与其他欧盟法规的关联；在技术层面，我们介绍了多个核心概念，以便更好地理解AIM框架：可反驳的义务逻辑（Defeasible Deontic Logic，DDL）及其工作原理。
人工智能方法论（AIM）
人工智能方法论（AIM）旨在为确保符合不断发展的《人工智能法案》要求提供一个结构化的框架。AIM不仅要求简单地遵循法案的指导方针，还重点关注合规性的关键要素，从而促进人工智能在运营中的整合，同时不损害竞争力。这对于在法案实施细则发布前的过渡阶段从事自动化活动的企业和机构尤为重要。
案例研究：一个用于法学研究的平台
本节通过一个专注于司法决策支持系统的案例研究，展示了AIM的应用。
在民法国家，法官在做出裁决时必须说明裁决依据。这些依据包括立法、学说以及判例法或法学原理。与过去判例法（尤其是最近的判例）保持一致非常重要，但这也颇具挑战性，因为通常很难找到与相关法院相关的完整判例记录。
评论、结论与未来工作
《人工智能法案》制定了严格的监管规定，明确了欧洲范围内人工智能系统的生产和销售要求及义务。由于法案仅提供了通用指导方针，成员国需要在法案实施后制定更具体的法规。目前，《人工智能法案》的过渡期将于2026年8月2日结束，因此各公司必须在此之前完成合规性整改。
人工智能方法论（AIM）为此提供了一个框架...
