Verification of accuracy of rules in a rule based system

Data and Knowledge Engineering

Volumn 27, Issue 2, 1998, Pages 115-138

  Anantaram, C ^a   Nagaraja, G ^b   Nori, K V ^a  

^a TATA RESEARCH DEVELOPMENT AND DESIGN CENTRE   (India)

^b INDIAN INSTITUTE OF TECHNOLOGY BOMBAY   (India)

Author keywords

Accuracy of rules; Formal concept analysis; Rough sets; Rule based system; Verification

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; FORMAL LOGIC; PROLOG (PROGRAMMING LANGUAGE); SET THEORY;

FORMAL CONCEPT ANALYSIS; ROUGH SET THEORY;

KNOWLEDGE BASED SYSTEMS;

EID: 0032165306     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(98)00009-3     Document Type: Article

References (25)

1. C. Anantaram, G. Nagaraja, K.V. Nori, Verification of accuracy of rules in rule-based system, Technical Report, Comp. Sci. and Eng. Dept., IIT, Powai, Mumbai, India, Sept. 1995.
2. C. Anantaram, V.V.S. Sarma, G. Nagaraja, Measuring the accuracy of a knowledge base in conventional and DAI frameworks, Journal of the IETE 42(3) (May-June 1996) 127-130.
3. C. Anantaram, G. Nagaraja, V.V.S. Sarma, Accuracy and representational correctness of rule-based systems, Proc. Knowledge Based Systems Conf. 96, NCST, Mumbai, India (Dec. 1996) pp. 165-176.
4. T. Bench-Capon, F. Coenen, N. Hyacinth, P. Ray, M. Shave, Two aspects of the validation and verification of knowledge-based systems, IEEE Expert (June 1993) pp. 76-81.
5. H. Boley, P. Hanschke, K. Hinkelmann, M. Meyer, A survey of techniques for knowledge validation and exploration, Research Report, German Research Center for Artificial Intelligence (DFKI), Kaiserslautern, Germany, Sept. 1992.
6. P. Brezillon, S. Abu-Hakima, Using knowledge in its context: Report on the IJCAI-93 workshop, AI Magazine (Spring 1995) pp. 87-91.
7. S. Buvac, I.A. Mason Prepositional logic of context, Proc. 11th National Conf. on Artificial Intelligence, AAAI, CA, USA (1993) pp. 412-419.
8. R. Evertsz, The automated anlysis of rule-based systems, based on their procedural semantics, IJCAI-1991 Proc., Vol. 1, pp. 22-27.
9. R. Greiner, C. Elkan, Measuring and improving the effectiveness of representations, IJCAI-1991 Proc. (1991) 518-524.
10. Russell Greiner, The complexity of theory revision, Proc. 10th IJCAI (1995) pp. 1162-1168.
11. G. Guida, G. Mauri, Evaluating performance & quality of knowledge-based systems: Foundations and methodology, IEEE Trans. on Knowledge and Data Engineering 5(2) (April 1993) 204-224.
12. TuBao Ho, Combining views on concepts in unsupervised concept learning. In: Norman Foo, Randy Goebel (Eds.), PRICAI '96: Topics in Artificial Intelligence, Lecture Notes in Artificial Intelligence 1114 (1996) 336-347.
13. R.E. Johnson, B. Foote, Designing reusable classes In: R. Prieto-Diaz, G. Arango (Eds.), Domain Analysis and Software Systems Modeling, IEEE Computer Society Press (1991) pp. 138-147.
14. Sunro Lee, Robert M. O'Keefe, Developing a strategy for expert system verification and validation, IEEE Trans. on Systems, Man and Cybernetics 24(4) (April 1994) 643-655.
15. Alon Y. Levy, Marie-Christine Rousset, Verification of knowledge bases based on containment checking, AAAI-961 IAAI-96 Proc., Vol. 1, AAAI Press, Menlo Park, CA (1996) pp. 585-591.
16. N.K. Liu, T. Dillon, An approach towards the verification of expert systems using numerical Petri nets, Int. Journal of Intelligent Systems 6 (1991) 255-276.
17. J. McCarthy, Notes on formalizing context, IJCAI-93 Proc., Vol 1, Morgan Kaufmann, CA (1993) pp. 555-560.
18. J. Miles, C. Moore, Practical Knowledge-Based Systems in Conceptual Design, Springer Verlag, London, 1994.
19. Z. Pawlak, Rough sets, Intl. Journal of Computer and Information Sciences (Plenum Publishing) 11(5) (1982) 341-356.
20. Z. Pawlak, Rough Sets - Theoretical Aspects of Reasoning about Data, Kluwer Academic, 1991.
21. F. Polat, H.A. Guvenir, UVT: A unification-based tool for kowledge base verification, IEEE Expert (June 1993) 69-75.
22. G. Ravi Prakash, E. Subrahmaniam, H.N. Mahabala, A methodology for systematic verification of OPS5-based AI applications, IJCAI-91 Proc. 1 (1991) 3-8.
23. J. Sarbo, J. Farkas, Concept sublattice. In: Francesco Bergadano, Luc De Raedt (Eds.), Machine Learning: ECML-94 Lecture Notes in Artificial Intelligence, No. 784, Springer-Verlag, Berlin (1994) pp. 407-410.
24. Gerd Stumme, The concept classification of a terminology extended by conjunction and disjunction. In: Norman Foo, Randy Goebel (Eds.), PRICAI '96: Topics in Artificial Intelligence, Lecture Notes in Artifcial Intelligence 1114 (1996) 121-131.
25. N. Zlatareva, A. Preece, State of the art in automated validation of knowledge based systems, Expert System with Applications 7(2) (1994) 151-167.