Abstract
This paper presents comparison of time cost of three proof searching strategies in a creative expert system. Initially, model of the creative expert system and inference algorithm are proposed. The algorithm searches for a proof up to a given maximal depth, using one of the following strategies: finding all possible proofs, finding the first proof by depth-first and finding the first proof by breadth-first. Calculation time is measured in inference scenarios from a casting domain. Creativity of the expert system is achieved thanks to integration of inference and machine learning. The learning algorithm can be automatically executed during inference process, because its execution is formalized as a complex inference rule. Such a rule can be fired during inference process. During execution, training data is prepared from facts already stored in the knowledge base and new implications are learned from it. These implications can be used in the inference process. Therefore, it is possible to infer decisions in cases not covered by the knowledge base explicitly.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Alkharouf, N.W., Michalski, R.S.: Multistrategy task-adaptive learning using dynamically interlaced hierarchies. In: Michalski, R.S., Wnek, J. (eds.) Proceedings of the Third International Workshop on Multistrategy Learning (1996)
Althoff, K., Bach, K., Deutch, J., Hanft, A., Manz, J., Muller, T., Newo, R., Reichle, M., Schaaf, M., Weis, K.: Collaborative multi-expert-systems realizing knowledge-lines with case factories and distributed learning systems. In: Proceedings of the 3rd Workshop on Knowledge Engineering and Software Engineering (2007)
Low, B.T., Lui, H.C., Tan, A.H., Teh, H.H.: Connectionist expert system with adaptive learning capability. IEEE Trans. Knowl. Data Eng. 3(2), 200–207 (1991)
Collins, A.: Human plausible reasoning. Technical Report 3810, Bolt Beranek and Newman Inc. (1978)
Collins, A., Michalski, R.S.: The logic of plausible reasoning: A core theory. Cogn. Sci. 13, 1–49 (1989)
Drezewski, R., Sepielak, J., Filipkowski, W.: The application of social network analysis algorithms in a system supporting money laundering detection. Inf. Sci. 295, 18–32 (2015)
Gabbay, D.M.: LDS - Labeled Deductive Systems. Oxford University Press (1991)
Ligeza, A.: Logical Foundations for Rule-Based Systems. Springer, Heidelberg (2006)
Michalski, R.S.: Inferential theory of learning: Developing foundations for multistrategy learning. In: Michalski, R.S. (ed.) Machine Learning: A Multistrategy Approach, Vol. IV. Morgan Kaufmann Publishers (1994)
Michalski, R.S., Larson, J.: Aqval/1 (aq7) user’s guide and program description. Technical Report 731, Department of Computer Science, University of Illinois, Urbana, June 1975
Morgan, C.G.: Autologic. Logique et Anal. 28(110–111), 257–282 (1985)
Neapolitan, R.E.: Probabilistic Reasoning in Expert Systems: Theory and Algorithms. CreateSpace Independent Publishing Platform, USA (2012)
Quinlan, J.: C4.5: Programs for Machine Learning. Morgan Kaufmann, San Francisco (1993)
Sniezynski, B.: Proof searching algorithm for the logic of plausible reasoning. In: Kłopotek, M.A., Wierzchoń, S.T., Trojanowski, K. (eds.) Intelligent Information Processing and Web Mining. AINSC, pp. 393–398. Springer, Heidelberg (2003). doi:10.1007/978-3-540-36562-4_41
Sniezynski, B., Legien, G., Wilk-Kołodziejczyk, D., Kluska-Nawarecka, S., Nawarecki, E., Jaśkowiec, K.: Creative expert system: Result of inference and machine learning integration. In: Hartmann, S., Ma, H. (eds.) DEXA 2016. LNCS, vol. 9827, pp. 257–271. Springer, Cham (2016). doi:10.1007/978-3-319-44403-1_16
Sniezynski, B., Wilk-Kołodziejczyk, D., Legien, G., Kluska-Nawarecka, S., Nawarecki, E.: Reasoning algorithm for a creative decision support system integrating inference and machine learning. Submitted to International Journal of Applied Mathematics and Computer Science (2016)
Szydlo, T., Nawrocki, P., Brzoza-Woch, R., Zielinski, K.: Power aware MOM for telemetry-oriented applications using gprs-enabled embedded devices - levee monitoring use case. In: Proceedings of the 2014 Federated Conference on Computer Science and Information Systems. vol. 2, pp. 1059–1064. IEEE, September 2014
Tran, L.P., Hancock, J.P.: An adaptive-learning expert system for maintenance diagnostics. In: Proceedings of the IEEE 1989 National Aerospace and Electronics Conference, NAECON 1989, vol. 3, pp. 1034–1039, May 1989
Wiriyacoonkasem, S., Esterline, A.C.: Adaptive learning expert systems. In: Proceedings of the IEEE Southeastcon 2000, pp. 445–448. IEEE (2000)
Acknowledgments
The research reported in the paper was supported by the grant of The National Centre for Research and Development (LIDER/028/593/L-4/12/NCBR/2013) and by the Polish Ministry of Science and Higher Education under AGH University of Science and Technology Grant 11.11.230.124.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Sniezynski, B., Legien, G., Wilk-Kołodziejczyk, D., Kluska-Nawarecka, S., Nawarecki, E., Jaśkowiec, K. (2017). Creative Expert System: Comparison of Proof Searching Strategies. In: Nguyen, N., Tojo, S., Nguyen, L., Trawiński, B. (eds) Intelligent Information and Database Systems. ACIIDS 2017. Lecture Notes in Computer Science(), vol 10191. Springer, Cham. https://doi.org/10.1007/978-3-319-54472-4_38
Download citation
DOI: https://doi.org/10.1007/978-3-319-54472-4_38
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-54471-7
Online ISBN: 978-3-319-54472-4
eBook Packages: Computer ScienceComputer Science (R0)