[논문 리뷰] Governing Governance

Thomas C. King|arXiv (Cornell University)|2016. 01. 01.

Multi-Agent Systems and Negotiation참고 문헌 13인용 수 20

한 줄 요약

이 논문은 Searle의 'counts-as' 규칙을 사용하여 기관 설계 및 시행 거버넌스를 분석하기 위한 형식적 프레임워크인 PARAGon을 소개한다. 이는 다수의 거버넌스 수준에서의 준수 여부에 대한 자동 추론을 가능하게 하고, 최소한의 규칙 수정을 통해 비준수 원인을 설명하며, 기관 변화가 법적으로 유효한 시점을 정의하는 보조 법적 규칙을 형식화함으로써 복잡한 규제 환경에서 기관 사고에 대해 수학적으로 엄밀하고 구현 가능한 접근법을 제공한다.

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 규칙을 활용한다. 예를 들어 '정부의 투표는 새로운 규칙의 제정으로 간주된다'는 식으로, 시간이 지남에 따라 기관 변화의 합법성을 모델링한다.
• 준수를 복구하기 위해 필요한 최소한의 규칙 추가, 삭제 또는 수정을 식별함으로써 비준수에 대한 최소한의 설명을 생성하는 계산 기반 메커니즘을 도입한다.
• 실제 사례 연구를 통해 프레임워크의 실용적 적용 가능성을 검증하기 위해, EU 데이터 프라이버시 법규 및 센서 네트워크 거버넌스와 같은 실제 사례에 적용한다.
• 형식적 모델을 계산 구현과 통합하여 기관 설계 및 변화에 대한 자동 추론과 검증을 가능하게 한다.

실험 결과

연구 질문

• RQ1 다수의 거버넌스 수준에서 'counts-as' 규칙을 사용하여 기관 제약 조건을 어떻게 형식적으로 표현하고 추론할 수 있는가?
• RQ2 원래 설계 의도를 유지하면서 비준수된 기관 설계를 수정하기 위해 필요한 최소한의 규칙 수정 조합은 무엇인가?
• RQ3 기관 변화의 합법성을 규율하는 보조 법적 규칙은 어떻게 규칙 수정 기능을 갖춘 'counts-as' 규칙으로 형식화할 수 있는가?
• RQ4 이 프레임워크는 시간이 지남에 따라 기관 변화의 시행 및 준수 여부에 대해 자동 추론을 어떻게 지원하는가?
• RQ5 이 프레임워크는 기관 변화 과정에서 변화하는 사회적 맥락과 규칙 유효성 간의 동적 상호작용을 어떻게 다루는가?

주요 결과

• PARAGon 프레임워크는 EU 지침이나 인권 헌장과 같은 상위 수준의 규범이 하위 수준의 규정 위반 여부를 논리적 추론을 통해 분석할 수 있도록 함으로써 다수의 거버넌스 수준에서의 거버넌스를 성공적으로 형식화하였다.
• 설계의 무결성을 유지하기 위해 최소한의 규칙 변경 수를 식별함으로써 비준수에 대한 최소한의, 의도를 유지하는 설명을 생성한다.
• 보조 법적 규칙의 시간적 및 맥락적 의존성을 모델링함으로써, 규칙 변경이 법적으로 유효한지 여부를 판단할 수 있는 형식적 메커니즘을 제공한다.
• 실제 사례 연구를 통해 프레임워크의 유효성을 검증하였으며, 데이터 프라이버시 규칙 준수 검사 및 대규모 센서 네트워크 거버넌스 사례에 적용되었다.
• 형식적 논리와 계산 구현의 통합을 통해 기관 설계 및 변화에 대한 자동화, 예측 가능하고 투명한 추론이 가능해졌다.
• 이 접근법은 기관의 구성 및 규칙 수정과 같은 추상적 법적 및 철학적 개념이 계산적으로 구현 가능하고 검증 가능한 방식으로 표현될 수 있음을 입증하였다.