中文摘要：

Ruqian Lu graduated from the department of mathematics, University Jena, Germany in 1959, and is currently a professor of computer science at Mathematical Insti- tute of the Academy of Mathematics and Systems Science, China. He is also a fel- low of Chinese Academy of Sciences. His research interests include artificial intelli-gence, knowledge engineering, knowledge based software engineer- ing, formal semantics of programming languages and quantum com- puting.