Review of Verification, Validation, and Test of Knowledge-Based Systems