Verifying and Validating Specification of Knowledge-Based Systems