Approximate declarative semantics for rule base anomalies

Knowledge-Based Systems

Volumn 12, Issue 7, 1999, Pages 341-353

  Zhang, Du ^a   Luqi, ^b  

^a CALIFORNIA STATE UNIVERSITY   (United States)

^b Naval Postgraduate School   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; FORMAL LOGIC; KNOWLEDGE ENGINEERING; REDUNDANCY;

DECLARATIVE SEMANTICS; FIRST ORDER PREDICATE LOGIC; KNOWLEDGE BASE ANOMALIES; KNOWLEDGE BASE VERIFICATION;

KNOWLEDGE BASED SYSTEMS;

EID: 0033342251     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-7051(99)00032-5     Document Type: Article

References (50)

1. Ayel M., Laurent J.P. Validation, Verification and Test of Knowledge-Based Systems. 1991;Wiley, Chichester, UK.
2. Gupta U.G. Validating and Verifying Knowledge-Based Systems. 1991;IEEE Computer Society Press, Los Alamitos, CA.
3. Culbert C. Verification and validation of knowledge-based systems [Special issue]. Expert Systems with Applications. 1:(3):1990.
4. O'Leary D.E. Verification and validation of intelligent systems: five years of AAAI workshops [Special issue]. International Journal of Intelligent Systems. 9:(8/9):1994.
5. Plaza E. Validation and verification of knowledge-based systems. IEEE Expert. 8:(3):1993;45-81.
6. Preece A., Suen C. Verification and validation of knowledge-based systems. International Journal of Expert Systems. 6:(2/3):1993;. (special issue).
7. Chang C.L., Combs J.B., Stachowitz R.A. A report on the expert systems validation associate (EVA). Expert Systems with Applications. 1:1990;217-230.
8. Cragun B.J., Steudel H.J. A decision-table-based processor for checking completeness and consistency in rule-based expert systems. International Journal of Man-Machine Studies. 26:1987;633-648.
9. R.F. Gamble, G.C. Roman, W.E. Ball, Formal verification of pure production system programs, Proceedings of Ninth National Conference on AI, 1991, pp. 329-334.
10. A. Ginsberg, Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy, Proceedings of Seventh National Conference on AI, 1998, pp. 585-589.
11. Ginsberg A., Williamson K. Inconsistency and rdundancy checking for quasi-first-order-logic knowledge bases. International Journal of Expert Systems. 6:(3):1993;321-340.
12. Hamilton D., Kelley K., Culbert C. State-of-the-practice in knowledge-based system verification and validation. Expert Systems with Applications. 3:1991;403-410.
13. Jafar M., Bahill A.T. Interactive verification of knowledge-based systems. IEEE Expert. 8:(1):1993;25-32.
14. Kiper J.D. Structural testing of rule-based expert systems. ACM Transactions on Software Engineering and Methodology. 1:(2):1992;168-187.
15. Kirani S., Zaulkernan I.A., Tsai W.T. Evaluation of expert system testing methods. Communications of ACM. 37:(11):1994;71-81.
16. Levesque H.J. The logic of incomplete knowledge bases. Brodie M.L., Mylopoulos J., Schmidt J.W. On Conceptual Modeling. 1984;Springer, New York.
17. Liu N.K., Dillon T. An approach towards the verification of expert systems using numerical petri nets. International Journal of Intelligent Systems. 6:1991;255-276.
18. Luqi, Cooke D. How to combine nonmonotonic logic and rapid prototyping to help maintain software. International Journal of Software Engineering and Knowledge Engineering. 1999.
19. Luqi. Knowledge-based support for rapid software prototyping. IEEE Expert. 3:(4):1988;9-18.
20. Luqi. Rapid prototyping languages and expert systems. IEEE Expert. 4:(2):1989;2-5.
21. L.A. Miller, Recommended guidelines for V&V of cases, AAAI-94 Workshop on Validation and Verification of Knowledge-Based Systems, 1994, pp. 1-9.
22. Murray T.J., Tanniru M.R. Control of inconsistency and redundancy in prolog-type knowledge bases. Expert Systems with Applications. 2:1991;321-331.
23. Nazareth D.L. Investigating the applicability of petri nets for rule-based system verification. IEEE Transactions on Knowledge and Data Engineering. 5:(3):1993;402-415.
24. Nguyen T.A., Perkins W.A., Laffey T.J., Pecora D. Knowledge base verification. AI Magazine. 8:1987;69-75.
25. Nonfjall H., Larsen H.L. Detection of potential inconsistencies in knowledge bases. International Journal of Intelligent Systems. 7:1992;81-96.
26. O'Keefe R.M., O'Leary D.E. Expert system verification and validation: a survey and tutorial. Artificial Intelligence Review. 7:1993;3-42.
27. R. Plant, S. Murrell, On the validation and verification of production systems: a graph reduction approach, AAAI-94 Workshop on Validation and Verification of Knowledge-Based Systems, 1994, pp. 56-63.
28. Preece A., Shinghal R., Batarekh A. Verifying expert systems: a logical framework and a practical tool. Expert Systems with Applications. 5:(2/3):1992;421-436.
29. M.C. Rousset, On the consistency of knowledge bases: the COVADIS system, Proceedings of Eighth European Conference on AI, 1988, pp. 79-84.
30. J. Rushby, Quality Measures and Assurance for AI Software, NASA Contractor Report 4187, October 1988.
31. J. Rushby, R.A. Whitehurst, Formal Verification of AI Software, NASA Contractor Report 181827, February 1989.
32. Suwa M., Scott A.C., Shortliffe E.H. An approach to verifying completeness and consistency in a rule-based expert system. AI Magazine. 3:1982;16-21.
33. Tsai W.T., Zualkernan I.A., Kirani S. Pragmatic testing methods for expert systems. International Journal of AI Tools. 2:(2):1993;181-217.
34. Verifying Knowledge Bases: A Bibliography, Knowledge Engineering Review 7 (2) 1992 143-146.
35. Waldinger R.J., Stickel M. Proving properties of rule-based systems. International Journal of Software Engineering and Knowledge Engineering. 2:(1):1992;121-144.
36. D. Zhang, Luqi, Formal analysis of inconsistency and redundancy in knowledge bases, IJCAI-95 Workshop on Verification and Validation of Knowledge-Based Systems, pp. 110-116.
37. Zhang D., Nguyen D. PREPARE: a tool for knowledge base verification. IEEE Transactions on Knowledge and Data Engineering. 6:(6):1994;983-989.
38. D. Zhang, Perspectives in knowledge base verification, Proceedings of Fifth International Conference on Software Engineering and Knowledge Engineering, 1993, pp. 123-456.
39. Zlatareva N. A framework for verification, validation, and refinement of knowledge bases: the VVR system. International Journal of Intelligent Systems. 9:1994;703-737.
40. Zlatareva N., Preece A. State of the art in automated validation of knowledge-based systems. Expert Systems with Applications. 7:(2):1994;151-167.
41. de Hoog R., et al. The CommonKADS organization model: content, usage, and computer support. Expert Systems with Applications. 11:(1):1996;247-260.
42. Guida G., Tasso C. Design and Development of Knowledge-Based Systems: From Life Cycle to Methodology. 1994;Wiley, Chichester, UK.
43. Schreiber G., et al. CommonKADS: a comprehensive methodology for KBS development. IEEE Expert. 9:(6):1994;28-37.
44. Tansley D.S.W., Hayball C.C. Knowledge-Based Systems Analysis and Design: A KADS Developer's Handbook. 1993;Prentice Hall, UK.
45. Ben-Ari M. Mathematical Logic for Computer Science. 1993;Prentice Hall, UK.
46. Chang C.L., Lee R.C.T. Symbolic Logic and Mechanical Theorem Proving. 1973;Academic Press, New York.
47. Genesereth M.R., Nilsson N.J. Logical Foundations of Artificial Intelligence. 1987;Morgan Kaufmann Publishers, Los Altos, CA.
48. Tracy K.W., Bouthhoorn P. Object-Oriented Artificial Intelligence Using C++. 1997;Computer Science Press, New York.
49. Chandrasekaran B., Josephson J.R., Benjamins V.R. What are ontologies, and why do we need them? IEEE Intelligent Systems. 14:(1):1999;20-26.
50. O'Leary D.E. Using AI in knowledge management: knowledge bases and ontologies. IEEE Intelligent Systems. 13:(3):1998;34-39.