신호 Wolfram Language로 구현한 AI 거버넌스용 계산법

요약

이 논문은 Wolfram Language를 이용해 AI 거버넌스를 위한 계산법을 구현한 결과를 제시한다. 저자는 핵심 질문을 추론 과정을 완전히 들여다볼 수 없는 AI 시스템을 어떻게 통치할 것인가로 규정한다. 이어 거버넌스에는 시스템의 내부 추론을 이해할 필요 없이, 그 시스템이 무엇을 해야 하고 할 수 있으며 해서는 안 되는지를 명시하고 준수 여부를 확인하는 것으로 충분하다고 주장한다. 이런 관점에 따라 논문은 DAPRECO 지식베이스의 근간이 되는 형식체계인 재구성된 입출력논리를 구현한다. 구현에는 핵심 입출력 공리와 의무 구조가 포함되며, 이를 Wolfram Language 환경에서 실행 가능한 형태로 만들었다.