A tool-supported approach to inter-tabular verification

Expert Systems with Applications

Volumn 15, Issue 3-4, 1998, Pages 277-285

  Vanthienen, J ^a   Mues, C ^a   Wets, G ^a   Delaere, K ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

Decision tables; Modular KBS; V V

Indexed keywords

EID: 0346856527     PISSN: 09574174     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0957-4174(98)00047-5     Document Type: Article

References (14)

1. Cragun B., & Steudel H. (1987). A decision-table based processor for checking completeness and consistency in rule-based expert systems. Man-Machine Studies, 26, 633-648.
2. Larsen H., & Nonfjall H. (1991). Modeling in the design of a KBS validation system. International Journal of Intelligent Systems, 6, 759-775.
3. Maes R., & Van Dijk J.E.M. (1988). On the role of ambiguity and incompleteness in the design of decision tables and rule-based systems. The Computer Journal, 31, 481-489.
4. Metzner, J., & Barnes, B. (1977). Decision table languages and systems. New York: Academic Press.
5. Preece A., & Shinghal R. (1994). Foundation and application of knowledge base verification. International Journal of Intelligent Systems, 9, 683-701.
6. Puuronen, S. (1987). A tabular rule checking method. Proceedings Avignon87 (Vol. 1, pp. 257-268).
7. Robben, F. (1988). HANDIPAK: computeradviessysteem m.b.t. de financiële tegemoetkomingen aan gehandicapten. In Van Buggenhout, B., Robben, F., Leus, I., Casteleyn, H., Hertecant, G., & Demeester, W., (Eds.), Commentaar bij de nieuwe wetgeving en recente evoluties in het beleid, Recht en Sociale Hulpverlening (pp. 21-26). Het nieuw gehandicaptenrecht. Bruges: Die Keure.
8. Suwa M., Scott A., & Shortliffe E. (1982). An approach to verifying completeness and consistency in a rule-based expert system. AI Magazine, 3, 16-21.
9. Vanthienen, J. (1986). Automatiseringsaspecten van de specificatie, constructie en manipulatie van beslissingstabellen. PhD dissertation, K.U.Leuven, Dept. Applied Economics.
10. Vanthienen, J., Aerts, A., Mues, C., & Wets, G. (1995). A modelling approach to KBS verification. Proceedings of the Third European Symposium on the Validation and Verification of Knowledge Based Systems (pp. 155-171).
11. Vanthienen, J., & Dries, E. (1993). Illustration of a decision table tool for specifying and implementing knowledge based systems. Proceedings of the Fifth International Conference on Tools with Artificial Intelligence (pp. 198-205).
12. Verhelst, M. (1980). Depraktijk van beslissingstabellen. Deventer: Kluwer.
13. Wendler, B., & Ayel, M. (1995). Verifying dynamic coherence in modular knowledge bases. Proceedings of the Third European Symposium on the Validation and Verification of Knowledge Based Systems (pp. 173-187).
14. Zhang D., & Nguyen D. (1994). A tool for knowledge base verification. IEEE Transactions on Knowledge and Data Engineering, 6, 983-989.