A knowledge representation for model-based high-level specification

A conditional semantic network as knowledge representation for model-based high-level specification in a plant control programming domain is proposed. In this representation, semantics of relations varies according to the plant situation, while it is determinate in conventional networks. A plant model enables designers to design control programs using natural terms and concepts of a plant. In order to interpret user-defined high-level specifications, the model includes knowledge about plant control in addition to plant components. The plant control knowledge is a type of constraint relation which exists among the plant component´s actions and states. It varies according to the plant situation. The plant model, including the plant control knowledge, is appropriately described in the conditional semantic network representation