AAAI Spring Symposium Model-Based Validation of Intelligence