nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

Experimental Implementation of Web-Based Knowledge Base Verification Module

verfasst von : Roman Simiński, Agnieszka Nowak-Brzezińska, Michał Simiński

Erschienen in: Computational Collective Intelligence

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Solving the Uncapacitated Traveling Purchaser Problem with the MAX–MIN Ant System

Nächstes Kapitel Methods of Rule Clusters’ Representation in Domain Knowledge Bases

www.kbexplorer.ii.us.edu.pl/~msiminski.

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_9CrossRef

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_47CrossRef

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)CrossRef

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-6CrossRef

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_4CrossRef

Hoppe, T., Meseguer, P.: VVT terminology: a proposal. IEEE Expert 8(3), 48–55 (1993)CrossRef

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)CrossRef

10.

Ginsberg, A.: Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy. In: AAAI, vol. 88, pp. 21–26 (1988)

11.

Nazareth, D.L., Kennedy, M.H.: Verification of rule-based knowledge using directed graphs. Knowl. Acquis. 3(4), 339–360 (1991)CrossRef

12.

Valiente, G.: Knowledge base verification using algebraic graph transformations. Ph.D. thesis, University of the Balearic Islands (1994)

13.

Nazareth, D.L.: Investigating the applicability of petri nets for rule-based system verification. IEEE Trans. Knowl. Data Eng. 5(3), 402–415 (1993)CrossRef

14.

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)CrossRef

15.

Koriem, S.M.: A fuzzy petri net tool for modeling and verification of knowledge-based systems. Comput. J. 43(3), 206–223 (2000)CrossRef

16.

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)

17.

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)

18.

Meseguer, P., Verdaguer, A.: Verification of multi-level rule-based expert systems: theory and practice. Int. J. Expert Syst. 6(2), 163–192 (1993)

19.

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)

20.

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_91CrossRefMATH

21.

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)

22.

Nalepa, G.J., Ligeza, A.: Prolog-based analysis of tabular rule-based systems with XTT approach. In: FLAIRS Conference, pp. 426–431 (2006)

23.

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_27CrossRef

24.

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_60CrossRefMATH

25.

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_40CrossRef

Titel: Experimental Implementation of Web-Based Knowledge Base Verification Module
verfasst von: Roman Simiński
Agnieszka Nowak-Brzezińska
Michał Simiński
Verlag: Springer International Publishing
Buch: Computational Collective Intelligence
Print ISBN: 978-3-319-98445-2

Electronic ISBN: 978-3-319-98446-9

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-98446-9_25

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"