교착상태 방지를 위한 지식기반시스템의 설계