Knowledge Base Decomposition to Facilitate Verification

References

• Agarwal R., Tanniru M. R. A Petri-Net based approach for verifying the integrity of production systems. Internat. J. Man-Machine Systems (1992) 36:447–468Crossref, Google Scholar
• Agarwal R., Tanniru M. R. A structured methodology for developing production systems. Decision Support Systems (1992b) 8:483–499Crossref, Google Scholar
• Apt K. R., Blair H. A., Walker A., Minker J. Towards a theory of declarative knowledge. Foundations of Deductive Databases and Logic Programming (1988) (Morgan Kaufmann, Los Altos, CA) 89–148Crossref, Google Scholar
• Awad E. M.Building Expert Systems: Principles, Procedures, and Applications (1996) (West Publishing Company, St. Paul, MN) Google Scholar
• Balachandra R., Raelin A. J. How to decide when to abandon a project. Res. Management (1980) 23(7):81–93Google Scholar
• Baral C., Sarit K., Minker J. Combining multiple knowledge bases. IEEE Trans. Knowledge and Data Engrg. (1991) 3(2):208–220Crossref, Google Scholar
• Botten N., Kusiak A., Raz T. Knowledge bases: Integration, verification, and partitioning. Eur. J. Oper. Res. (1988) 42:111–128Crossref, Google Scholar
• Coenen F., Dunne P.Verification and validation of rulebases using a binary encoded incidence matrix technique (1997) Proc. 4th Eur. Sympos. Validation and Verification of Knowledge Based Systems(Leuven, Belgium)43–54Google Scholar
• Conte S., Dunsmore H., Shen V.Software Engineering Metrics and Models (1986) (Benjamin/Cummings Publishing, New York) Google Scholar
• Ginsberg A.Knowledge-Base reduction: A new approach to checking knowledge bases for inconsistency and redundancy (1988) Proc. National Conf. Artificial Intelligence(St. Paul, MN)589–595Google Scholar
• Goh C., Tsukamoto M., Nishio S. Knowledge discovery in deductive databases with large deduction results: The first step. IEEE Trans. Knowledge and Data Engrg. (1996) 8(6):952–956Crossref, Google Scholar
• Gulati D., Tanniru M. R. A model-based approach to investigate performance improvements in rule-based expert systems. Decision Sci. (1993) 24(1):42–59Crossref, Google Scholar
• Hicks R. C. Verification properties of knowledge dictionaries for expert systems. Heuristics: The J. Intelligent Tech. (1995) 8(4):61–81Google Scholar
• Hogarth R.Judgement and Choice (1987) (John Wiley, Chichester, New York) Google Scholar
• Horowitz E., Sahni S.Fundamentals of Computer Algorithms (1984) (Computer Science Press, Rockville, MD) Google Scholar
• Hou W. Extraction and applications of statistical relationships in relational databases. IEEE Trans. Knowledge and Data Engrg. (1996) 8(6):939–945Crossref, Google Scholar
• Huang Y., Lin S. An efficient inductive learning method for object-oriented database using attribute entropy. IEEE Trans. Knowledge and Data Engrg. (1996) 8(6):946–951Crossref, Google Scholar
• Jacob R., Froscher J.Developing a software engineering methodology for rule-based systems (1986) Proc. Fall Joint Comput. Conf.(Dallas, TX)179–183Google Scholar
• Lloyd J. W.Foundations of Logic Programming (1984) (Springer-Verlag, Germany) Crossref, Google Scholar
• Murrell S., Plant R. On the validation and verification of production systems: A graph reduction approach. Internat. J. Human-Comput. Stud. (1996) 44(2):127–144Crossref, Google Scholar
• Nazareth D. L. Issues in the verification of knowledge in rule-based; systems. Internat. J. Man-Machine Stud. (1989) 30:255–271Crossref, Google Scholar
• Nazareth D. L. Investigating the applicability of Petri nets for rule-based system verification. IEEE Trans. Knowledge and Data Engrg. (1993) 4(3):402–415Crossref, Google Scholar
• Nazareth D. L., Kennedy M. H. Verification of rule-based knowledge using directed graphs. Knowledge Acquisition (1991) 3:339–360Crossref, Google Scholar
• O'Leary D. The relationship between errors and size in knowledge-based systems. Internat. J. Human-Computer Stud. (1996) 44(2):171–185Crossref, Google Scholar
• Plant R., Preece A. D. Editorial: Special issue on verification and validation. Internat. J. Human-Comput. Stud. (1996) 44(2):123–125Crossref, Google Scholar
• Pearl J.Probabilistic Reasoning in Intelligent Systems (1988) (Morgan Kauffmann, San Mateo, CA) Google Scholar
• Pederson K. Well-structured knowledge bases. AI Expert. (1989) 4:44–55Google Scholar
• Preece A. D. A new approach to detecting missing knowledge in expert system rule-bases. Internat. J. Man-Machine Stud. (1993) 38:661–688Crossref, Google Scholar
• Ramaswamy M., Sarkar S., Chen Y. Using directed hypergraphs to verify rule-based expert systems. IEEE Trans Knowledge and Data Engrg. (1997) 9(2):221–237Crossref, Google Scholar
• Sarkar S., Ramaswamy M., Chen Y. A hypergraph-based tool to support verification and validation of rule-based expert systems. Heuristics: The J. Knowledge Engrg. and Techn. (1995) 8(4):61–81Google Scholar
• Segev A., Zhao L. Z. Rule management in expert database systems. Management Sci. (1994) 40(6):685–707Link, Google Scholar
• Soloway E., Bachant J., Jensen L. Z. Assessing the maintainability of XCON-in-RIME: Coping with the problems of a very large rule base. Proc. the AAAI-87 (1987) (Morgan Kaufman, Los Altos, CA) Google Scholar
• Trice A., Davis R. Heuristics for reconciling independent knowledge bases. Inform. Systems Res. (1993) 4(3):262–288Link, Google Scholar
• Wand Y., Weber R. An ontological model of an information system. IEEE Trans. Software Engrg. (1990) 16(11):1282–1292Crossref, Google Scholar