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.<
>