Abstract
The features of a rule-based programming language called PICASSO are surveyed that provides modular structures for rule-based programming and allows to interface sets of rules by operations. Furthermore, the proposed language provides encapsulation by generalizing the notation of variables in three ways. First, it extends the scope of variables to modules, which can be considered as sets of rule sets cooperating in a given, fixed context. Second, we introduce the concept of multi-instantiated variables, which facilitates the exchange of results and inputs between rule-based programs as well as the formulation of repetitive loops. Third, relationships between variables can be defined, which facilitates the formulation of tasks for related objects, e.g., married couples.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Inference Cooperation: ART Reference Manual; Inference Cooperation, LA (1986).
Bacchant, J.; Soloway, E.: The Engineering of XCON; CACM, pp.311–317 (1989).
Browston, L.; Farell, R.; Kant,E.; Martin,N.: Programming Expert Systems in OPS5; Addison Wesley (1985).
Bocionek, S.: Modularization of Rule-Based Programs; Proc 8th Int. Workshop on Expert Systems and their Application, Avignon(1988).
Clocksin, W.,; Mellish, C.: Programming in PROLOG; Springer Verlag, Berlin 1984).
Delcambre,L.; Etheredge,J.: A Self Controlling Interpreter for the Relational Production Language; Proc. ACM-SIGMOD Conference on Management of Data(1988).
Eick,C. et all.: Computer Bridge — A Challenge for AI; in Ras,Z.: Proc. Fifth Symposium Methodologies for Intelligent Systems, North Holland (1990).
Giarratano,J.; Riley,G.: Expert Systems — Principles and Programming; PWS-KENT (1989).
Hsu, C. et all.: A Distributed Approach for Inferring Production Systems, Proc. 10th IJCAI-Conference, Milan (1987).
R. Jacob, and J. Froscher: A Software Engineering Methodology for Rule-Based Systems; IEEE Transactions on Knowledge and Data Engineering, vol. 2, no. S, pp. 173–189 (1990).
IntelliCorp: KEE Software Development System Training Manual; IntelliCorp document number 2.1-TZ-2 (Jan. 1986).
E.Soloway, J.Bachant, and K. Jensen: Accessing the Maintainability of XCON-in-RIME: Coping with Problems of a VERY Large Rule-Base; in Proc. Sixth National Conference on Artificial Intelligence, Seattle, pp. 824–889 (1987).
Surko, P.: Modularizing OPS5-Based Expert-Systems under UNIX; in Proc. COMPSAC-Conference, Illinois (1986).
Tichy,W.: What can Software Engineers Learn from Artificial Intelligence?; IEEE Computer, Vol 20, No. 11 (1987).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Eick, C.F. (1991). Integrating variables and operations into rule-based forward chaining systems. In: Ras, Z.W., Zemankova, M. (eds) Methodologies for Intelligent Systems. ISMIS 1991. Lecture Notes in Computer Science, vol 542. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54563-8_69
Download citation
DOI: https://doi.org/10.1007/3-540-54563-8_69
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54563-7
Online ISBN: 978-3-540-38466-3
eBook Packages: Springer Book Archive