Abstract
Expert systems are increasingly prevailing in the fields of industry, business, and defense affairs. Expert system languages are key to the development, and play a decisive role on the quality, of expert systems. Three major components are required in an expert system language: knowledge representation, control, and developing tools. Current major expert system languages have their individual pros and cons, in terms of each component. We are developing a new expert system language which combines the advantages of these languages. Knowledge are expressed in the form of facts and rules which consist of predicates, without requiring rules to be Horn clauses. Facts may include variables and patterns are matched by unification. Control of execution is characterized by the recognize-act cycle of forward-chaining to reason about and answer user questions. Rules can be added and deleted dynamically. Friendly debugging facilities are provided. An interpreter, using the rule network technique, for the new language has been constructed, and test results show that the language is effective.
Supported by National Science Council under grant NSC 81-0408-E-110-02.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Artificial Intelligence Section, Lyndon B. Johnson Space Center. CLIPS User's Guide, Reference Manual, and Architecture Manual, May 1989.
C. Chang and R. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973.
C. L. Forgy. On the Efficient Implementation of Production Systems. PhD thesis, Carnegie-Mellon University, 1979.
C. L. Forgy. Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence, 19:17–37, 1982.
F. Pereira. C-Prolog User's Manual. SRI International, Menlo Park, California.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lee, SJ., Wu, CH. (1993). Building an expert system language interpreter with the rule network technique. In: Komorowski, J., RaÅ›, Z.W. (eds) Methodologies for Intelligent Systems. ISMIS 1993. Lecture Notes in Computer Science, vol 689. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56804-2_8
Download citation
DOI: https://doi.org/10.1007/3-540-56804-2_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56804-9
Online ISBN: 978-3-540-47750-1
eBook Packages: Springer Book Archive