Title :
A knowledge representation for model-based high-level specification
Author :
Mizutani, Hiroyuki ; Nakayama, Yasuko ; Sadashige, Katsuya ; Matsudaira, Takayuki
Author_Institution :
Toshiba Corp., Tokyo, Japan
Abstract :
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
Keywords :
formal specification; industrial computer control; knowledge representation; conditional semantic network; constraint relation; control programs; conventional networks; knowledge representation; model-based high-level specification; natural terms; plant components; plant control knowledge; plant control programming domain; plant model; plant situation; semantics; user-defined high-level specifications; Actuators; Artificial intelligence; Automatic control; Automatic programming; Automatic testing; Information systems; Knowledge representation; Programmable control; Software testing; System testing;
Conference_Titel :
Artificial Intelligence Applications, 1991. Proceedings., Seventh IEEE Conference on
Conference_Location :
Miami Beach, FL
Print_ISBN :
0-8186-2135-4
DOI :
10.1109/CAIA.1991.120857
