Abstract
We present a tool for the validation and verification of a knowledge base (KB). Validation techniques become more and more important when knowledge based systems (KBS) are widely used to automate business critical processes. The tool can be used during and after the development of a KBS and focuses on a logical verification of the KBS. The techniques used to verify a knowledge base are meta rules, an inference engine to verify hypotheses posed by meta rules (saturation), and meta information (provided by the user). The tool is written in the same language as the knowledge bases that can be verified: Aion. Aion is a widely used commercial development environment for the development of knowledge bases and intelligent components.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boehm, B.W., 1986, A spiral Model of Software Development and Enhancement. Computer, 21, 61 – 72
Ed P. Andert Jr., 1992, Automated knowledge base validation, AAAI Workshop on Verification and validation of Expert Systems (July 1992 )
Vijay S. Mookerjee and Michale V. Mannino, 1997, Sequential Decision Models for Expert System Optimization, IEEE, 9, 675 – 687
James A Wentworth and Rodger Knaus and Hamid Aougab, Verification, validation, and evaluation of expert systems, FHWA Handbook Volume 1
Cragen and Steudel, 1987, A decision table based processor for checking completeness and consistency in rule based expert systems, International journal of Man Machine studies. Vol 26, 633 – 638
Prece, Shingal, 1994, Foundation and application of knowledge base verification, International journal of intelligent Systems, 9, 683 – 701
Rym Nouira, Jean-Marc Fouet, 1996, A knowledge based tool for the incremental construction, validation and refinement of large knowledge bases, Workshop proceedings ECAI96
R. Nouira, J.M. Fouet, 1996, A meta-knowledge based tool for detecting invalid, conflictual and redundant rules, AAAI-96, Proc. Ninth national conference on artificial intelligence
F.v.Harmelen, 1995, Structure preserving specification languages for knowledge based systems, International journal of human computer studies, vol 44, 187 – 212
Alon Y. Levy and Marie-Christine Rousset, 1996, Verification of Knowledge bases on containment checking, Workshop proceedings ECAI96
Z. Bendou and M. Ayel, 1996, Validation of rule bases containing constraints, Workshop proceedings ECAI96
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Spreeuwenberg, S., Gerrits, R. (1999). A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base. 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_5
Download citation
DOI: https://doi.org/10.1007/978-1-4757-6916-6_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5107-6
Online ISBN: 978-1-4757-6916-6
eBook Packages: Springer Book Archive