Planning-based visual programming for sequence control

This paper describes the planning-based visual programming for sequence control in the prototype system: VIPS/S-SFCD (Visual Programming System for Sequence control program Specification Design). VIPS/S-SFCD features: 1) a rehearsal-based visual programming technique in which designers specify the goal states of machines using graphical representations, and 2) a planning method that infers machine actions and generates the control program specifications. This planning is based on the state space model and the concept of scope for efficient searches. The advantages of using VIPS/S-SFCD include: 1) the designers can reduce errors in writing the specifications because they can easily understand the actions and the states of the machines; 2) they can improve the reliability of the specifications because VIPS/S-SFCD generates the appropriate parts of the specifications by planning; and 3) they also can reduce the design time of the specifications because high level instructions are used that closely reflect their thought process.<<ETX>>

[1]  Stephen Fickas,et al.  Automating the Transformational Development of Software , 1985, IEEE Transactions on Software Engineering.

[2]  T. Matsudaira,et al.  A knowledge representation for model-based high-level specification , 1991, [1991] Proceedings. The Seventh IEEE Conference on Artificial Intelligence Application.

[3]  Adam Billyard,et al.  VPL: an active, declarative visual programming system , 1991, Proceedings 1991 IEEE Workshop on Visual Languages.

[4]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[5]  Y. Ono,et al.  Artificial intelligence based programmable controller software designing , 1988, Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications.

[6]  Ian H. Witten,et al.  Metamouse: specifying graphical procedures by example , 1989, SIGGRAPH.

[7]  Masahito Hirakawa,et al.  Interpretation of icon overlapping in iconic programming , 1991, Proceedings 1991 IEEE Workshop on Visual Languages.

[8]  Thomas G. Dietterich,et al.  Knowledge Compilation: A Symposium , 1991, IEEE Expert.

[9]  Zohar Manna,et al.  A Deductive Approach to Program Synthesis , 1979, TOPL.

[10]  Tom M. Mitchell,et al.  Becoming Increasingly Reactive , 1990, AAAI.

[11]  Daniel E. Whitney,et al.  State Space Models of Remote Manipulation Tasks , 1969, IJCAI.

[12]  H. Tsukimoto,et al.  A model matching design method for sequence control systems , 1991, Conference Proceedings 1991 IEEE International Conference on Systems, Man, and Cybernetics.

[13]  David R. Barstow.  Domain-Specific Automatic Programming , 1985, IEEE Transactions on Software Engineering.

[14]  S. Ito,et al.  Model-based explanation of specifications for sequence control , 1994, Proceedings of the Tenth Conference on Artificial Intelligence for Applications.

[15]  T. Matsudaira,et al.  Model-based automatic programming for plant control , 1990, Sixth Conference on Artificial Intelligence for Applications.

[16]  Yasuo Namioka,et al.  Automatic Programming for Sequence Control , 1992, IAAI.