[论文解读] Governing Governance

Thomas C. King|arXiv (Cornell University)|Jan 1, 2016

Multi-Agent Systems and Negotiation参考文献 13被引用 20

一句话总结

本文提出PARAGon，一种基于Searle的'counts-as'规则的正式框架，用于分析制度设计与实施治理。该框架支持多层级治理中的合规性自动化推理，通过最小化规则修改解释非合规性，并形式化次级法律规则以确定制度变更在法律上是否有效，为复杂监管环境中的制度推理提供数学上严谨且可实现的方法。

ABSTRACT

This dissertation is motivated by the need, in today's globalist world, for a precise way to enable governments, organisations and other regulatory bodies to evaluate the constraints they place on themselves and others. An organisation's modus operandi is enacting and fulfilling contracts between itself and its participants. Yet, organisational contracts should respect external laws, such as those setting out data privacy rights and liberties. Contracts can only be enacted by following contract law processes, which often require bilateral agreement and consideration. Governments need to legislate whilst understanding today's context of national and international governance hierarchy where law makers shun isolationism and seek to influence one another. Governments should avoid punishment by respecting constraints from international treaties and human rights charters. Governments can only enact legislation by following their own, pre-existing, law making procedures. In other words, institutions, such as laws and contracts are designed and enacted under constraints.

研究动机与目标

• 为解决在复杂治理体系，特别是多层级治理情境下理解与管理制度约束的挑战。
• 形式化制度设计与实施的约束，特别是规范制度何时及如何变更的次级法律规则。
• 提供一种机制，用于识别对非合规制度设计的最小化、意图保持不变的修正。
• 通过支持大规模异构系统（如传感器网络）的自动化治理，实现对制度合规性的形式化、可追溯推理。
• 通过将抽象概念（如'counts-as'规则）形式化为计算上可处理的模型，弥合法律哲学与符号人工智能之间的鸿沟。

提出的方法

• 使用Searle的'counts-as'规则（例如，'A在情境C中计为B'）作为建模制度宪法和社会现实构建的基础机制。
• 开发一种形式逻辑框架，以表示和推理多层级治理，其中高层级制度（如人权宪章）约束低层级制度（如国家法律）。
• 采用规则修改型counts-as规则来形式化次级法律规则——例如，'政府投票计为通过新规则'——以建模制度随时间变化的合法性。
• 引入一种计算机制，通过识别恢复合规性所需的最少规则增删改操作，生成非合规性的最小化解释。
• 将该框架应用于真实世界案例研究，包括欧盟数据隐私法和传感器网络治理，以验证其实际适用性。
• 将形式化模型与计算实现集成，以支持制度设计与变更的自动化推理和验证。

实验结果

研究问题

• RQ1 如何使用counts-as规则正式表示并推理多层级治理中的制度约束？
• RQ2 在保持原始设计意图的前提下，纠正非合规制度设计所需的最小规则修改集合是什么？
• RQ3 如何将规范制度变更合法性的次级法律规则形式化为规则修改型counts-as规则？
• RQ4 该框架在多大程度上能支持对制度变更实施与合规性随时间推移的自动化推理？
• RQ5 该框架如何处理制度变更过程中社会语境变化与规则有效性之间动态互动的问题？

主要发现

• PARAGon框架通过支持对低层级法规是否违反高层级规范（如欧盟指令或人权宪章）的逻辑推理，成功形式化了多层级治理。
• 该框架通过识别实现合规性所需的最少规则变更，生成最小化且意图保持不变的非合规性解释，确保设计保真度。
• 它提供了一种正式机制，通过建模次级法律规则的时间与情境依赖性，确定某项规则变更是否计为合法有效。
• 该框架通过真实世界案例研究得到验证，包括数据隐私法规的合规性检查以及大规模传感器网络的治理。
• 形式逻辑与计算实现的集成，使得制度设计与变更的推理具备自动化、可预测性和透明性。
• 该方法表明，抽象的法律与哲学概念（如制度宪法与规则修改）可被转化为计算上可处理且可验证的形式。