Knowledge Base Decomposition to Facilitate Verification

Information Systems Research

Volumn 11, Issue 3, 2000, Pages 260-283

  Sarkar, Sumit ^a   Ramaswamy, Mysore ^a  

^a NONE

Author keywords

Directed Hypergraphs; Knowledge Base Partitioning; Knowledge Base Verification; Polytree Decomposition; Rule Based Systems

Indexed keywords

HARDWARE; INFORMATION SYSTEMS;

COMPUTATIONAL EFFORT; DIRECTED HYPERGRAPHS; KNOWLEDGE BASE; KNOWLEDGE BASIS; META-VERIFICATION; MODULAR VERIFICATION; TRADITIONAL APPROACHES; VERIFICATION PROCESS;

KNOWLEDGE BASED SYSTEMS;

EID: 0034551312     PISSN: 10477047     EISSN: None     Source Type: Journal    
DOI: 10.1287/isre.11.3.260.12207     Document Type: Article

References (34)

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