ECAI-96 workshop on validation, verification and refinement of KBS: A short report
Marie-Christine Rousset, Susan M Craw · The Knowledge Engineering Review · 1997
Ensuring reliability and enhancing quality of Knowledge Based Systems (KBS) are critical factors for their successful deployment in real-world applications. This is a broad task involving both methodological and formal approaches for designing rigorous Validation, Verification and Testing (VVT) methods and tools. Some of these can be adapted from conventional software engineering, while others rely on specific aspects of KBS.