본 논문은 저수준 규칙 검증 절차를 개선하기 위한 고수준의 실행 가능한 방법을 정의하는 접근법을 제시한다. 이는 자동화된 코드 준수(compliance) 점검을 통해 건축 인허가를 위한 도전적인 건축정보모델링(BIM) 연계 응용을 개발하려는 노력의 일환이다. 여기서 설명하는 핵심 접근은 자연어를 명시적으로 정의된 규칙으로 번역하는 데 수반되는 시간이 많이 걸리고 오류가 발생하기 쉬운 작업을 완화하는 데 목적이 있다. 설계 요구사항을 명시적으로 표현하는 것은 건축가, 코드 전문가, 개발자 간의 협업이 포함되는 건축 프로젝트에서 핵심이 된다. 주어진 규칙을 자연(문어) 언어로 최대한 일반화, 중립화 및 재사용 가능하게 만들기 위해, 우리는 일련의 고수준 실행 가능한 컴퓨터 프로그래밍 방법(연산자, operators)을 제안한다. 이러한 방법은 건축 행위에 관한 문장에서 동사구(verb phrases)를 최소한의 모호성으로 번역하는 데 유익할 뿐 아니라, 충돌 없이 건축 객체의 고유한 특성을 표현하는 데에도 도움이 될 수 있다. 마지막으로 KBimCode와 개발된 규칙 검증 소프트웨어를 사용하여 코드 준수 점검에 적용함을 시연한다.

*본 초록은 AI를 통해 원문을 번역한 내용입니다. 정확한 내용은 하기 원문에서 확인해주세요.