Validating Medical Knowledge Based Systems