Abstract
The problem of knowledge bases verification is now recognized as an important problem in the knowledge engineering. In this article the selected verification issues were considered and the new, experimental version of the verification module of KBExplorer system was introduced. The verification module was implemented as front-end, single page application. The module works on preloaded data, retrieved from back-end server via REST API. The research described in this work are focused on the experimental evaluation of effectiveness of the verification algorithms implemented in JavaScript. The work presents the outline of proposed verification algorithms. Experiments were conducted on real-world knowledge bases with a relatively large number of rules. The results obtained for three rule bases, three hardware configuration and the web-browsed are compared and some conclusions are drawn.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Simiński, R., Nowak-Brzezińska, A.: Goal-driven inference for web knowledge based system. In: Wilimowska, Z., Borzemski, L., Grzech, A., Świątek, J. (eds.) Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology – ISAT 2015 – Part IV. AISC, vol. 432, pp. 99–109. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-28567-2_9
Simiński, R., Nowak-Brzezińska, A.: KBExplorator and KBExpertLib as the tools for building medical decision support systems. In: Nguyen, N.-T., Manolopoulos, Y., Iliadis, L., Trawiński, B. (eds.) ICCCI 2016. LNCS (LNAI), vol. 9876, pp. 494–503. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-45246-3_47
Preece, A.: Methods for verifying expert system knowledge bases. Report for Bell Canada, Centre for Pattern Recognition and Machine Intelligence, Concordia University Canada (1991)
Preece, A.D., Shinghal, R.: Foundation and application of knowledge base verification. Int. J. Intell. Syst. 9(8), 683–701 (1994)
Nguyen, T.A., Perkins, W.A., Laffey, T.J., Pecora, D.: Knowledge-base verification. AI Mag. 8(2), 69–75 (1987)
Vermesan, A., Coenen, F.: Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice. Springer, Boston (2013). https://doi.org/10.1007/978-1-4757-6916-6
Zacharias, V.: Development and verification of rule based systems—a survey of developers. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2008. LNCS, vol. 5321, pp. 6–16. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-88808-6_4
Hoppe, T., Meseguer, P.: VVT terminology: a proposal. IEEE Expert 8(3), 48–55 (1993)
O’Keefe, R.M., O’Leary, D.E.: Expert system verification and validation: a survey and tutorial. Artif. Intell. Rev. 7(1), 3–42 (1993)
Ginsberg, A.: Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy. In: AAAI, vol. 88, pp. 21–26 (1988)
Nazareth, D.L., Kennedy, M.H.: Verification of rule-based knowledge using directed graphs. Knowl. Acquis. 3(4), 339–360 (1991)
Valiente, G.: Knowledge base verification using algebraic graph transformations. Ph.D. thesis, University of the Balearic Islands (1994)
Nazareth, D.L.: Investigating the applicability of petri nets for rule-based system verification. IEEE Trans. Knowl. Data Eng. 5(3), 402–415 (1993)
He, X., Chu, W.C., Yang, H.: A new approach to verify rule-based systems using petri nets. Inf. Softw. Technol. 45(10), 663–669 (2003)
Koriem, S.M.: A fuzzy petri net tool for modeling and verification of knowledge-based systems. Comput. J. 43(3), 206–223 (2000)
Suwa, M., Scott, A.C., Shortliffe, E.H.: An approach to verifying completeness and consistency in a rule-based expert system. AI Mag. 3(4), 16 (1982)
Stachowitz, R.A., Combs, J.B.: Validation of expert systems. In: Proceedings of the 20th Annual Hawaii International Conference on System Sciences, vol. 1, 686–695 (1987)
Meseguer, P., Verdaguer, A.: Verification of multi-level rule-based expert systems: theory and practice. Int. J. Expert Syst. 6(2), 163–192 (1993)
Michalik, K., Simiński, R.: The hybrid architecture of the AI software package sphinx. In: Proceedings of International Conference: Colloquia in Artificial Intelligence CAI, vol. 98, pp. 210–219 (1998)
Siminski, R., Wakulicz-Deja, A.: Application of decision units in knowledge engineering. In: Tsumoto, S., Słowiński, R., Komorowski, J., Grzymała-Busse, J.W. (eds.) RSCTC 2004. LNCS (LNAI), vol. 3066, pp. 721–726. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-25929-9_91
Kaczor, K., Nalepa, G.J.: Hades-presentation of the HeKatE design environment. In: 5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German Conference on Artificial Intelligence, Paderborn, Germany, September, vol. 15, pp. 57–62 (2009)
Nalepa, G.J., Ligeza, A.: Prolog-based analysis of tabular rule-based systems with XTT approach. In: FLAIRS Conference, pp. 426–431 (2006)
Nalepa, G.J., Bobek, S., Ligęza, A., Kaczor, K.: HalVA - rule analysis framework for XTT2 rules. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011. LNCS, vol. 6826, pp. 337–344. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22546-8_27
Simiński, R., Wakulicz-Deja, A.: Decision units as a tool for rule base modeling and verification. In: Kłopotek, M.A., Wierzchoń, S.T., Trojanowski, K. (eds.) Intelligent Information Processing and Web Mining, pp. 553–556. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-36562-4_60
Simiński, R.: Multivariate approach to modularization of the rule knowledge bases. In: Gruca, A., Brachman, A., Kozielski, S., Czachórski, T. (eds.) Man-Machine Interactions 4, pp. 473–483. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-23437-3_40
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Simiński, R., Nowak-Brzezińska, A., Simiński, M. (2018). Experimental Implementation of Web-Based Knowledge Base Verification Module. In: Nguyen, N., Pimenidis, E., Khan, Z., Trawiński, B. (eds) Computational Collective Intelligence. ICCCI 2018. Lecture Notes in Computer Science(), vol 11056. Springer, Cham. https://doi.org/10.1007/978-3-319-98446-9_25
Download citation
DOI: https://doi.org/10.1007/978-3-319-98446-9_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-98445-2
Online ISBN: 978-3-319-98446-9
eBook Packages: Computer ScienceComputer Science (R0)