Using directed hypergraphs to verify rule-based expert systems

IEEE Transactions on Knowledge and Data Engineering

Volumn 9, Issue 2, 1997, Pages 221-237

  Ramaswamy, Mysore ^b   Sarkar, Sumit ^a,c   Chen, Ye Sho ^c  

^a IEEE   (United States)

^b SOUTHERN UNIVERSITY   (United States)

^c LOUISIANA STATE UNIVERSITY   (United States)

Author keywords

Error detection; Hypergraphs; Knowledge acquisition; Knowledge verification; Rule based expert systems

Indexed keywords

ERROR ANALYSIS; GRAPHIC METHODS; KNOWLEDGE ACQUISITION; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION;

HYPERGRAPHS;

EXPERT SYSTEMS;

EID: 0031101999     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.591448     Document Type: Article

References (24)

1. R. Agarwal and M. Tanniru, "A Petri-Net Based Approach for Verifying the Integrity of Production Systems," Int'l J. ManMachine Systems, vol. 36, pp. 447-468, 1992.
2. R. Balachandra and A.J. Raelin, "How to Decide When to Abandon a Project," Research Management, vol. 23, no. 7, pp 81-93, 1980.
3. C. Berge, Hypergraph, Amsterdam: North-Holland, 1989.
4. N. Botten, A. Kusiak, and T. Raz, "Knowledge Bases: Integration, Verification, and Partitioning," European J. Operational Research, vol. 42, pp. 111-128, 1989.
5. B. Cragun and H. Steudel, "A Decision-Table Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems," Int'l J. Man-Machine Studies, vol. 26, pp. 223-227, 1987.
6. R. Davis, "Knowledge-Based Systems: The View in 1986," AI in the 1980s and Beyond: An MIT Survey, pp. 13-41, W. Grimson and R.S. Patil, eds., Cambridge, Mass.: MIT Press, 1987.
7. J.R. Geissman and R.D. Schultz, "Verification and Validation of Expert Systems," AI Expert, vol. 3, no. 2, pp. 26-33, 1988.
8. A. Ginsberg, "A New Approach to Checking Knowledge Bases for Inconsistency and Redundancy," Proc. Third Ann. Expert Systems in Government Conf., Washington, D.C., pp. 102-111, 1987.
9. A. Ginsberg, "Knowledge-Base Reduction: A New Approach to Checking Knowledge Bases for Inconsistency and Redundancy," Proc. Nat'l Conf. Artificial Intelligence, pp. 589-595, 1988.
10. F. Hayes-Roth, "Rule Based Systems," Comm. ACM, vol. 8, no. 9, pp. 921-932, 1985.
11. J.P. Ignizio, An Introduction to Expert Systems: The Development and Implementation of Rule-Based Expert Systems McGraw-Hill, 1991.
12. Y. Kang and T. Bahill, "A Tool for Detecting Expert System Errors," Artifical Intelligence Expert, vol. 5, no. 2, pp. 42-51, 1990.
13. W. Marek, "Completeness and Consistency in Knowledge Based Systems," Proc. First Int'l Conf. Expert Database Systems, pp. 119-126, 1987.
14. P. Morizet-Mahoudeaux, "Maintaining Consistency of Database During Monitoring of an Evolving Process by a Knowledge-Based System," IEEE Trans. Systems, Man, and Cybernetics, vol. 21, no. 1, pp. 47-60, 1991.
15. D.L. Nazareth, "Issues in the Verification of Knowledge in Rule-Based Systems," Int'l J. Man-Machine Studies, vol. 30, pp. 255-271, 1989.
16. D.L. Nazareth, "Investigating the Applicability of Petri Nets for Rule-Based System Verification," IEEE Trans. Knowledge and Data Eng., vol. 4, no. 3, pp. 402-415, 1993.
17. D.L. Nazareth and M.H. Kennedy, "Verification of Rule-Based Knowledge Using Directed Graphs," Knowledge Acquisition, vol. 3, pp. 339-360, 1991.
18. T.A. Nguyen, W.A. Perkins, T.J. Laffey, and D. Pecora, "Knowledge Based Verification," Artifical Intelligence, pp. 69-75, 1987.
19. T.A. Nguyen, "Verifying Consistency of Production Systems," Proc. Third IEEE Conf. Artificial Intelligence Applications, pp. 4-8, 1987.
20. K. Pederson, "Well-Structured Knowledge Bases," Artificial Intelligence Expert, vol. 4, pp. 44-55, 1989.
21. A.D. Preece, "A New Approach to Detecting Missing Knowledge in Expert System Rule Bases," Int'l J. Man-Machine Studies, vol. 38, pp. 661-688, 1993.
22. M. Suwa, A. Scott, and E. Shortliffe, "An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System," Artificial Intelligence, pp. 16-21, 1982.
23. G. Valiente, "Verification of Knowledge Based Redundancy and Subsumption Using Graph Transformations," Int'l J. Expert Systems, vol. 6, no. 3, pp. 341-355, 1993.
24. F. Zahedi, Intelligent Systems for Business, Belmont, Calif.: Wadsworth, 1993.