| With the progress of technology, such as information process, computer and robot etc, numbers of complicated man-made dynamic systems are occurred. Differ from the continuous variable system, the system called discrete event dynamic system has asynchronous and simultaneous characteristic, which is characterized by the large number of object variables and status, complex operating rules and frequent changes. At this point, the traditional problem-oriented programming approach is incapable of handling the analysis and design of the new artificial systems. The rule Description method is widely used in descriptive ideology of artificial intelligence which is introduced into the analysis and design of discrete event dynamic systems. This method uses logic rule description language to describe the transferring status of system object variables to form rule base. Since the rule base is the core of the system, the efficiency of its work directly affects the performance of the entire system, the consistency, correctness and completeness of the rule set are key factors for the system. It is therefore very important that the rule base is verified and validated .This paper first makes a description of several popular formal techniques, and introduces a new formal description language—logic rule description language. This new type of language is developed by our project group and can be applied into general discrete event control system. Engineer can use it to describe the logic behavior of system event and produce the natural language rule set files. Then the paper discusses and studies the design and implementation of the discrete event dynamic system used Rule Description Method. Also, this paper sums up five kinds of error rules, and then proposes a new rule-based verification method based on rule characteristics by analysis and comparison of the one with Petri net and Data Tables. The proposed method improves the consistency, correctness and completeness of the rule base. Finally, it discusses the application of rule description method into belt transport control system, and decripes the design using this method, and then gives examples. Based on these examples, the paper studies the verification of rule base using the proposed rule-based verification method. |
