论文信息 - XC- A language for embedded rule based systems

XC- A language for embedded rule based systems

We report on experiences in the design of the programming language XC. It is an extension of C++ and combines abstract data types with rule based programming. Our design decisions are validated by three application prototypes and by benchmarking XC and OPS83. The experiences raise some critique on the RETE algorithm and on C++ as a host language. However, most of the results are also applicable to other host languages that support data abstraction. XC has been designed specifically to be used in embedded real-time expert systems.

[1] Bjarne Stroustrup,et al. C++ Programming Language , 1986, IEEE Softw..

[2] Nancy Martin,et al. Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1) , 1985, Int. CMG Conference.

[3] Charles L. Forgy,et al. OPS5 user's manual , 1981 .

[4] Barbara Liskov,et al. Abstraction and Specification in Program Development , 1986 .

[5] Charles L. Forgy,et al. Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[6] Milton W. Green,et al. An Expert System for Real-Time Control , 1986, IEEE Software.

[7] D. L. Parnas,et al. On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[8] David A. Klein,et al. YEWMVS : A Continuous Real Time Expert System , 1999 .

[9] Craig Schaffert,et al. Abstraction mechanisms in CLU , 1977, Commun. ACM.

[10] Karl-Erik Årzén,et al. Expert Systems for Process Control , 1986 .

[11] Elaine Kant,et al. Programming expert systems in OPS5 , 1985 .

[12] V. Stavridou,et al. Abstraction and specification in program development , 1988 .

[13] Charles Lanny Forgy,et al. On the efficient implementation of production systems. , 1979 .

[14] U. Pape,et al. Algorithm 562: Shortest Path Lengths [H] , 1980, TOMS.

[15] Charles L. Forgy,et al. The OPS83 report , 1984 .

[16] P. A. Sachs,et al. Escort — an expert system for complex operations in real time , 1986 .