Abstract
Dialog-controlled rule systems were introduced as a tool to describe the way in which theWimdas system for knowledge-based analysis of marketing data manages its dialog with the user. In this paper we shall discuss how dialog-controlled rule systems can be used to specify a formal language aiding a knowledge engineer in maintaining a system's knowledge base. Although this language is finite, it must be defined generically, being too extensive to be enumerated. In contrast to the well-known traditional methods for defining formal languages — using finite automata, regular expressions or grammars — our method can be applied by a user who need not be an expert in theoretical computer science.
Similar content being viewed by others
References
D. Baier and S. Marx, Data management in a knowledge-based system for marketing research, in:Analyzing and Modeling Data and Knowledge, ed. M. Schader (Springer, Berlin, 1992) pp. 189–197.
W. Gaul, F. Wartenberg and D. Baier, A knowledge-based system managing sequences of data analysis methods, in:Operations Research '92, eds. A. Karmann et al. (Physica, Heidelberg, 1993) pp. 295–299.
F. Hantelmann, Graphical data analysis in a distributed system, in:Symbolic-Numeric Data Analysis and Learning, eds. E. Diday and Y. Lechevallier (Nova Science, New York, 1991) pp. 565–575.
J.E. Hopcroft and J.D. Ullman,Introduction to Automata Theory, Languages and Computation (Addison-Wesley, Reading, 1979).
R. Kiel, Dialog-gesteuerte Regelsysteme als Hilfsmittel zur Definition konsistenter Datenobjekte, Tech. Rep. 2-93, Dept. of Information Science, University of Mannheim (1993).
R. Kiel and M. Schader, Detecting inconsistencies in dialog-controlled rule systems, in:Dependability of Artificial Intelligence Systems, eds. G.H. Schildt and J. Retti (North-Holland, Amsterdam, 1991) pp. 141–152.
R. Kiel and M. Schader, Knowledge representation in a system for marketing research, in:Analyzing and Modeling Data and Knowledge, ed. M. Schader (Springer, Berlin, 1992) pp. 179–187.
A.K. Mackworth, Consistency in networks of relations, Art. Int. 8 (1977) 99–188.
A.K. Salomaa,Formal Languages (Academic Press, New York, 1973).
Author information
Authors and Affiliations
Additional information
Research for this paper was supported by the Deutsche Forschungsgemeinschaft.
Rights and permissions
About this article
Cite this article
Kiel, R., Schader, M. Using dialog-controlled rule systems in a maintenance module for knowledge bases. Ann Oper Res 52, 171–180 (1994). https://doi.org/10.1007/BF02032128
Issue Date:
DOI: https://doi.org/10.1007/BF02032128