Abstract
The paper provides classification of structural errors in the rule-based knowledge bases of intellectual decision making systems. For detecting of the structural errors it is proposed to use AND/OR graph representing a knowledge base of rule-based system. There are described formal models of the 3 types of structural errors identified: redundancy errors, incompleteness errors and inconsistency. Redundancy errors are described with duplicates, redundant inference chains, insignificant inference chains, incorrect inference chains and cycles. Incompleteness error example is isolated vertices. Inconsistency in knowledge bases is represented by conflicting inference chains. For each structural error the paper provides formalization in terms of the graph model and the way of correction.
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
References
Dolinina, O.N.: Razrabotka metoda testirovanija produkcionnyh baz znanij jekspertnyh sistem s uchetom oshibok tipa «zabyvanija ob iskljuchenii»: dis…kand. tehn. nauk/O.N. Dolinina. Saratov, 171 s (1999) (in Russian)
Dolinina, O.: Method of the debugging of the knowledge bases of intellectual decision making systems. In: Silhavy, R., Senkerik, R., Oplatkova, Z.K., Silhavy, P., Prokopova, Z. (eds.) Automation Control Theory Perspectives in Intelligent Systems. AISC, vol. 466, pp. 307–314. Springer, Cham (2016). doi:10.1007/978-3-319-33389-2_29
Nguen, T., Perkins, W., Laffey, T., Pecors, W.: Checking expert system knowledge bases for consistency and completeness. In: Proceedings of the 9th International Joint Conference on Artificial Intelligence, Los Angeles, pp. 375–378, August 1985
Cragun, B.J., Stendel, H.J.: A decision-table-based processor for checking completeness and consistency in rule-based expert systems. Int. J. Man-Mach. Stud. 26(5), 633–648 (1987)
Nguen, T.A.: Verifying consistency of production systems. In: Proceedings of the Third Conference on Artificial Intelligence Applications (CAIA), Kissimmee, Fl, pp. 4–8 (1987)
Suwa, M., Scott, A.C., Shortliffe, E.H.: An approach to veryfing consistency and completeness in a rule-based expert system. In: Rule-Based Expert Systems, pp. 159–170. Addison-Wesley, London (1984)
Nguen, T., Perkins, W., Laffey, T., Pecora, W.: Checking expert system knowledge bases for consistency and completeness. In: Proceedings of the 9th International Joint Conference on Artificial Intelligence, Los Angeles, pp. 375–378, August 1985
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
Dolinina, O., Suchkova, N. (2017). Formal Models of the Structural Errors in the Knowledge Bases of Intellectual Decision Making Systems. In: Silhavy, R., Senkerik, R., Kominkova Oplatkova, Z., Prokopova, Z., Silhavy, P. (eds) Artificial Intelligence Trends in Intelligent Systems. CSOC 2017. Advances in Intelligent Systems and Computing, vol 573. Springer, Cham. https://doi.org/10.1007/978-3-319-57261-1_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-57261-1_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-57260-4
Online ISBN: 978-3-319-57261-1
eBook Packages: EngineeringEngineering (R0)