한국가스학회지 (Journal of the Korean Institute of Gas)
- 제5권1호
- /
- Pages.37-44
- /
- 2001
- /
- 1226-8402(pISSN)
- /
- 2713-6922(eISSN)
시간논리와 표현논리를 이용한 운전절차 자동합성 시스템 개발
Development of Automatic Synthesis System for Operating Procedures Using Temporal Logic and Description Logic
-
Hou Bo Kyeng
(Dept. of Chem Eng., Pusan National University) ;
- Hwang Kyu Suk (Dept. of Chem Eng., Pusan National University)
- 발행 : 2001.03.01
초록
운전절차 활성 시스템은 운전절차 합성에 필요한 시간과 노력을 줄여주고 좀더 자세하게 운전절차를 분석해 줄 뿐 아니라 인적오류를 줄여주거나 제거해주는 역할을 수행한다. 또한 운전절차를 생성하는데 필요한 전문가들의 지식을 가지고 있어 새로운 상황에 사용할 수 있도록 한다. 그러나 기존의 시스템들은 많은 한계성을 가지고 있다. 따라서 본 연구에서는 이러한 문제를 해결하기 위해 시간논리와 표현논리로 공정의 특성지식과 시간적인 제약조건을 다루는 새로운 접근방법을 제안하여 보일러 공장에 적용하여 그 유효성을 입증하였다.
OPS(Operating Procedure Synthesis) systems can reduce the time and effort involved in OPS, make the analysis more thorough and detailed, and minimize or eliminate human errors. And OPS systems capture the expertise needed to create operating procedures and allow this experience to be used in the new situations. But there are the limitations of the OPS techniques that have been used. So in order to resolve this Problem, in this work we have proposed a new approach to utilize temporal constraints and specific process knowledge in temporal logic and description logic. We have demonstrated its remarkable effectiveness in a boiler plant.