ECAI-2000 Logo

ECAI-2000 Conference Paper

VALENS: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base

Silvie Spreeuwenberg, Rik Gerrits, Margherita Boekenoogen

We present Valens (VALid ENgineering Support), a tool for the validation and verification (V&V) of a knowledgebase (KBS). Validation techniques become more and more important when knowledge based systems are widely used to automate business critical processes. The tool we present can be used during and after the development of a KBS and focuses on the logical verification of the KBS. The techniques used to verify a KBS are MetaRules, an Inference Engine to verify hypotheses posted by MetaRules (proof by processing) and MetaInformation.

Keywords: Verification, Validation, RuleBased Knowledgebases

Citation: Silvie Spreeuwenberg, Rik Gerrits, Margherita Boekenoogen: VALENS: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base. In W.Horn (ed.): ECAI2000, Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2000, pp.731-735.

ECAI-2000 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Humboldt University on behalf of Gesellschaft für Informatik.