Using goals to design and verify rule bases

Decision Support Systems

Volumn 21, Issue 4, 1997, Pages 281-305

  Chander, P G ^a,b   Shinghal, R ^a   Radhakrishnan, T ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

Card anomalies; Design schemes; Rule based system; Verification and validation

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; DECISION SUPPORT SYSTEMS; ERROR ANALYSIS; KNOWLEDGE REPRESENTATION;

ANOMALY DETECTION; SYSTEM VERIFICATION/VALIDATIONS;

KNOWLEDGE BASED SYSTEMS;

EID: 0031357067     PISSN: 01679236     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-9236(97)00046-8     Document Type: Article

References (35)

1. G.R. Yost, Acquiring knowledge in SOAR, IEEE Expert 8 (3) (1993) 26-34.
2. A.D. Preece, R. Shinghal, A. Batarekh, Principles and practice in verifying rule-based systems, Knowledge Eng. Rev. 7 (2) (1992) 115-141.
3. R.M. O'Keefe, D.E. O'Leary, Expert system verification and validation: a survey and tutorial, Artificial Intelligence Rev. 7 (1) (1993) 3-42.
4. T.A. Nguyen, W.A. Perkins, T.J. Laffey, D. Pecora, Checking an expert systems knowledge base for consistency, completeness, in: Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI 85), Vol. 1, Boston, MA, 1985, pp. 278-375.
5. B.J. Cragun, H.J. Steudel, A decision-table-based processor for checking completeness and consistency in rule-based expert systems, Int. J. Man-Machine Stud. 26 (5) (1987) 633-648.
6. Allen Ginsberg, Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy, in: Proceedings of the 7th National Conference on Artificial Intelligence (AAAI 88), Vol. 2, St. Paul, MN, August 1988, pp. 585-589.
7. Robert T. Plant, The meta knowledge level: a methodology for validation, in: Proceedings of the AAAI Workshop on Validation and Verification of Knowledge-Based Systems, Washington, DC, July 1993, pp. 94-108.
8. C.L. Chang, J.B. Combs, R.A. Stachowitz, A report on the expert systems validation associate (EVA), Expert Syst. Appl. 1 (3) (1990) 217-230.
9. A.D. Preece, R. Shinghal, A. Batarekh, Verifying expert systems: a logical framework and a practical tool, Expert Syst. Appl. 3 (2/3) (1992) 421-436.
10. Marie-Christine Rousset, On the consistency of knowledge bases: the COVADIS system, Computational Intelligence, 4 (2): 166-170, May 1988; Also in ECAI 88, Proc. European Conference on AI, Munich, August 1-5, 1988, pp. 79-84.
11. Marie-Christine Rousset, On the consistency of knowledge bases: the COVADIS system, Computational Intelligence, 4 (2): 166-170, May 1988; Also in ECAI 88, Proc. European Conference on AI, Munich, August 1-5, 1988, pp. 79-84.
12. C. Grossner, A. Preece, P. Gokulchander, T. Radhakrishnan, C.Y. Suen, Exploring the structure of rule based systems, in: Proceedings of the 11th National Conference on Artificial Intelligence (AAAI 93), Washington, DC, 1993, pp. 704-709.
13. A. Preece, C. Grossner, P. Gokulchander, T. Radhakrishnan, Structural validation of expert systems: experience using a formal model, in: Notes of the Workshop on Validation and Verification of Knowledge-Based Systems, 11th National Conference on Artificial Intelligence, Washington, DC, July 1993, pp. 19-26.
14. A. Preece, P. Gokulchander, C. Grossner, T. Radhakrishnan, Modeling rule base structure for expert system quality assurance, in: Notes of the Workshop on Validation of Knowledge-Based Systems, 13th International Joint Conference on Artificial Intelligence, Savoic, France, August 1993, pp. 37-50.
15. P. Gokul Chander, R. Shinghal, T. Radhakrishnan, Static determination of dynamic functional attributes in rule-based systems, in: Proceedings of the 1994 International Conference on Systems Research, Informatics and Cybernetics, AI Symposium (ICSRIC 94), Baden Baden, Germany, August 1994, pp. 79-84.
16. P. Gokul Chander, T. Radhakrishnan, R. Shinghal, Using paths to detect redundancy in rule bases, in: Proceedings of the 11th IEEE Conference on Artificial Intelligence Applications, IEEE CAIA '95, Los Angeles, CA, February 1995, pp. 133-139.
17. P.G. Chander, R. Shinghal, T. Radhakrishnan, Goal supported knowledge base restructuring for verification of rule bases, in: Notes of the Workshop on Verification and Validation of Knowledge-Based Systems, 14th InternationalJoint Conference on Artificial Intelligence, Montreal, Canada, August 1995, pp. 15-21.
18. Rajjan Shinghal, Formal Concepts in Artificial Intelligence, Chapman & Hall, London, UK, co-published in U.S. with Van Nostrand-Reinhold, New York, 1992.
19. A. Preece, C. Grossner, P. Gokulchander, T. Radhakrishnan, Structural validation of expert systems: experience using a formal model, in: Jay Liebowitz (Ed.), Second World Congress on Expert Systems, Estoril, Portugal, January 1994, pp. 323-330.
20. Gregg R. Yost, Allen Newell, A problem space approach to expert system specification, in: Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI '89, San Mateo, CA, 1989, pp. 621-627.
21. P. Lucas, Refinement of the HEPAR expert system: tools and techniques, Artificial Intelligence Med. 6 (2) (1994) 175-188.
22. J. Giarratano, G. Riley, Expert Systems: Principles and Programming, 2nd edn., PWS Publ., Boston, MA, 1993.
23. A. Batarekh, A.D. Preece, A. Bennett, P. Grogono, Specifying an expert system, Expert Syst. Appl. 2 (4) (1991) 285-303.
24. N. Zlatareva, A.D. Preece, State of the art in automated validation of knowledge-based systems, Expert Syst. Appl. 7 (2) (1994) 151-167.
25. J. Debenham, Expert systems designed for maintenance, Expert Syst. Appl. 5 (3) (1992) 233-244.
26. Steven A. Wells, The VIVA method: a life-cycle independent approach to KBS validation, in: Proceedings of the AAAI Workshop on Validation and Verification of Knowledge-Based Systems, Washington, DC, July 1993, pp. 109-113.
27. J.A. Long, I.M. Neale, Using paper models in validation, verification and testing, Int. J. Expert Syst. 6 (3) (1993) 357-382.
28. P.G. Chander, T. Radhakrishnan, R. Shinghal, Design schemes for rule-based systems, International Journal of Expert Systems: Research and Applications, November 1996, In press.
29. Prabhakar Gokul Chander, On the design and evaluation of rule-based systems, PhD thesis, Department of Computer Science, Concordia University, Montreal, May 1996.
30. J.D. Kiper, Structural testing of rule-based expert systems, ACM Trans. Software Eng. Meth. 1 (2) (1992) 168-187.
31. Daniel E. O'Leary, Inference engine greediness and subsumption of conditions in rule-based systems, in: Notes of the Workshop on Verification and Validation of Knowledge-Based Systems, Fourteenth International Joint Conference on Artificial Intelligence, Montreal, Canada, August 1995, pp. 42-48.
32. T.A. Nguyen, Verifying consistency of production systems, in: Proceedings of the 3rd Conference on Artificial Intelligence Applications, Washington, DC, Spring 1987, pp. 4-8.
33. F. Polat, H.A. Guvenir, UVT: a unification-based tool for knowledge base verification, IEEE Expert 8 (3) (1993) 69-75.
34. A.D. Preece, Towards a methodology for evaluating expert systems, Expert Syst. 7 (4) (1990) 215-223.
35. Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli, Fundamentals of Software Engineering, Prentice-Hall, New York, 1991.