Skip to main content

Illustrating Knowledge Base Restructuring and Verification in a Real World Application

  • Chapter
Validation and Verification of Knowledge Based Systems

Abstract

This paper discusses the restructuring of a knowledge-based system as a particular use of a decision table modeling tool. The aim of this exposition is to apply the approach in a real world application, SEAR (an Enterprise Human Resources Advisory System). All problems in restructuring the Knowledge-Based System (KBS) will be analyzed. It will be shown how a decision table tool is an interesting alternative in this process that facilitates the maintenance. First, the real world application is given and its current structure is shown. Next, the restructuring process is applied to the application. A summary that contains the obtained results and a brief evaluation conclude this paper.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Coenen, F. and Bench-Capon, T., Maintenance of Knowledge-Based Systems, The Apic Series, Academic Press, London 1993, p. 78.

    Google Scholar 

  2. 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, pp. 633–648.

    Article  Google Scholar 

  3. Debenham, J.K., Knowledge Simplification, in proceedings 9`“ International Symposium on Methodologies for Intelligent Systems ISMIS’96, Zakopane, Poland, june 1996, pp. 305–314.

    Google Scholar 

  4. Moreno Garcia, A.M., Los Sistemas Expertos y su aplicación a la gestion empresarial, Doctoral Dissertation, University of Seville, Dept. Economia Financiera y Dirección de Operaciones, 1998, 389 pp.

    Google Scholar 

  5. Puuronen S., A Tabular Rule Checking Method, Proc. Avignon87, Vol. 1, 1987, 257–268.

    Google Scholar 

  6. Suwa, M., Scott, A. and Shortliffe, E., An approach to verifying completeness and consistency in a rule-based expert system, AI Magazine 3, 1982, pp. 16–21

    Google Scholar 

  7. Vanthienen, J., Automatiseringaspecten van de Specificatie, Constructie en Manipulatie van Beslissingstabellen, Doctoral Dissertation, K.U.Leuven, Dept. of Applied Economic Sciences, 1986, 378 pp.

    Google Scholar 

  8. Vanthienen, J., Knowledge Acquisition and Validation Using a Decision Table Engineering Workbench, Proceedings of the World Congress on Expert Systems, Pergamon Press, Orlando (Florida), Dec. 16–19, 1991, pp. 1861–1868.

    Google Scholar 

  9. 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, pp. 267–288.

    Article  Google Scholar 

  10. Vanthienen, J., Aerts, M., Mues, C. and Wets, G., A modeling approach to KBS verification. In Proceedings of the Third European Symposium on Validation and Verification of KBS, 1995, pp. 155–171.

    Google Scholar 

  11. Vanthienen, J. and Wijsen, J. On the Decomposition of Tabular Knowledge Systems. New Review of Applied Expert Systems, 1996.

    Google Scholar 

  12. Vanthienen, J., Mues, C. and Aerts, M., An illustration of verification and validation in the modelling phase of KBS development, Data and Knowledge Engineering, 27, pp. 337–352, 1998.

    Article  MATH  Google Scholar 

  13. Vanthienen, J., Mues, C., Wets, G. and Delaere, K., A tool-supported approach to inter-tabular verification. Expert Systems with Applications,15, Pergamon, pp. 277–285.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer Science+Business Media New York

About this chapter

Cite this chapter

Vanthienen, J., Moreno García, A.M. (1999). Illustrating Knowledge Base Restructuring and Verification in a Real World Application. In: Vermesan, A., Coenen, F. (eds) Validation and Verification of Knowledge Based Systems. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-6916-6_12

Download citation

  • DOI: https://doi.org/10.1007/978-1-4757-6916-6_12

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4419-5107-6

  • Online ISBN: 978-1-4757-6916-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics