The Experimental Evaluation of Rules Partitioning Conception for Knowledge Base Systems

  • Roman SimińskiEmail author
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 521)


This article presents the theoretical background for implementation of KBExplorer software package and the summary of the empirical study focused on the evaluation of this software on large, real-word knowledge bases. KBExplorer package is the own, originally designed software which provides most of the expert system shell’s common functions. The fundamental part of such software is the KBExpertLib library. This library allows to build domain expert systems using Java programming language. The first part of experiments was focused on the effectiveness of rules partition algorithm and estimation of the memory occupancy for additional data necessary for storing information about rules groups. The effectiveness evaluation of the forward and backward inference algorithms was the main goal of the second part of the experiments.


Rule knowledge base Inference algorithms implementation Rules partitioning strategies Expert systems 



This work is a part of the project “Exploration of rule knowledge bases” founded by the Polish National Science Centre (NCN: 2011/03/D/ST6/03027).


  1. 1.
    Akerkar, R., Sajja, P.: Knowledge-Based Systems. Jones & Bartlett Learning (2010)Google Scholar
  2. 2.
    Browne, P.: JBoss Drools Business Rules. Packt Publishing (2009)Google Scholar
  3. 3.
    Forgy, C.: Rete: a fast algorithm for the many patterns/many objects match problem. Artif. Intell. 19, 17–37 (1982)Google Scholar
  4. 4.
    Jach, T., Xięski T.: Inference in expert systems using natural language processing. Beyond Databases, Architectures, and Structures, Communications in Computer and Information Science, vol. 521, pp. 288–298. Springer (2015)Google Scholar
  5. 5.
    Luc, A.: Average case complexity analysis of RETE pattern-match algorithm and average size of join in Databases. Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, vol. 405, pp. 223–241. Springer, Berlin (1989)Google Scholar
  6. 6.
    Nalepa, G., Ligeza, A., Kaczor, K.: Overview of Knowledge Formalization with XTT2 Rules, Rule-Based Reasoning, Programming, and Applications, LNCS, vol. 6826, pp. 329–336. Springer (2011)Google Scholar
  7. 7.
    Nowak-Brzezińska, A., Simiński, R.: Knowledge mining approach for optimization of inference processes in rule knowledge bases. LNCS, vol. 7567, pp. 534–537, Springer (2012)Google Scholar
  8. 8.
    Nowak-Brzezińska, A., Simiński, R.: New inference algorithms based on rules partition. In: CS&P, The 23rd International Workshop on Concurrency, Specification and Programming (CS&P 2014). Informatik-Berichte, vol. 245, Humboldt-University, edited by Louchka Popova-Zeugmann, Chemnitz, Germany 2014, pp. 164–174Google Scholar
  9. 9.
    Polkowski, L. (ed.): Rough sets in knowledge discovery 2: applications, case studies and software systems, vol. 19. Physica (2013)Google Scholar
  10. 10.
    Simiński, R.: Multivariate approach to modularization of the rule knowledge bases. Man–Machine Interactions 4. In: 4th International Conference on Man-Machine Interactions, ICMMI 2015, Kocierz Pass, Poland, October 6–9, 2015. A. Gruca, A. Brachman, S. Kozielski, T. Czachórski, (eds.) Man-Machine Interactions 4, Series: Advances in Intelligent Systems and Computing, Volume 391, Springer International Publishing 2016, pp. 473-483Google Scholar
  11. 11.
    Simiński, R., Nowak-Brzezińska, A.: Goal-driven Inference for Web Knowledge Based System. Information Systems Architecture and Technology. In: Proceedings of 36th International Conference on Information Systems Architecture and Technology—ISAT 2015—Part IV. Wilimowska, Z., Borzemski, L., Grzech, A., Świątek, J. (eds.). Series: Advances in Intelligent Systems and Computing, vol. 432, pp. 99–109Google Scholar
  12. 12.
    Simiński, R., Wakulucz-Deja, A.: Rough Sets Inspired Extension of Forward Inference Algorithm. In: Proceedings of the 24th International Workshop CSP 2015: Concurency, Specification & Programming, Rzeszów, Poland, September 28–30 2015. Suraj, Z., Czaja, L. (eds.) ISBN 978-83-7996-181-8, vol. 2, pp. 161–172Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Institute of Computer ScienceSilesian UniversitySosnowiecPoland

Personalised recommendations