Validation and Verification of Knowledge Based Systems: Theory, Tools And Practice