Knowledge Based Support for the Authoring and Checking of Operating Procedures

摘要

This paper presents a system, named CAPTOP, for authoring and checking operating procedures for plant operations. It consists of a knowledge base of plant unit operations that can be linked to a graphical front end for inputting operating instructions. The system then builds a formal model of the instruction set as an interlingua and then uses it to output multilingual operating procedures. It avoids the problems of natural language understanding that make machine translation so difficult. Furthermore, the system could also generate output in a formal syntax that can be used as input to another knowledge based component, CHECKOP, for checking the procedure for operability and safety problems.