Strata-K: 인공지능이 만든 규칙을 검사해 실행하는 오픈소스 도구
Strata-K는 인공지능이 영어로 된 정책을 규칙으로 바꾸고, 그 규칙을 컴파일러와 으로 검사해 실행하는 논리 언어다. 예를 들어 “두 단계 안의 소유자 중 제재 대상이 있으면 거래를 승인하지 말라”는 정책을 규칙으로 만들게 한 뒤, 선언되지 않은 이름 같은 오류를 안정적인 와 위치 정보로 알려준다. 이 오류 정보는 자동 수정 루프가 읽기 쉬운 형태라서, 단순한 실패 로그보다 고치기 쉽다.
규칙 검사를 통과하면 엔진이 같은 입력에 대해 항상 같은 방식으로 실행하고, 어떤 사실이 왜 참인지 전체 근거를 돌려줄 수 있다. 현재 공개된 코드는 Rust로 만든 CPU 기준 구현이며, 계층화된 , 부정 조건, 집계, 안정 모델, 정확한 를 지원한다. 을 타입 시스템 안의 조건처럼 쓰는 기능은 설계만 되어 있고 아직 구현되지 않았다.
코드는 MIT/ 라이선스로 공개되어 있다.
핵심 포인트
- 인공지능이 자연어 정책을 규칙으로 바꾸고, 컴파일러가 규칙 오류를 잡는다.
- 오류는 코드와 위치 정보로 제공되어 자동 수정 루프가 활용하기 쉽다.
- 검사를 통과한 규칙은 에서 실행되어 같은 입력에 같은 결과를 낸다.
- 결과가 나온 이유를 전체 근거로 돌려줄 수 있어 감사나 검토에 유리하다.
- 현재 구현은 오픈소스 Rust 코드이며, 와 를 지원한다.