통제 공학 분야의 연구 산출물의 급증에 따라 도메인 지식을 구조화하고 형식화하는 새로운 접근 방식이 필요합니다. 본 논문은 인간의 가독성과 기계 해석 가능성, 표현력을 향상시키는 형식화된 지식 표현을 반자동으로 생성하기 위한 LLM 지원 방법을 간략하게 설명합니다. PyIRK 프레임워크를 기반으로, 언어 모델이 자연어 설명 및 수학적 정의(LaTeX 소스 코드로 제공)를 형식화된 지식 그래프로 변환하는 데 어떻게 도움을 줄 수 있는지 보여줍니다. 첫 번째 응용 프로그램으로 지식 전달을 용이하게 하기 위해 소스 문서를 향상시키는 "대화형 의미 계층"의 생성을 제시합니다. 이는 통제 공학 분야의 접근하기 쉽고 협업 가능하며 검증 가능한 지식 기반의 비전에 기여합니다.
