On the decomposition of tabular knowledge systems

New Review of Applied Expert Systems and Emerging Technologies

Volumn 2, Issue , 1996, Pages 77-89

  Vanthienen, Jan ^a   Wijsen, Jef ^b  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0005415419     PISSN: 13610244     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (16)

1. KOHAVI R. A Third Dimension to Rough Sets, Third International Workshop on Rough Sets and Soft Computing, 1994.
2. MOILY J. and MURRAY, T. A modularization approach for Prolog knowledge bases, Information Systems, 6, 1993, 405-417.
3. HICKS, R.C. Minimizing maintenance anomalies in expert systems. Information and Management, 28, 1995, 177.
4. VANTHIENEN J. and SNOECK M. Knowledge factoring using normalization theory, Internat. Symposium on the Management of Industrial and Corporate Knowledge (ISMICK'93), Compiégne, France, 1993.
5. O'KEEFE, R. M. and O'LEARY, D. E., Expert system verification and validation: a survey and tutorial, Artificial Intelligence Review, 7, 3-42, 1993.
6. COLOMB R. and CHUNG C., Very Fast Decision Table Execution of Prepositional Expert Systems, Proceedings AAAI90, 671-676, 1990.
7. PREECE A. and SHINGHAL R., Foundation and Application of Knowledge Base Verification, Int. Journal of Intelligent Systems, 9, 683-701, 1994.
8. CRAGUN, B. and STEUDEL, H., A Decision-Table Based processor for Checking Completeness and Consistency in Rule-Based Expert Systems, Int. Journal of Man-Machine Studies, Vol. 5, 1987, 633-648.
9. PUURONEN, S., A Tabular Rule Checking Method, Proc. Avignon87, Vol. 1, 1987, 257-268.
10. VANTHIENEN, J. and DRIES, E., Illustration of a Decision Table Tool for Specifying and Implementing Knowledge Based Systems, International Journal on Artificial Intelligence Tools, Vol. 3, No. 2, 1994, 267-288.
11. VANTHIENEN, J., MUES, C., AERTS, A., and WETS, G., A Modularization Approach to the Verification of Knowledge Based Systems, Fourteenth International Joint Conference on Artificial Intelligence (IJCAI 95), Workshop on Validation & Verification of Knowledge-Based Systems, Aug. 19, 1995, MontrÈal, 96-102.
12. LARSEN H. and NONFJALL H., Modeling in the Design of a KBS Validation System, Int. Journal of Intelligent Systems, Vol. 6, 1991, 759-775.
13. ZHANG D. and NGUYEN D., A Tool for Knowledge Base Verification, IEEE Transactions on Knowledge and Data Engineering, Vol. 6, No. 6, Dec. 1994, 983-989.
14. ZLATAREVA N., A Framework for Verification, Validation, and Refinement of Knowledge Bases: The VVR System, Int. Journal of Intelligent Systems, Vol. 9, 1994, 703-737.
15. LIU, N. and DILLON, T., Detecting of Consistency and Completeness in Expert Systems using Numerical Petri Nets, in: Gero, J. and Stanton, R.†(Ed.), Artificial Intelligence Developments and Applications, North-Holland, 1988, 119-134.
16. MESEGUER, P., Incremental Verification of Rule-Based Expert Systems, Proc. 10th European Conference on Artificial Intelligence, Wiley, 1992, 840-844.